NASA NTRS · 19910008251
Design for validation, based on formal methods
Abstract
Validation of ultra-reliable systems decomposes into two subproblems: (1) quantification of probability of system failure due to physical failure; (2) establishing that Design Errors are not present. Methods of design, testing, and analysis of ultra-reliable software are discussed. It is concluded that a design-for-validation based on formal methods is needed for the digital flight control systems problem, and also that formal methods will play a major role in the development of future high reliability digital systems.
Keep this discovery
Explore connections, maps & timelines
Butler, Ricky W.. 1990-11-01. Design for validation, based on formal methods. https://ntrs.nasa.gov/citations/19910008251
Cite the original work for its findings. Save a collection to share your selection of sources.