Accession Number:
AD1030138
Title:
Co Modeling and Co Synthesis of Safety Critical Multi threaded Embedded Software for Multi Core Embedded Platforms
Descriptive Note:
Technical Report,15 May 2013,08 Nov 2016
Corporate Author:
Inst National Recherche Inform Autom Rocquencourt France
Personal Author(s):
Report Date:
2017-03-20
Pagination or Media Count:
12.0
Abstract:
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.
Descriptors:
Subject Categories:
- Computer Programming and Software