Objectives
The key objective of CERTAINTY is to push forward the certification of real-time mixed critical embedded systems, a process currently challenged by the choices made at application design time about reliability and disturbances handling which deals with the management of interferences between different functions of complex control software over the whole system.
More specifically, from a research and technological perspective CERTAINTY will address the a set of four objectives:
- To extend modelling languages semantics
- To support heterogeneous criticality handling at application design level
- To redefine the way that designers interact with criticality requirements and application behavioural monitoring
- To experiment and validate the new approach, considering examples that are demanding in terms of complexity in design and efficiency in certification
CERTAINTY will advance the state of the art by validating a mixed critical application on multicore architecture about:
- Function decomposition and associated safety levels and examples of non-trivial interactions and dependencies between control functions in a Flight Management System application representative of industrial mixed critical application in avionics;
- Innovative (integrated, multi-core) computing architectures, to elicit the schemes of resource sharing and unreliability that, without proper analysis techniques, appear as source of uncertainties at execution time.
CERTAINTY will provide the basis for the definition of new approach to certification, its research is associated to the delivery of the following results: 
- A formal component-based design language
- A Design Methodology
- Enhanced Analysis Methodology and Tools
- Formal Validation Tools
New techniques and tools will be delivered that target a 30-50% decrease in production costs for complex systems' as well as a reduction of weight and thus fuel consumption and CO2 emission, through a streamline use of embedded components on IMA, under stable system complexity evolutions assumptions