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):

• Talpin,Jean-Pierre

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:

• computer programming
• embedded systems
• Software Engineering
• COMPUTER COMPONENTS
• software design
• case studies
• computer science

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE