Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | 2019 Winter Simulation Conference, WSC 2019 |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 3267-3276 |
| Number of pages | 10 |
| ISBN (Electronic) | 9781728132839 |
| DOIs | |
| State | Published - Dec 2019 |
| Event | 2019 Winter Simulation Conference, WSC 2019 - National Harbor, United States Duration: Dec 8 2019 → Dec 11 2019 |
Publication series
| Name | Proceedings - Winter Simulation Conference |
|---|---|
| Volume | 2019-December |
| ISSN (Print) | 0891-7736 |
Conference
| Conference | 2019 Winter Simulation Conference, WSC 2019 |
|---|---|
| Country/Territory | United States |
| City | National Harbor |
| Period | 12/8/19 → 12/11/19 |
Funding
This manuscript has been authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy. The United States Government retains and the publisher, by accepting the article for publication, acknowledges that the United States Government retains a non-exclusive, paid-up, irrevocable, world-wide license to publish or reproduce the published form of this manuscript, or allow others to do so, for United States Government purposes. The Department of Energy will provide public access to these results of federally sponsored research in accordance with the DOE Public Access Plan (http://energy.gov/downloads/doe-public-access-plan). Research sponsored by the Laboratory Directed Research and Development Program of Oak Ridge National Laboratory.