NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Applying Formal Methods and Object-Oriented Analysis to Existing Flight SoftwareCorrectness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defencse are familiar to the public.
Document ID
20210004719
Acquisition Source
Jet Propulsion Laboratory
Document Type
Other
External Source(s)
hdl:2014/36591
Authors
Auernheimer, B.
Cheng, B. H. C.
Date Acquired
December 1, 1993
Publication Date
December 1, 1993
Publication Information
Publisher: UNKNOWN
Distribution Limits
Public
Copyright
Other
Technical Review
Keywords
software
malfunctions
communicatons
digital
autopilot
(DAP)

Available Downloads

There are no available downloads for this record.

Related Records

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