Abstract
Many software development practices aim at ensuring that software is correct, or fault-free. In safety critical applications, requirements are in terms of probabilities of certain behaviours, e.g. as associated to the Safety Integrity Levels of IEC 61508. The two forms of reasoning – about evidence of correctness and about probabilities of certain failures – are rarely brought together explicitly. The desirability of using claims of correctness has been argued by many authors, but not been taken up in practice. We address how to combine evidence concerning probability of failure together with evidence pertaining to likelihood of fault-freeness, in a Bayesian framework. We present novel results to make this approach practical, by guaranteeing reliability predictions that are conservative (err on the side of pessimism), despite the difficulty of stating prior probability distributions for reliability parameters. This approach seems suitable for practical application to assessment of certain classes of safety critical systems.
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Littlewood, B., Strigini, L.: Validation of ultra-high dependability for software-based systems. CACM 36(11), 69–80 (1993)
Littlewood, B., Strigini, L.: ‘Validation of ultra-high dependability...’ - 20 years on. Safety Systems, Newsletter of the Safety-Critical Systems Club (May 2011)
(IEC) International Electrotechnical Commission, IEC 61508, functional safety of electrical/ electronic/programmable electronic safety related systems
Bertolino, A., Strigini, L.: Assessing the risk due to software faults: estimates of failure rate vs evidence of perfection. Software Testing, Verification and Reliability 8(3), 155–166 (1998)
ISO, ISO 26262 road vehicles – functional safety (2011)
FAA, Federal aviation regulations far 25.1309. Advisory Circular AC 25.1309-1A, Federal Aviation Administration (1985)
Butler, R., Finelli, G.: The infeasibility of quantifying the reliability of life-critical real-time software. IEEE TSE 19(1), 3–12 (1993)
Voas, J., Michael, C., et al.: Confidently assessing a zero probability of software failure. High Integrity Systems 1(3), 269–275 (1995)
Howden, W., Huang, Y.: Software trustability analysis. ACM TOSEM 4(1), 36–64 (1995)
Bertolino, A., Strigini, L.: On the use of testability measures for dependability assessment. IEEE TSE 22(2), 97–108 (1996)
Bertolino, A., Strigini, L.: Acceptance criteria for critical software based on testability estimates and test results. In: SAFECOMP 1996, pp. 83–94. Springer (1996)
Strigini, L.: Bounds on survival probabilities given an expected probability of failure per demand. DISPO2 Project Technical Report LS-DISPO2-03, Centre for Software Reliability, City University London (July 2003)
Littlewood, B., Povyakalo, A.: Conservative bounds for the pfd of a 1-out-of-2 software-based system based on an assessor’s subjective probability of ‘not worse than independence. CSR Technical Report, City University London (2012)
Bishop, P., Bloomfield, R., et al.: Toward a formalism for conservative claims about the dependability of software-based systems. IEEE TSE 37(5), 708–717 (2011)
Littlewood, B.: The use of proof in diversity arguments. IEEE TSE 26(10), 1022–1023 (2000)
Littlewood, B., Rushby, J.: Reasoning about the reliability of diverse two-channel systems in which one channel is ‘possibly perfect’. IEEE TSE 38(5), 1178–1194 (2012)
Shimeall, T., Leveson, N.: An empirical comparison of software fault tolerance and fault elimination. IEEE TSE 17, 173–182 (1991)
Littlewood, B., Popov, P., et al.: Modelling the effects of combining diverse software fault removal techniques. IEEE TSE SE-26(12), 1157–1167 (2000)
Bloomfield, R., Guerra, S.: Process modelling to support dependability arguments. In: DSN 2002, International Conference on Dependable Systems and Networks. IEEE Computer Society, Washington, D.C (2002)
Littlewood, B., Wright, D.: Reliability prediction of a software product using testing data from other products or execution environments. DeVa Project Technical Report 10, City University London (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Strigini, L., Povyakalo, A. (2013). Software Fault-Freeness and Reliability Predictions. In: Bitsch, F., Guiochet, J., Kaâniche, M. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2013. Lecture Notes in Computer Science, vol 8153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40793-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-40793-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40792-5
Online ISBN: 978-3-642-40793-2
eBook Packages: Computer ScienceComputer Science (R0)