Using Simulation to Quantify the Reliability of Control Software

James Nutaro; Ozgur Ozmen

doi:10.1109/WSC40007.2019.9004839

Using Simulation to Quantify the Reliability of Control Software

James Nutaro, Ozgur Ozmen

Computational Systems Engineering and Cy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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	https://doi.org/10.1109/WSC40007.2019.9004839
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.

Funders	Funder number
Oak Ridge National Laboratory

Access to Document

10.1109/WSC40007.2019.9004839

Cite this

@inproceedings{ff79611946b94a70a2aa8db2ebb700e0,

title = "Using Simulation to Quantify the Reliability of Control Software",

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.",

author = "James Nutaro and Ozgur Ozmen",

note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 2019 Winter Simulation Conference, WSC 2019 ; Conference date: 08-12-2019 Through 11-12-2019",

year = "2019",

month = dec,

doi = "10.1109/WSC40007.2019.9004839",

language = "English",

series = "Proceedings - Winter Simulation Conference",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "3267--3276",

booktitle = "2019 Winter Simulation Conference, WSC 2019",

}

Nutaro, J & Ozmen, O 2019, Using Simulation to Quantify the Reliability of Control Software. in 2019 Winter Simulation Conference, WSC 2019., 9004839, Proceedings - Winter Simulation Conference, vol. 2019-December, Institute of Electrical and Electronics Engineers Inc., pp. 3267-3276, 2019 Winter Simulation Conference, WSC 2019, National Harbor, United States, 12/8/19. https://doi.org/10.1109/WSC40007.2019.9004839

Using Simulation to Quantify the Reliability of Control Software. / Nutaro, James; Ozmen, Ozgur.
2019 Winter Simulation Conference, WSC 2019. Institute of Electrical and Electronics Engineers Inc., 2019. p. 3267-3276 9004839 (Proceedings - Winter Simulation Conference; Vol. 2019-December).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Using Simulation to Quantify the Reliability of Control Software

AU - Nutaro, James

AU - Ozmen, Ozgur

PY - 2019/12

Y1 - 2019/12

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85081119248&partnerID=8YFLogxK

U2 - 10.1109/WSC40007.2019.9004839

DO - 10.1109/WSC40007.2019.9004839

M3 - Conference contribution

AN - SCOPUS:85081119248

T3 - Proceedings - Winter Simulation Conference

SP - 3267

EP - 3276

BT - 2019 Winter Simulation Conference, WSC 2019

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2019 Winter Simulation Conference, WSC 2019

Y2 - 8 December 2019 through 11 December 2019

ER -

Using Simulation to Quantify the Reliability of Control Software

Abstract

Publication series

Conference

Funding

Access to Document

Other files and links

Fingerprint

Cite this