Gefördert durch BMWi, ZIM
MCAS 2015-2018: Prüfverfahren für den modellbasierten Entwurf sicherheitskritischer Avionik‐Software
Projektpartner
Model Engineering Solutions GmbH (MES) Zur "Über uns"-Seite von MES gehen
TU Berlin Fachgebiet Flugmechanik, Flugregelung & Aeroelastizität Zur Partner-Website gehen
Ansprechpartner: Prof. Dr. Robert Luckner
Projektbeschreibung
Das Forschungsvorhaben hat ein Prüfverfahren entwickelt, das den modellbasierten Avionik-Software-Entwicklungsprozess abgesichert und somit den Aufwand für die Entwicklung sowie Zertifizierung von Avionik-Software reduziert hat. Als weit verbreitete Werkzeugkette zur modellbasierten Entwicklung eingebetteter Software-Systeme wurde auf MATLAB® / Simulink® / Stateflow® / TargetLink® im Kooperationsprojekt aufgebaut.
Als Ausführungsumgebung wurde der MES Model Examiner® (MXAM) eingesetzt. So konnte die Implementierung von Prüfschritten sehr effizient realisiert werden.
