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.
Reliable software for spacecraft
Zuverlaessige Software fuer Raumfahrzeuge
1980
4 Seiten, 1 Bild, 11 Quellen
Conference paper
English
SAE Technical Papers | 1961
|Engineering Index Backfile | 1961
|Making Reliable and Dependable Spacecraft
Springer Verlag | 2023
|Springer Verlag | 2018
|