MCAS 2015-2018: Prüfverfahren für den modellbasierten Entwurf sicherheitskritischer Avionik‐Software

Gefördert durch BMWi, ZIM

      

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.

Kontaktieren Sie uns

Dr. Hartmut Pohlheim
Dr. Hartmut Pohlheim
Managing Director
Was ist die Summe aus 1 und 5?

* Pflichtfeld

Bitte rechnen Sie 3 plus 3.