The iFEST project (industrial Framework for Embedded Systems Tools) aims at specifying and developing an tool integration framework for HW/SW co-design of heterogeneous and multi-core embedded systems. The integration framework will permit tools to be readily replaced within the tool chain; thus dealing with issues such as tool obsolescence and tool lock-in. IFEST industrial case studies will validate the integration framework and tool chains for control and streaming applications.
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Xu, Xiong; Wang, Shuling; Zhan, Bohua; Jin, Xiangyu; Talpin, Jean-Pierre; Zhan, Naijun: Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and simulink/stateflow (2022)
- Fraser, Douglas; Giaquinta, Ruben; Hoffmann, Ruth; Ireland, Murray; Miller, Alice; Norman, Gethin: Collaborative models for autonomous systems controller synthesis (2020)
- Barnat, Jiří; Bauch, Petr; Beneš, Nikola; Brim, Luboš; Beran, Jan; Kratochvíla, Tomáš: Analysing sanity of requirements for avionics systems (2016)
- Barnat, Jiri; Beran, Jan; Brim, Lubos; Kratochvíla, Tomas; Ročkai, Petr: Tool chain to support automated formal verification of avionics simulink designs (2012) ioport
Further publications can be found at: http://www.artemis-ifest.eu/Publications