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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    The analytic verification of flight software: a cast study


    Weitere Titelangaben:

    Die analytische Verifizierung einer Flug-Software: Eine Studie der Besetzung


    Beteiligte:
    Boebert, W.E. (Autor:in) / Kamrad, J.M. (Autor:in) / Rang, E.R. (Autor:in)


    Erscheinungsdatum :

    1978


    Format / Umfang :

    6 Seiten, 15 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    LADEE Flight Software: Verification Techniques

    Gundy-Burlet, Karen | NTRS | 2014


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005


    Using SPIN model checking for flight software verification

    Gluck, P. R. / Holzmann, G. J. | NTRS | 2002


    Using SPIN model checking for flight software verification

    Gluck, P.R. / Holzmann, G.J. | IEEE | 2002