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
Publications
Publication
Deliverables
News
No news at this moment
See all news
News
The updated list of public deliverables is available
Back to news
Jan 27 2014
D1.2 Mixed Criticality Requierements
D2.3 Modelling Languages and Models
D3.3 Identification of resources access and timing analysis principles
D5.1 Interference analysis and isolation mechanisms report
D6.1 Formal-Composition Language and Validation Research Analysis
D8.1 Validation planning
D8.2 Preliminary Methodology
D7.1
Software Prototypes: Overview
Last changed: Jul 03 2014 at 9:44 AM