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 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.