2014 | CERTT-FBW23

Basis für das Forschungsprojekt CERTT war aus ILS Sicht der xAx-Prozess, also die automatische Generierung der Requirements für ein integriertes Avioniksystem ohne Applikationen. xAx ist in der Lage, die Requirements auf System-, High-Level- und Low-Level-Software automatisch zu erzeugen. Dies geschieht in dualer Form. Das heißt, jedes Requirement liegt sowohl in textlicher als auch in Form einer Abstract State Machine (TASM) vor. Kernaufgabe von CERTT23-FBW war es aus Sicht des ILS, erst einmal ein grundsätzliches Verfahren zu entwickeln, welches durch automatische Analyse der in TASMs vorliegenden Requirements zunächst daraus automatisch die entsprechenden Test-Cases und in einem weiteren Schritt unter Berücksichtigung von Testtechnik und Information über die Testumgebung die Testprozeduren in Form automatisch ausführbarer Testskripts für das verteilte, integrierten Avioniksystems erzeugt.