MCAS 2015-2018: Model Check Methodology for Avionic Software

March 27, 2018

Funded by BMWi, ZIM

Project Partners

Model Engineering Solutions GmbH (MES) Go to About Us Page of MES
TU (Technische Universität) Berlin Department for Flight Mechanics, Flight Control and Aeroelasticity (FMRA) Go to Partner Website
Lead partner: Prof. Dr. Robert Luckner

Project Description

This research project aimed to develop a check process that safeguards the avionic software development process and thereby reduces the effort required to develop and to certify avionic software. The toolchain MATLAB^®/ Simulink^®/ Stateflow^®/ TargetLink^® is widespread in the model-based development of embedded software systems and was used as part of this project.

The MES Model Examiner® (MXAM) was used as the execution environment. This allowed the implementation of test steps to be realized very efficiently.