NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
How Safe Is Control SoftwarePaper examines issue of software safety. Presents four case histories of software-safety analysis. Concludes that, to be safe, software, for all practical purposes, must be free of errors. Backup systems still needed to prevent catastrophic software failures.
Document ID
19910000292
Document Type
Other - NASA Tech Brief
Authors
Dunn, William R. (University of Southern Colorado)
Corliss, Lloyd D. (NASA Ames Research Center, Moffett Field, CA.)
Date Acquired
August 14, 2013
Publication Date
June 1, 1991
Publication Information
Publication: NASA Tech Briefs
Volume: 15
Issue: 6
ISSN: 0145-319X
Subject Category
MATHEMATICS AND INFORMATION SCIENCES
Report/Patent Number
ARC-12710
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.