Der Autor beschreibt Moeglichkeiten zur Erstellung zuverlaessiger Software fuer Raumfahrzeuge. Das Ziel dabei ist es, die Fehlerwahrscheinlichkeit sehr niedrig zu halten und Techniken zum Wiederaufsetzen bei Auftreten eines Fehlers zu entwickeln. Zunaechst wird die Methodik des Software Engineering vorgestellt, mit der Fehler vermieden werden koennen. Teilpunkte sind: Dokumentation der Anforderungen insgesamt und daraus abgeleitet Anforderungen an die Software, wiederholte Ueberpruefung waehrend des Entwicklungszyklus, Programmiermethodiken, die die Wartung erleichtern und unabhaengige Verifikation und Validation. Die einzelnen Punkte werden diskutiert. Dann wird eine fehlertolerante Software fuer spezielle Funktionen untersucht, die bei militaerischen oder ausserplanetarischen Raumfluegen erforderlich ist. Ein Ablaufplan beim Auftreten eines Fehlers und seine Umgehung erlaeutern die Ideen.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Reliable software for spacecraft


    Weitere Titelangaben:

    Zuverlaessige Software fuer Raumfahrzeuge


    Beteiligte:
    Hecht, H. (Autor:in)


    Erscheinungsdatum :

    1980


    Format / Umfang :

    4 Seiten, 1 Bild, 11 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Reliable Spacecraft Designs

    Doshay, I. | SAE Technical Papers | 1961


    Reliable spacecraft designs

    Doshay, I. | Engineering Index Backfile | 1961


    Making Reliable and Dependable Spacecraft

    Chechile, Ignacio | Springer Verlag | 2023


    Spacecraft Software

    Sebestyen, George / Fujikawa, Steve / Galassi, Nicholas et al. | Springer Verlag | 2018


    Best Practices for Reliable and Robust Spacecraft Structures

    Raju, Ivatury S. / Murthy, P. L. N. / Patel, Naresh R. et al. | NTRS | 2007