MCAS 2015-2018: Model Check Methodology for Avionic Software

Research Project

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.

You Have Questions?

Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Managing Director

* Mandatory field

Please calculate 6 plus 2.