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.

[1]  Ittetsu Taniguchi,et al.  A hardware/software cosimulator for Network-on-Chip , 2013, 2013 International SoC Design Conference (ISOCC).

[2]  Brian J. Henz,et al.  Virtual machine-based simulation platform for mobile ad-hoc network-based cyber infrastructure , 2015 .

[3]  Kiran Desai,et al.  Mission critical software test philosophy a SILS based approach in Indian Mars Orbiter Mission , 2014, 2014 International Conference on Contemporary Computing and Informatics (IC3I).

[4]  James J. Nutaro,et al.  Building Software for Simulation: Theory and Algorithms, with Applications in C++ , 2010 .

[5]  G. B. Finelli,et al.  The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software , 1993, IEEE Trans. Software Eng..

[6]  Mihail L. Sichitiu,et al.  Integrated simulation and emulation using adaptive time dilation , 2014, SIGSIM PADS '14.

[7]  Xiaolin Hu,et al.  Model continuity in the design of dynamic distributed real-time systems , 2005, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8]  Kurt Rothermel,et al.  Efficient and Scalable Network Emulation Using Adaptive Virtual Time , 2009, 2009 Proceedings of 18th International Conference on Computer Communications and Networks.

[9]  Amin Vahdat,et al.  DieCast: Testing Distributed Systems with an Accurate Scale Model , 2008, TOCS.

[10]  Klaus Wehrle,et al.  Synchronized network emulation: matching prototypes with complex simulations , 2008, PERV.

[11]  Marta Pantoquilho.  Challenges in testing and validating operational spacecraft simulators , 2010 .

[12]  James J. Nutaro,et al.  Simulation Based Design and Testing of a Supervisory Controller for Reducing Peak Demand in Buildings , 2016 .

[13]  Jordi Carrabina,et al.  Mixed SW/SystemC SoC Emulation Framework , 2007, 2007 IEEE International Symposium on Industrial Electronics.

[14]  Jordi Carrabina,et al.  Mixed simulation kernels for high performance virtual platforms , 2009, 2009 Forum on Specification & Design Languages (FDL).

[15]  Ming-Chao Chiang,et al.  A QEMU and SystemC-Based Cycle-Accurate ISS for Performance Estimation on SoC Development , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.