Fliegen mit dem SysML-Bus

Abstract

Die Autoren haben ein SysML-Modell für die High Altitude Platform des Deutschen Zentrums für Luft- und Raumfahrt erstellt. Für die Modellierung von Bussen wurde dabei ein SysML-Profil entwickelt, das es ermöglicht, die Busnachrichten, deren Quellen und Senken und die Bus-Verbindungen über beliebige Verschachtelungstiefen hinweg zu beschreiben. Zusätzlich wurden Regeln beschrieben, die die Gültigkeit der Busse prüfen. Unser verwendetes Tool markiert dann die fehlerhaften Elemente und gibt eine Fehlermeldung aus. Aus dem Modell lässt sich schließlich jederzeit eine Dokumentation der Busse erzeugen