New design methodology, languages, principles, and tools will be provided supporting mixed-critical application development and execution with an explicit and efficient handling of mixed criticality in timing and safety while catching time disturbances and uncertainties from the underlying architecture.
A formal component-based design language will be extended, capturing criticality and mixed-criticality related constraints, hardware reliability, interference and isolation features.
A new composition and compositional design theory and associated formal verification techniques supporting those features will be developed.
Efficient reliability and interference analysis methods and techniques, based on a compositional approach, providing enhanced reliability analysis for mixed critical systems covering (transient) fault models and physical dependencies, as well as hybrid performance methodologies based on exact timing analysis and time automata, will be provided.
CERTAINTY will therefore investigate on the following areas:
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE
THALES S.A.