Skip to main content
SpringerLink
Log in

Design for Dependability

  • Conference paper
Book cover Dependable Computing for Critical Applications 3

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

Abstract

The concepts design, correctness of design, failure mode and fault tolerance are formally defined in terms of CSP. A systematic approach to verification of fault tolerance properties of designs is presented. The verification comprises a number of compositional proofs. It addresses safety and liveness properties of the design. As an example, a “cold stand by spare” fault tolerant design is formally defined and verified, using property oriented specifications of component failure assumptions and the compositional inference rules of CSP.

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. F. Cristian. A rigorous approach to fault-tolerant programming. IEEE Transaction on Software Engineering, SE-11(1), 1985.

    Google Scholar 

  2. C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

    Google Scholar 

  3. J-C. Laprie. Dependable computing and fault tolerance: concepts and terminology. Proc. 15th International Symposium on Fault-tolerant Computing, IEEE, 1985.

    Google Scholar 

  4. Z. Liu. Transformation of programs for fault tolerance. Formal Aspects of Computing, 4(5), 1992.

    Google Scholar 

  5. L. V. Mancini, G. Pappalardo. Towards a theory of replicated processing. Proc. Symposium on Formal Techniques in Real-time and Fault Tolerant Systems (Lecture Notes in Computer Science 331), Springer Verlag, September 1988.

    Google Scholar 

  6. J. Peleska. Design and verification of fault tolerant systems with csp. Distributed Computing, 5(2), 1991.

    Google Scholar 

  7. J. P. Roth. Diagnosis of automata failures: a calculus and a method. IBM J. Res. Development, 10(4), 1966.

    Google Scholar 

  8. F. B. Schneider. Implementing fault tolerant services using the state machine approach: a tutorial. ACM Computing Surveys, 22(5), 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Denmark, DK-2800, Lyngby, Denmark

    Jens Nordahl

Authors
  1. Jens Nordahl
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Naval Research Laboratory, Washington DC, 20375-5000, USA

    Carl E. Landwehr

  2. Dept. of Computer Sc., Univ. of Newcastle, Newcastle upon Tyne, NE1 7RU, UK

    Brian Randell

  3. Dip. Ingegneria dell’Informazione, Università di Pisa, I-56100, Pisa, Italia

    Luca Simoncini

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Wien

About this paper

Cite this paper

Nordahl, J. (1993). Design for Dependability. In: Landwehr, C.E., Randell, B., Simoncini, L. (eds) Dependable Computing for Critical Applications 3. Dependable Computing and Fault-Tolerant Systems, vol 8. Springer, Vienna. https://doi.org/10.1007/978-3-7091-4009-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-4009-3_3

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-4011-6

  • Online ISBN: 978-3-7091-4009-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation