Der vorliegende Bericht beschaeftigt sich mit dem Versuch, Software fuer das Flugwesen mit mathematischen Hilfsmitteln zu entwickeln. Hierzu werden die formalen Techniken, die von SRI International entwickelt wurden, weiter verwirklicht durch Anwendung auf ein existierendes, gut funktionierendes System. Dabei kann man sehen, wo Fehler, Schwierigkeiten und Grenzen der formalen Techniken liegen. Diese Fall-Studie wird sehr ausfuehrlich erlaeutert. Die Software wurde bei Honeywell entwickelt und wird fuer den Autopilot von SAAB-JA-37 Kiggen Abfanggeraet verwendet. Es werden Spezifikation, Planung und Ausfuehrung sowie die hierarchischen SRI Planungsmethoden ausgefuehrt.
The analytic verification of flight software: a cast study
Die analytische Verifizierung einer Flug-Software: Eine Studie der Besetzung
1978
6 Seiten, 15 Quellen
Aufsatz (Konferenz)
Englisch
LADEE Flight Software: Verification Techniques
NTIS | 2014
|LADEE Flight Software: Verification Techniques
NTRS | 2014
|Formal Verification of Flight Critical Software
AIAA | 2005
|