Skip to main content

Software Fault-Freeness and Reliability Predictions

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8153))

Included in the following conference series:

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

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Littlewood, B., Strigini, L.: Validation of ultra-high dependability for software-based systems. CACM 36(11), 69–80 (1993)

    Article  Google Scholar 

  2. Littlewood, B., Strigini, L.: ‘Validation of ultra-high dependability...’ - 20 years on. Safety Systems, Newsletter of the Safety-Critical Systems Club (May 2011)

    Google Scholar 

  3. (IEC) International Electrotechnical Commission, IEC 61508, functional safety of electrical/ electronic/programmable electronic safety related systems

    Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. ISO, ISO 26262 road vehicles – functional safety (2011)

    Google Scholar 

  6. FAA, Federal aviation regulations far 25.1309. Advisory Circular AC 25.1309-1A, Federal Aviation Administration (1985)

    Google Scholar 

  7. Butler, R., Finelli, G.: The infeasibility of quantifying the reliability of life-critical real-time software. IEEE TSE 19(1), 3–12 (1993)

    Google Scholar 

  8. Voas, J., Michael, C., et al.: Confidently assessing a zero probability of software failure. High Integrity Systems 1(3), 269–275 (1995)

    Google Scholar 

  9. Howden, W., Huang, Y.: Software trustability analysis. ACM TOSEM 4(1), 36–64 (1995)

    Article  Google Scholar 

  10. Bertolino, A., Strigini, L.: On the use of testability measures for dependability assessment. IEEE TSE 22(2), 97–108 (1996)

    Google Scholar 

  11. Bertolino, A., Strigini, L.: Acceptance criteria for critical software based on testability estimates and test results. In: SAFECOMP 1996, pp. 83–94. Springer (1996)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. Littlewood, B.: The use of proof in diversity arguments. IEEE TSE 26(10), 1022–1023 (2000)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. Shimeall, T., Leveson, N.: An empirical comparison of software fault tolerance and fault elimination. IEEE TSE 17, 173–182 (1991)

    Google Scholar 

  18. Littlewood, B., Popov, P., et al.: Modelling the effects of combining diverse software fault removal techniques. IEEE TSE SE-26(12), 1157–1167 (2000)

    Google Scholar 

  19. 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)

    Google Scholar 

  20. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics