Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests

Luping Chen, John May

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Abstract

This presents a new model to support empirical failure probability estimation for a software-intensive system. The new element of the approach is that it combines the results of testing using a simulated hardware platform with results from testing on the real platform. This approach addresses a serious practical limitation of a technique known as statistical testing. This limitation will be called the test time expansion problem (or simply the 'time problem'), which is that the amount of testing required to demonstrate useful levels of reliability over a time period T is many orders of magnitude greater than T. The time problem arises whether the aim is to demonstrate ultra-high reliability levels for protection system, or to demonstrate any (desirable) reliability levels for continuous operation ('high demand') systems. Specifically, the theoretical feasibility of a platform simulation approach is considered since, if this is not proven, questions of practical implementation are moot. Subject to the assumptions made in the paper, theoretical feasibility is demonstrated.

Original languageEnglish
Title of host publicationProceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages630-631
Number of pages2
ISBN (Electronic)9781538620724
DOIs
Publication statusPublished - 7 Aug 2017
Event2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017 - Prague, Czech Republic
Duration: 25 Jul 201729 Jul 2017

Conference

Conference2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017
CountryCzech Republic
CityPrague
Period25/07/1729/07/17

Keywords

  • Emulation/Simulation-enhanced Test
  • Failure Probability
  • Reliability
  • Statistical Test
  • Test Time Expansion

Fingerprint Dive into the research topics of 'Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests'. Together they form a unique fingerprint.

Cite this