certainty

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.