certainty

  • Home
  • About CERTAINTY
    • Objectives
    • Technical approach
    • Demonstration and Use
    • Impact
  • Project
    • Project structure
    • WP1 - Requirements
    • WP2 - Common Languages and Models
    • WP3 - Resources Access Identification and Static Timing Analysis
    • WP4 - Reliability
    • WP5 - Interference
    • WP6 - Formal Component Based Design and Validation
    • WP7 - System Synthesis
    • WP8 - Industrial Validation
    • WP9 - Dissemination and Exploitation
    • WP10 - Management
  • Partners
    • Partners-profile and main contributions
  • Publications
    • Publication
    • Deliverables
  • Links
  • Contact

Project

  • Project structure
  • WP1 - Requirements
  • WP2 - Common Languages and Models
  • WP3 - Resources Access Identification and Static Timing Analysis
  • WP4 - Reliability
  • WP5 - Interference
  • WP6 - Formal Component Based Design and Validation
  • WP7 - System Synthesis
  • WP8 - Industrial Validation
  • WP9 - Dissemination and Exploitation
  • WP10 - Management

News

No news at this moment
See all news

WP7 - System Synthesis

One objective of this work package is to investigate methods that allow for an optimized deployment of the application on the various resources of the underlying heterogeneous execution platform. In addition, we will develop methods to guarantee that the system function of the fault-free case will continue under faults. The final objective is to provide backend code generation to the target platform that yields the full software stack on a given multiprocessor platform.


Project information:

The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175


Coordinator

DR. Madeleine FAUGÈRE

Organisation

THALES S.A.

Copyright © 2012 CERTAINTY
All rights Reserved
Legals mentions