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.