MCAS 2015-2018: Model Check Methodology for Avionic Software

Funded by BMWi, ZIM
Project partners: TU (Technische Universität) Berlin Department for Flight Mechanics, Flight Control and Aeroelasticity (FMRA)
Lead partner: Prof. Dr. Robert Luckner

 

This research project aims 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 tool chain MATLAB®/ Simulink®/ Stateflow®/ TargetLink® is widespread in the model-based development of embedded software systems and will be used as part of this project.