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 : https://apps.dtic.mil/dtic/tr/fulltext/u2/1030138.pdf


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