Skip to main content
SpringerLink
Log in

System-Level Reliability and Sensitivity Analyses for Three Fault-Tolerant System Architectures

  • Conference paper
Dependable Computing for Critical Applications 4

Part of the book series: Dependable Computing and Fault-Tolerant Systems ((DEPENDABLECOMP,volume 9))

Abstract

This paper discusses the modeling and analysis of three major fault-tolerant software system architectures: DRB (Distributed Recovery Blocks), NVP (N-Version Programming) and NSCP (N Self-Checking Programming). In the system-level reliability modeling domain, fault tree analysis techniques and Markov modeling techniques are combined to incorporate transient and permanent hardware faults as well as unrelated and related software faults. These models are parameterized by a real-world fault-tolerant flight control computer application for evaluations and comparisons. In particular, a series of sensitivity analysis is performed to explore the critical components in each fault-tolerant architecture and display their quantitative impacts to the overall system reliability.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
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.

References

  1. Algirdas AviŽienis. The N-version approach to fault-tolerant software. IEEE Transactions on Software Engineering, SE-11(12):1491–1501, December 1985.

    Article  Google Scholar 

  2. P.G. Bishop, D.G. Esp, M. Barnes, P. Humphreys, G. Dahl, and J. Lahti. PODS — a project of diverse software. IEEE Transactions on Software Engineering, SE-12(9):929–940, September 1986.

    Google Scholar 

  3. D. Briere and P. Traverse. Airbus A320/A330/A340 electrical flight controls: A family of fault-tolerant systems. In Proceedings of the 23rd Symposium on Fault Tolerant Computing, pages 616-623, 1993.

    Google Scholar 

  4. Joanne Bechta Dugan and K. S. Trivedi. Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Transactions on Computers, 38(6):775–787, 1989.

    Article  Google Scholar 

  5. Robert Geist and Kishor Trivedi. Reliability estimation of fault-tolerant systems: Tools and techniques. IEEE Computer, pages 52-61, July 1990.

    Google Scholar 

  6. Gunnar Hagelin. ERICSSON safety system for railway control. In U. Voges, editor, Software Diversity in Computerized Control Systems, pages 11-21. Springer-Verlag, 1988.

    Google Scholar 

  7. A. D. Hills. Digital fly-by-wire experience. In Proceedings AGARD Lecture Series, number 143, October 1985.

    Google Scholar 

  8. Allen M. Johnson and Miroslaw Malek. Survey of software tools for evaluating reliability availability, and serviceability. ACM Computing Surveys, 20(4):227–269, December 1988.

    Article  Google Scholar 

  9. K.H. Kim and Howard O. Welch. Distributed execution of recovery blocks: An approach for uniform treatment of hardware and software faults in real-time applications. IEEE Transactions on Computers, 38(5):626–636, May 1989.

    Article  Google Scholar 

  10. Jaynarayan H. Lala and Linda S. Alger. Hardware and software fault tolerance: A unified architectural approach. In Proc. IEEE Int. Symp. on Fault-Tolerant Computing, FTCS-18, pages 240-245, June 1988.

    Google Scholar 

  11. Jean-Claude Laprie. Dependability evaluation of software systems in operation. IEEE Transactions on Software Engineering, SE-10(6):701–714, November 1984.

    Article  Google Scholar 

  12. Jean-Claude Laprie, Jean Arlat, Christian Beounes, and Karama Kanoun. Definition and Analysis of Hardware-and Software-Fault-Tolerant Architectures. IEEE Computer, pages 39-51, July 1990.

    Google Scholar 

  13. Jean-Claude Laprie and Karama Kanoun. X-ware reliability and availability modeling. IEEE Transactions on Software Engineering, pages 130-147, February, 1992.

    Google Scholar 

  14. Michael R. Lyu and Yu-Tao He. Improving the N-version programming process through the evolution of a design paradigm. IEEE Transactions on Reliability, June 1993.

    Google Scholar 

  15. C. V. Ramamoorthy, Y. Mok, F. Bastani, G. Chin, and K. Suzuki. Application of a methodology for the development and validation of reliable process control software. IEEE Transactions on Software Engineering, SE-7(6):537–555, November 1981.

    Article  Google Scholar 

  16. Brian Randell. System structure for software fault tolerance. IEEE Transactions on Software Engineering, SE-l(2):220–232, June 1975.

    MathSciNet  Google Scholar 

  17. R. Sahner and K. S. Trivedi. Reliability modeling using SHARPE. IEEE Transactions on Reliability, R-36(2): 186–193, June 1987.

    Article  Google Scholar 

  18. R. Keith Scott, James W. Gault, and David F. McAllister. Fault-tolerantsoftware reliability modeling. IEEE Transactions on Software Engineering, SE-13(5):582–592, May 1987.

    Article  Google Scholar 

  19. Kang G. Shin and Yann-Hang Lee. Evaluation of error recovery blocks used for cooperating processes. IEEE Transactions on Software Engineering, SE-10(6):692–700, November 1984.

    Article  Google Scholar 

  20. George. E. Stark. Dependability evaluation of integrated hardware/software systems. IEEE Transactions on Reliability, pages 440-444, October 1987.

    Google Scholar 

  21. Pascal Traverse. Airbus and ATR system architecture and specification. In U. Voges, editor, Software Diversity in Computerized Control Systems, pages 95-104. Springer-Verlag, June 1986.

    Google Scholar 

  22. Udo Voges. Use of diversity in experimental reactor safety systems. In U. Voges, editor, Software Diversity in Computerized Control Systems, pages 29-49. Springer-Verlag, 1988.

    Google Scholar 

  23. L. J. Yount. Architectural solutions to safety problems of digital flight-critical systems for commercial transports. In Proceedings AIAA/IEEE Digital Avionics Systems Conference, pages 1-8, December 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, University of Virginia, Charlottesville, Virginia, 22903-2442, USA

    Joanne Bechta Dugan

  2. Bellcore, Morristown, New Jersey, 07692-1910, USA

    Michael R. Lyu

Authors
  1. Joanne Bechta Dugan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael R. Lyu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of California, La Jolla, CA, 92093-0114, USA

    Flaviu Cristian

  2. INRIA, F-78150, Le Chesnay, France

    Gerard Le Lann (Research Director) (Research Director)

  3. ARPA/CSTO, Arlington, VA, 22203, USA

    Teresa Lunt (Program Manager) (Program Manager)

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag/Wien

About this paper

Cite this paper

Dugan, J.B., Lyu, M.R. (1995). System-Level Reliability and Sensitivity Analyses for Three Fault-Tolerant System Architectures. In: Cristian, F., Le Lann, G., Lunt, T. (eds) Dependable Computing for Critical Applications 4. Dependable Computing and Fault-Tolerant Systems, vol 9. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9396-9_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-9396-9_37

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-9398-3

  • Online ISBN: 978-3-7091-9396-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation