Using simulation to quantify the reliability of control software
More than two decades ago, Butler and Finelli examined the problem of experimentally demonstrating the reliability of safety critical software and concluded that it was impractical. We revisit this conclusion in the light of recent advances in computer system virtualization technology and the capability to link virtualization tools to simulation models of physical environments. A specific demonstration of testing for reliability is offered using software that is part of a building control system. Extrapolating the results of this demonstration, we conclude that experimental demonstrations of high reliability may now be feasible for some applications.
- Research Organization:
- Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC05-00OR22725
- OSTI ID:
- 1607187
- Resource Relation:
- Conference: Winter Simulation Conference 2019 (WSC 2019) - National Harbor, Maryland, United States of America - 12/8/2019 3:00:00 PM-12/11/2019 3:00:00 PM
- Country of Publication:
- United States
- Language:
- English
Similar Records
Final Technical Report on Quantifying Dependability Attributes of Software Based Safety Critical Instrumentation and Control Systems in Nuclear Power Plants
Development of a Method for Quantifying the Reliability of Nuclear Safety-Related Software
A Statistical Testing Approach for Quantifying Software Reliability; Application to an Example System
Technical Report
·
2016
·
OSTI ID:1607187
+1 more
Development of a Method for Quantifying the Reliability of Nuclear Safety-Related Software
Technical Report
·
2003
·
OSTI ID:1607187
A Statistical Testing Approach for Quantifying Software Reliability; Application to an Example System
Journal Article
·
2016
· Transactions of the American Nuclear Society
·
OSTI ID:1607187