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

Full Text :

Report Date : 20 Mar 2017

Pagination or Media Count : 12

Abstract : This is the final report on the findings of the USAF/OSR 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