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

About CERTAINTY

  • Objectives
  • Technical approach
  • Demonstration and Use
  • Impact

News

No news at this moment
See all news

Objectives

The key objective of CERTAINTY is to push forward the certification of real-time mixed critical embedded systems, a process currently challenged by the choices made at application design time about reliability and disturbances handling which deals with the management of interferences between different functions of complex control software over the whole system.

More specifically, from a research and technological perspective CERTAINTY will address the a set of four objectives:

  1. To extend modelling languages semantics
  2. To support heterogeneous criticality handling at application design level
  3. To redefine the way that designers interact with criticality requirements and application behavioural monitoring
  4. To experiment and validate the new approach, considering examples that are demanding in terms of complexity in design and efficiency in certification

CERTAINTY will advance the state of the art by validating a mixed critical application on multicore architecture about:

  • Function decomposition and associated safety levels and examples of non-trivial interactions and dependencies between control functions in a Flight Management System application representative of industrial mixed critical application in avionics;
  • Innovative (integrated, multi-core) computing architectures, to elicit the schemes of resource sharing and unreliability that, without proper analysis techniques, appear as source of uncertainties at execution time.

CERTAINTY will provide the basis for the definition of new approach to certification, its research is associated to the delivery of the following results:

  • A formal component-based design language
  • A Design Methodology
  • Enhanced Analysis Methodology and Tools
  • Formal Validation Tools

 

New techniques and tools will be delivered that target a 30-50% decrease in production costs for complex systems' as well as a reduction of weight and thus fuel consumption and CO2 emission, through a streamline use of embedded components on IMA, under stable system complexity evolutions assumptions


 

 


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