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

WP1 - Requirements

The objective of this work package is to capture the requirements addressing mixed-critically beyond safety critical systems. The requirements will provide the specific constraints and problems that have to be solved in WP4, WP5 and WP6. Industrial Validation will be evaluated in WP8 according to these criteria. To drive and limit the criticality and mixed criticality scope, the use case specific requirements will also be identified.


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