The work presents a scalable process implementation for modular, highly-automated model-based development of safety-critical flight-control software based on current standards for airborne software development. Central element is a modular design and code generation process including the respective development rules and artifacts. New software tools support the management of bidirectional traceability between requirements and models as well as the automated build of artifacts and verification of their up-to-dateness, consistency, and completeness.     «

The work presents a scalable process implementation for modular, highly-automated model-based development of safety-critical flight-control software based on current standards for airborne software development. Central element is a modular design and code generation process including the respective development rules and artifacts. New software tools support the management of bidirectional traceability between requirements and models as well as the automated build of artifacts and verification of...     »

Die Arbeit stellt eine skalierbare Prozessimplementierung für modulare, hochautomatisierte modellbasierte Entwicklung sicherheitskritischer Flugsteuerungssoftware auf Basis aktueller Luftfahrtstandards vor. Zentrales Element ist ein modularer Design- und Codegenerierungsprozess mit Entwicklungsrichtlinien und zugehörigen Artefakten. Neue Softwarewerkzeuge unterstützen die Verwaltung von bidirektionaler Rückverfolgbarkeit zwischen Anforderungen und Modellen sowie die automatisierte Erstellung von Softwareartefakten und deren Überprüfung auf Aktualität, Konsistenz und Vollständigkeit.     «

Die Arbeit stellt eine skalierbare Prozessimplementierung für modulare, hochautomatisierte modellbasierte Entwicklung sicherheitskritischer Flugsteuerungssoftware auf Basis aktueller Luftfahrtstandards vor. Zentrales Element ist ein modularer Design- und Codegenerierungsprozess mit Entwicklungsrichtlinien und zugehörigen Artefakten. Neue Softwarewerkzeuge unterstützen die Verwaltung von bidirektionaler Rückverfolgbarkeit zwischen Anforderungen und Modellen sowie die automatisierte Erstellung von...     »