Co Modeling and Co Synthesis of Safety Critical Multi threaded Embedded Software for Multi Core Embedded Platforms

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. \\

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 20, 2017
Accession Number
AD1030138

Entities

People

  • Jean-pierre Talpin

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Air Force Research Laboratories
  • Computer Programming
  • Computers
  • Control Systems
  • Department Of Defense
  • Embedded Systems
  • Engineering
  • Government Procurement
  • Governments
  • Information Exchange
  • Language
  • Platforms
  • Software Design
  • Software Development
  • Specifications

Fields of Study

  • Computer science

Readers

  • Parallel and Distributed Computing.
  • Research Science/Academic Research
  • Software Engineering.