Early analysis of performance for future avionic platform

Purpose and goal

The project has deepened understanding of different modelling approaches for describing the platform and the applications separately, e.g. using languages like AADL, SysML, UML together with MARTE timing constraints, and formal variants related to these for automatic analysis of resource adequacy (e.g. using timed automata). Moreover, the combination of safety and security at the concept phase was studied. These methods were studied using examples with avionic-like characteristics.

Expected results and effects

We have contributed to the research front through analysis of scalability with some degree of precision using timed automata analysed with Uppaal’s statistical model checker. But the proof of deterministic timing requirements (affected by CPU, memory, and network as a resource) was found to be a challenge for Uppaal. In terms safety and security, the work has led to systematically providing informal requirements (in a prototype developed at ITA) and will be made formal (stringent) in the future.

Planned approach and implementation

The project had ambitious goals within a 2 year time frame. Recruitment of personnel and establishing cooperation with two Brazilian partners took a longer time, whereby the length of the project was extended In calender time. Overall, 6 participants from Saab, 3 from LiU, 5 from ITA and Embraer, 3 from Univ. Rio Grande Do Sul have collaborated in the project (as well as 2 others in US and Brazil peripherally involved).