Co Modeling and Co Synthesis of Safety Critical Multi threaded Embedded Software for Multi Core Embedded Platforms
Technical Report,15 May 2013,08 Nov 2016
Inst National Recherche Inform Autom Rocquencourt France
Pagination or Media Count:
This is the final report on the findings of the USAFOSR grant to support collaboration between INRIA FR, University of Kaiserslautern DE and Virginia Tech VA, USA on research entitled Co-Modeling of Safety-Critical Multi-threaded Embedded Software for Multi-Core Embedded Platforms. In this project, we consider and integrate two different model-based design flows that are based on synchronous languages The first design flow starts with a polychronous model that is in some sense a process network whose nodes are triggered whenever input values are available.
- Computer Programming and Software