This paper describes a project appling formal methods to a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.
Applying Formal Methods and Object-Oriented Design to Existing Flight Software
1993-12-01
Preprint
No indication
English
The Feasibility of Applying Object-Oriented Technologies to Operational Flight Software
British Library Conference Proceedings | 2000
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|