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

Demonstration and Use

CERTAINTY ’s design and tool flow will be validated on an avionic complex system – a Flight Management System (FMS) – representative in terms of functional complexity and intrinsic mixed-criticality features.

New (reliability and interference) theories to efficiently capture and handle mixed criticality under multi-core uncontrolled behaviours will be evaluated on a first scenario, targeting enhanced system performance.

New composition and compositional design and formal verification theories encompassing safety, criticality, reliability, and segregation constraints on multi-core platforms will be validated on a second scenario, targeting large systems.


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