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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Reliable software for spacecraft


    Additional title:

    Zuverlaessige Software fuer Raumfahrzeuge


    Contributors:
    Hecht, H. (author)


    Publication date :

    1980


    Size :

    4 Seiten, 1 Bild, 11 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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