Abstract
Donald MacKenzie has written an insightful account of the evolution of the term “dependability” and its relationship with the efforts of the software engineering community to produce reliable software artifacts. All I need to do here is underline some of his findings and supply some examples of such efforts that I have encountered in my work as a practitioner of software engineering so far. I will also comment on the still evolving nature of dependability and hazard some predictions about the challenges that future dependability procurement will entail given the rapidly changing computing infrastructure of our time.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jean-Claude Laprie, ed., Dependability: Basic Concepts and Terminology (Wien, 1992).
Joseph A. Goguen and José Meseguer, “Security Policies and Security Models,” in Proceedings of the Symposium on Security and Privacy (Oakland, Calif., 1982), 11–20.
Bruno Dutertre and Victoria Stavridou, “A Model of Noninterference for Integrating Mixed Criticality Software Components,” in Proceedings of 7 th International Conference on Dependable Computing for Critical Applications (San Jose, Calif., January 1999).
J. Robert Taylor, “Very High Reliability Computer Systems,” in Safe and Secure Computing Systems, ed. Tom Anderson (Oxford, 1989).
C. A. R. Hoare, How Did Software Get So Reliable Without Proof? Presentation to Awareness Club in Computer Assisted Reasoning, Edinburgh, 21 March 1994.
Jacques-Louis Lions, ARIANE 5 Flight 501 Failure, Report by the ESA Enquiry Board, Paris, 19 July 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stavridou, V. (2002). Dependability Then and Now: Commentary on Donald MacKenzie, “A View from the Sonnenbichl”. In: Hashagen, U., Keil-Slawik, R., Norberg, A.L. (eds) History of Computing: Software Issues. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-04954-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-662-04954-9_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-07653-4
Online ISBN: 978-3-662-04954-9
eBook Packages: Springer Book Archive