Verification of Plans and Procedures

Verification of Plans and Procedures

Procedures and plans are used across NASA missions. For example, astronaut activities on the International Space Station are regulated by procedures which are uploaded from the ground. It is critical that these procedures are verified and validated before being executed by astronauts. This paper des...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Brat, G., Gheorghiu, M., Giannakopoulou, D., Pasareanu, C.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Automata
Control systems
Government
Humans
International Space Station
NASA
Power system modeling
Safety
Space shuttles
Space technology
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Procedures and plans are used across NASA missions. For example, astronaut activities on the International Space Station are regulated by procedures which are uploaded from the ground. It is critical that these procedures are verified and validated before being executed by astronauts. This paper describes how we are applying advanced formal verification techniques, such as model checking, to plans and procedures expressed in semantically well-defined languages such as PRL and PLEXIL.
ISSN:1095-323X
2996-2358
DOI:10.1109/AERO.2008.4526574