December 2019

Conference Paper

Using simulation to quantify the reliability of control software

By:
Nutaro, James J; Ozmen, Ozgur
Page Number:
1-10
Book Title:
Proceedings of Winter Simulation 2019
Publication Date:
December 2019
Conference Name:
Winter Simulation Conference 2019 (WSC 2019)
Conference Location:
National Harbor, Maryland, United States of America
Conference Sponsor:
WSC 2019 is sponsored by ACM/SIGSIM, ASA (Technical Co-Sponsor), ASIM (Technical Co-Sponsor), IEEE/SMC (Technical Co-Sponsor), IISE, INFORMS-SIM, NIST (Technical Co-Sponsor), SCS, and ORS (UK, Technic

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.

Related Researchers