33th Congress of the International Council of the Aeronautical Sciences

02 - Systems Engineering and Integration

TOWARDS CORRECT-BY-CONSTRUCTION DESIGN OF SAFETY-CRITICAL EMBEDDED AVIONICS SYSTEMS

I. Sander╣, I. S÷derquist▓, M. Ekman▓, R. Jordao╣, F. Bahrami╣, R. Chen╣, A. ┼hlander▓; ╣KTH Royal Institute of Technology, Sweden ;▓Saab AB, Sweden

The paper presents a novel correct-by-construction methodology aiming at the design of future high performance and safety-critical embedded aircraft systems. The paper focuses on the underlying foundations of the methodology, and demonstrates how they can be exploited in system modelling, design space exploration and code generation. The methodology is evaluated by an industrial case study.


View Paper