NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Applying Formal Methods and Object-Oriented Analysis to Existing Space Shuttle SoftwareThis paper describes the application of formal methods and object-oriented modeling to reverse engineering, in which formal specifications are developed for existing, or legacy, code. In this project, several layers of formal specifications were constructed for a portion of the NASA Space Shuttle Digital Auto Pilot (DAP), a software module that is used to control the position of the spacecraft through appropriate jet firings.
Document ID
20060042171
Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
External Source(s)
hdl:2014/33191
Authors
Cheng, B.
Auernheimer, B.
Date Acquired
August 23, 2013
Publication Date
January 1, 1994
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
software engineering
formal methods reverse engineering object-oriented analysis Space Shuttle

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available