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

WP4 - Reliability

The objective of this work package is to reinforce reliability analysis methods and tools to define the reliability of the whole system. In particular the following issues will be considered: 

  • side effects of fault and error propagations i.e. failure correlations or fault-masking mechanisms;
  • dependencies towards the reliability and isolation capabilities of the run-time;
  • complex system run-time reconfiguration capabilities while dealing with permanent component failures.

Analysis algorithms will be developed to calculate the overall system failure model and reliability with respect to real-time capabilities. In this context special emphasis will be put on mixed-criticality design. The need for mixed-criticality design emerges due to the integration of applications with different criticality levels on the same platform and requires new ways of thinking to be realized in a cost- and energy-efficient way.

 


 


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