Abstract
This paper gives the main definitions relating to dependability, a generic concept including as special case such attributes as reliability, availability, safety, confidentiality, integrity, maintainability, etc. Basic definitions are given first. They are then commented upon, and supplemented by additional definitions, which address the threats to dependability (faults, errors, failures), and the attributes of dependability. The discussion on the attributes encompasses the relationship of dependability with security, survivability and trustworthiness.
Chapter PDF
Similar content being viewed by others
Key words
References
A. Avižienis, “Design of fault-tolerant computers”, in Proc. 1967 Fall Joint Computer Conf., AFIPS Conf. Proc. Vol. 31, pp. 733–743, 1967.
A. Avižienis and L. Chen, “On the implementation of N-version programming for software fault tolerance during execution”, in Proc. IEEE COMPSAC 77, pp. 149–155, Nov. 1977.
A. Avižienis, Y. He, “Microprocessor entomology: a taxonomy of design faults in COTS microprocessors”, in Dependable Computing for Critical Applications 7, C.B. Weinstock and J. Rushby, eds, IEEE CS Press, 1999, pp. 3–23.
A. Avižienis, J.P.J. Kelly, “Fault tolerance by design diversity: concepts and experiments”, Computer, vol. 17,no. 8, Aug. 1984, pp. 67–80.
[Bouricius et al. 1969]_W.G. Bouricius, W.C. Carter, and P.R. Schneider, “Reliability modeling techniques for self-repairing computer systems”, in Proceedings of 24 th National Conference of ACM, pp. 295–309, 1969.
[Cachin et al. 2000]_C. Cachin, J. Camenisch, M. Dacier, Y. Deswarte, J. Dobson, D. Home, K. Kursawe, J.-C. Laprie, J.C. Lebraud, D. Long, T. McCutcheon, J. Muller, F. Petzold, B. Pfitzmann, D. Powell, B. Randell, M. Schunter, V. Shoup, P. Veríssimo, G. Trouessin, R.J. Stroud, M. Waidner, I. Welch, “Malicious-and Accidental-Fault Tolerance in Internet Applications: reference model and use cases”, LAAS report no. 00280, MAFTIA, Project IST-1999-11583, Aug. 2000, 113p.
[Castelli et al. 2001]_V. Castelli, R.E. Harper, P. Heidelberger, S.W. Hunter, K.S. Trivedi, K. Vaidyanathan, W.P. Zeggert, “Proactive management of software aging”, IBM J. Res. & Dev., vol. 45,no. 2, March 201, pp. 311–332.
Termes et définitions concernant la qualité de service, la disponibilité et la fiabilité, Recommandation G 106, CCITT, 1984; in French.
Information Technology Security Evaluation Criteria, Harmonized criteria of France, Germany, the Netherlands, the United Kingdom, Commission of the European Communities, 1991.
F. Cristian, “Understanding Fault-Tolerant Distributed Systems”, Com. of the ACM, vol. 34,no. 2, pp. 56–78, 1991.
J.E. Dobson and B. Randell. Building reliable secure computing systems out of unreliable insecure compnents. In Proc. of the 1986 IEEE Symp. Security and Privacy, pp. 187–193, April 1986.
[Ellison et al. 1999]_R.J. Ellison, D.A. Fischer, R.C. Linger, H.F. Lipson, T. Longstaff, N.R. Mead, “Survivable network systems: an emerging discipline”, Technical Report CMU/SEI-97-TR-013, November 1997, revised May 1999.
W.R. Elmendorf, “Fault-tolerant programming”, in Proc. 2nd IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-2), Newton, Massachusetts, June 1972, pp. 79–83.
[Fray et al. 1986]_J.-M. Fray, Y. Deswarte, D. Powell, “Intrusion tolerance using fine-grain fragmentation-scattering”, in Proc. 1986 IEEE Symp. on Security and Privacy, Oakland, April 1986, pp. 194–201.
Special session. Fundamental concepts of fault tolerance. In Digest of FTCS-12, pages 3–38, June 1982.
[Ghezzi et al. 1991]_C. Ghezzi, M. Jazayeri, D. Mandrioli, Fundamentals of Software Engineering, Prentice-Hall, 1991.
J. Gray, “Functionality, Availability, Agility, Manageability, Scalability — the New Priorities of Application Design”, in Proc. HPTS 2001, Asilomar, April 2001.
R. Grigonis, “Fault-resilience for communications convergence”, Special Supplement to CMP Media’s Converging Communications Group, Spring 2001.
J.E. Hosford, “Measures of dependability”, Operations Research, vol. 8,no. 1, 1960, pp. 204–206.
[Huang et al. 1995]_Y. Huang, C. Kintala, N. Kolettis, N.D. Fulton, “Software rejuvenation: analysis, module and applications”, in Proc. 25th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-25), Pasadena, California, June 1995, pp.
V.R. Hunt & G.V. Kloster, editors, “The FAA’s Advanced Automation Program”, special issue, Computer, February 1987.
Industrial-process measurement and control — Evaluation of system properties for the purpose of system assessment. Part 5: Assessment of system dependability, Draft, Publication 1069-5, International Electrotechnical Commission (IEC) Secretariat, Feb. 1992.
Intel Corp. Intel Pentium III Processor Specification Update, May 2001. Order No.244453-029.
Quality Concepts and Terminology, Part one: Geberic Terms and Definitions, Document ISO/TC 176/SC 1 N 93, Feb. 1992.
Common Criteriafor Information Technology Security Evaluation, ISO/IEC Standard 15408, August 1999.
J. Jacob. “The Basic Integrity Theorem”, in Proc. Int. Symp. on Security and Privacy, pp. 89–97, Oakland, CA, USA, 1991.
M.K. Joseph and A. Avižienis, “A fault tolerance approach to computer viruses”, in Proc. of the 1988 IEEE Symposium on Security and Privacy, pages 52–58, April 1988.
[Lamport etal. 1982]_L. Lamport, R. Shostak, M. Pease, “The Byzantine generals problem”, ACM Trans.on Programming Languages and Systems, vol. 4,no. 3, July 1982, pp. 382–401.
[Landwehr et al. 1994]_C.E. Landwher, A.R. Bull, J.P. McDermott, W.S. Choi, “A Taxonomy of Computer Program Security Flaws”, ACM Computing Surv., vol. 26,no. 3, pp. 211–254,1994.
J.-C. Laprie. Dependable computing and fault tolerance: concepts and terminology. In Proc. 15th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-15), Ann Arbor, June 1985, pp. 2–11,.
J.-C. Laprie, editor, Dependability: Basic Concepts and Terminology, Springer-Verlag, 1992.
Meyer, Michael, “A ‘Lesson’ for Intel: How It Mishandled the Pentium Flap”, Newsweek, December 12, 1994, p.58.
E.F. Moore and C.E. Shannon, “Reliable circuits using less reliable relays”, J. Franklin Institute, 262:191–208 and 281-297, Sept/Oc. 1956.
R.R. Muntz, “Performance measurement and evaluation”, in Encyclopedia of Computer Science, A. Ralston, E.D. Reilly, D. Hemmendinger, eds, Nature Publishing Group, 2000.
D. Parnas, “On thecriteria to be used in decomposing systems into modules”, Comunications of the ACM, vol. 15,no. 12, Dec. 1972, pp. 1053–1058.
D. Parnas, “On a ‘buzzword’: hierarchical structure”, in Proc, Information Processing 74”.
C.P. Pfleeger, “Data security”, in Encyclopedia of Computer Science, A. Ralston, E.D. Reilly, D. Hemmendinger, eds, Nature Publishing Group, 2000, pp. 504–507.
W.H. Pierce, Failure-Tolerant Computer Design, Academic Press, 1965.
[Powell et al. 1988]_D. Powell, G. Bonn, D. Seaton, P. Veríssimo, F. Waeselynck, “The Delta-4 approach to dependability in open distributed computing systems”, in Proc. 18th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-18), Tokyo, Japan, June 1988, pp. 246–251.
D. Powell, R. Stroud, editors, “Conceptual Model and Architecture of MAFTIA”, MAFTIA, Project IST-1999-11583, Jan. 2003, 123p.
B. Randell, “System structure for software fault tolerance”, IEEE Transactions on Software Engineering, SE-1:1220–232, 1975.
Software considerations in airborne systems and equipment certification, DO-178-B/ED-12-B, Requirements and Technical Concepts for Aviation/European Organisation for Civil Aviation Equipment, 1992.
F. Schneider, ed., Trust in Cyberspace, National Academy Press, 1999.
D.P. Siewiorek, D. Johnson, “A design methodology for high reliability systems: the Intel 432”, in D.P. Siewiorek, R.S. Swarz, Reliable Computer Systems, Design and Evaluation, Digital Press, 1992, pp. 737–767.
USA Department of Transportation, Office of Inspector General, Audit Report: Advance Automation System, Report No. AV-1998-113, April 15, 1998.
J. von Neumann, “Probabilistic logics and the synthesis of reliable organisms from unreliable components”, in C. E. Shannon and J. McCarthy, editors, Annals of Math Studies, numbers 34, pages 43–98. Princeton Univ. Press, 1956.
A. Wood, “NonStop availability in a client/server environment”, Tandem Technical Report 94.1, March 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Avižienis, A., Laprie, JC., Randell, B. (2004). Dependability and Its Threats: A Taxonomy. In: Jacquart, R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8157-6_13
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8157-6_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8156-9
Online ISBN: 978-1-4020-8157-6
eBook Packages: Springer Book Archive