Abstract
This paper describes a numerical method for optimising the conservative confidence bound on the reliability of a system based on statistical testing of its individual components. It provides an alternative to the sub-optimal test plan algorithms identified by the authors in an earlier research paper. For a given maximum number of component tests, this numerical method can derive an optimal test plan for any arbitrary system structure.
The optimisation method is based on linear programming which is more efficient than the alternative integer programming approach. In addition, the optimisation process need only be performed once for any given system structure as the solution can be re-used to compute an optimal integer test plan for a different maximum number of component tests. This approach might have broader application to other optimisation problems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bishop, P., Povyakalo, A.: A conservative confidence bound for the probability of failure on demand of a software-based system based on failure-free tests of its components. Reliab. Eng. Syst. Saf. 203, 107060 (2020)
Dantzig, G.B., Thapa, M.N.: Linear Programming 1: Introduction. Springer, Heidelberg (2006). https://doi.org/10.1007/b97672
Dommel, H.W., Tinney, W.F.: Optimal power flow solutions. IEEE Trans. Power Appar. Syst. 10, 1866–1876 (1968)
Ehrenberger, W.: Statistical testing of real time software. In: Quirk, W.J. (ed.) Verification and Validation of Real-Time Software, pp. 147–178. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-70224-2_5
Hunns, D., Wainwright, N.: Software-based protection for Sizewell B: the regulator’s perspective. In: 1992 International Conference on Electrical and Control Aspects of the Sizewell B PWR, pp. 198–203. IET (1992)
IEC: Functional safety of electrical/electronical/programmable electronic safety-related systems, Ed. 2, IEC 61508:2010 (2010)
King, T., Barrett, C., Tinelli, C.: Leveraging linear and mixed integer programming for SMT. In: 2014 Formal Methods in Computer-Aided Design (FMCAD), pp. 139–146. IEEE (2014)
May, J., Hughes, G., Lunn, A.: Reliability estimation from appropriate testing of plant protection software. Softw. Eng. J. 10(6), 206–218 (1995)
NNB: Hinkley Point C pre-construction safety report 3 public version. Technical report, NNB Generation Company (HPC) Ltd. (2017)
Parnas, D.L., Asmis, G., Madey, J.: Assessment of safety-critical software in nuclear power plants. Nucl. Saf. 32(2), 189–198 (1991)
Rizzo, M.L.: Statistical Computing with R. CRC Press, New York (2019)
Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Hoboken (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
A Test Plan Optimisation R Script
A Test Plan Optimisation R Script
The test plan optimisation approach was implemented using the standard simplex solver available in the R statistical analysis library. The use of the test plan optimiser is illustrated using the non-symmetric structure shown in Fig. 4.
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Bishop, P., Povyakalo, A. (2022). Optimising the Reliability that Can Be Claimed for a Software-Based System Based on Failure-Free Tests of Its Components. In: Trapp, M., Saglietti, F., Spisländer, M., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2022. Lecture Notes in Computer Science, vol 13414. Springer, Cham. https://doi.org/10.1007/978-3-031-14835-4_24
Download citation
DOI: https://doi.org/10.1007/978-3-031-14835-4_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-14834-7
Online ISBN: 978-3-031-14835-4
eBook Packages: Computer ScienceComputer Science (R0)