- Projektziel
-
Zentraler Gegenstand des Forschungsprojektes SESYMM ist der AAA-Prozess. Dieser wurde in den Luftfahrtforschungsprojekten SeSyC, CERT23-FBW, AAA-FCP23 und anderen grundsätzlich entwickelt. Dabei generiert der Prozessanteil Axx weitgehend automatisch die Software-Instanz für ein integriertes, hoch fehlertolerantes Avioniksystem. Aus den dabei entstehenden Wissensmodellen erzeugt der xAx-Prozessanteil automatisch die Requirements auf System-Level und den Software-Levels (high und low). Aus diesen Requirements generiert der xxA-Prozessanteil automatisch die Requirements basierten Test-Cases und schließlich die Testprozeduren. Kern von SESYMM ist aus ILS Sicht die Weiterentwicklung des AAA-Prozessansatzes so, dass die von ihm erzeugten Artefakte DAL A Anforderungen entsprechen. So ist es möglich, die System- und Software-Qualifikation eines Avioniksystems weitgehend automatisch gemäß des höchsten Qualitätsstandards der Luftfahrt auszuführen. Ein zweiter Schwerpunkt ist die Entwicklung der virtuellen Systemverifikation. Sie ermöglicht die Vorqualifikation von Systemen in der Simplex-Simulationsumgebung des Systems und dem anschließenden automatischen Test-Re-Run am Testrig mit redundanter Target-Hardware.
- Projektstart
-
SESYMM wird im Rahmen des Luftfahrtforschungsprojekts LuFo V3 (gefördert durch BMWi) mit mehreren Partnern realisiert.