The objective of this work package is to validate on an avionics complex system the CERTAINTY design and tool flow, that is the design, analysis and model checking techniques, in line with the mixed-critically and safety requirements provided by WP1, and developed in the technical and research work packages. Code will be generated.
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.