Finite-State Analysis of Space Shuttle Contingency Guidance Requirements

Authors:
Crow J.
Affiliations:
-
Venue:
Finite-State Analysis of Space Shuttle Contingency Guidance Requirements
Year:
1996

Citing 0
Cited 2

Formalizing space shuttle software requirements: four case studies

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model Checking: Historical Perspective and Example (Extended Abstract)

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report describes a finite-state analysis of the mode-sequencing requirements for the contingency Three-Engines-Out Guidance function of the Space Shuttle flight control system.