High-confidence software for safety-critical process-control systems
Journal Article
·
· Transactions of the American Nuclear Society
OSTI ID:552512
- Univ. of Houston, TX (United States)
Software for safety-critical systems, such as nuclear power plant control systems; avionic systems; and medical, defense, and manufacturing systems, must be highly reliable because failures can have catastrophic consequences. While existing methods, such as formal techniques, testing, and fault-tolerant software, can significantly enhance software reliability, they have some limitations in achieving ultrahigh reliability requirements. Formal methods are not able to cope with specification faults, testing is not cost-effective for high-assurance systems, and fault-tolerant software based on diverse designs is susceptible to common-mode failures.
- OSTI ID:
- 552512
- Report Number(s):
- CONF-971125--
- Journal Information:
- Transactions of the American Nuclear Society, Journal Name: Transactions of the American Nuclear Society Vol. 77; ISSN 0003-018X; ISSN TANSAO
- Country of Publication:
- United States
- Language:
- English
Similar Records
Formal methods in the development of safety critical software systems
Formal methods in the development of safety critical software systems
Formal methods in the development of safety critical software systems. Version 3.0
Technical Report
·
Thu Nov 14 23:00:00 EST 1991
·
OSTI ID:10146119
Formal methods in the development of safety critical software systems
Technical Report
·
Tue Mar 31 23:00:00 EST 1992
·
OSTI ID:6480916
Formal methods in the development of safety critical software systems. Version 3.0
Technical Report
·
Tue Mar 31 23:00:00 EST 1992
·
OSTI ID:10159846