Skip to main content
SHARE
Publication

Using simulation to quantify the reliability of control software...

by James J Nutaro, Ozgur Ozmen
Publication Type
Conference Paper
Journal Name
IEEE Transactions on Software Engineering
Book Title
Proceedings of Winter Simulation 2019
Publication Date
Page Numbers
1 to 10
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
Conference Date
-

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.