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


News

No news at this moment
See all news

Sitemap

  • Objectives

    Menu : Objectives

    Description :

    Keywords :()


  • Technical approach

    Menu : Technical approach

    Description :

    Keywords :()


  • Demonstration and Use

    Menu : Demonstration and Use

    Description :

    Keywords :()


  • Impact

    Menu : Impact

    Description :

    Keywords :()


  • Project structure

    Menu : Project structure

    Description :

    Keywords :()


  • WP1 - Requirements

    Menu : WP1 - Requirements

    Description :

    Keywords :()


  • WP2 - Common Languages and Models

    Menu : WP2 - Common Languages and Models

    Description :

    Keywords :()


  • WP3 - Resources Access Identification and Static Timing Analysis

    Menu : WP3 - Resources Access Identification and Static Timing Analysis

    Description :

    Keywords :()


  • WP4 - Reliability

    Menu : WP4 - Reliability

    Description :

    Keywords :()


  • WP5 - Interference

    Menu : WP5 - Interference

    Description :

    Keywords :()


  • WP6 - Formal Component Based Design and Validation

    Menu : WP6 - Formal Component Based Design and Validation

    Description :

    Keywords :()


  • WP7 - System Synthesis

    Menu : WP7 - System Synthesis

    Description :

    Keywords :()


  • WP8 - Industrial Validation

    Menu : WP8 - Industrial Validation

    Description :

    Keywords :()


  • WP9 - Dissemination and Exploitation

    Menu : WP9 - Dissemination and Exploitation

    Description :

    Keywords :()


  • WP10 - Management

    Menu : WP10 - Management

    Description :

    Keywords :()


  • Partners-profile and main contributions

    Menu : Partners-profile and main contributions

    Description :

    Keywords :()


  • Publication

    Menu : Publication

    Description :

    Keywords :()


  • Deliverables

    Menu : Deliverables

    Description :

    Keywords :()



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