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.
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.