Die Firma Esterel Technologies bietet mit der Software 'Scade' eine Entwicklungsumgebung für sicherheitskritische Applikationen in Flugzeugen an, die folgende Funktionen erfüllt: automatische zertifizierte Codegenerierung, offene und dokumenterte Schnittstellen zur Integration in existerende Entwicklungsabläufe, Bedienerinterface mit intuitiver Darstellung auf der Basis von Blockdiagrammen und Zustandstabellen, Verifizierung und Validierung auf Modellbasis, Soft-in-the-Loop-Simulator mit Debugger auf Modellebene, formale Prüfung der funktionalen Sicherheitseigenschaften, Vorhersage der Ausführungszeit auf dem Zielsystem, automatische Generierung von SDD-Dokumenten (Software Design Description), Einbeziehung von Virtualisierungskonzepten gemäß DO-178B.
Modellbasierte Design Tools fliegen. Integrierte Software-Entwicklungslösungen für Flugzeugapplikationen
Model based design tools fly. Integrated software development solutions for aircraft applications
Markt und Technik ; 24 ; 28-29
2009
2 Seiten, 3 Bilder
Aufsatz (Zeitschrift)
Deutsch
Neue Flugplatz-Software: Fliegen statt verwalten
Online Contents | 2010
SLUB | 1991
|PRAXIS - Flugwetter: Fliegen oder nicht fliegen?
Online Contents | 2004
Fliegen im Verein: Haftung beim gemeinsamen Fliegen
Online Contents | 1995
Online Contents | 2007