Abstract
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the number of residual defects in software products. Reducing residual defects is of course not in itself the objective of this exercise; the true objective is to reduce the number of failures in the use of software products. Or in other words: the objective is the development of a methodology for “reliable software systems design.”
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Anderson, T., Barrett, P.A., Halliwell, D.N., Moudling, M.L.: An evaluation of software fault tolerance in a practical system. In: Proc. Fault Tolerant Computing Symposium, pp. 140–145 (1985)
Knight, J.C., Leveson, N.G.: An Experimental Evaluation of the Assumption of In-dependence in Multi-version Programming. IEEE Transactions on SoftwareEngineering SE-12(1), 96–109 (1986)
Reeves, G., Neilson, T.: The Mars Rover Spirit Flash Anomaly. In: IEEE Aerospace Conference, Big Sky, MT (March, 2005)
Rasmussen, R.D., Litty, E.C.: A Voyager attitude control perspective on fault toler-ant systems. In: Proc. AIAA Conf. Alburquerque, NM, August 1981, pp. 241–248 (1981)
Rushby, J.: Partitioning in Avionics Architectures: Requirements, Mechanisms, and As-surance. Draft technical report, Computer Science Laboratory, SRI (1998)
Sha, L.: Using Simplicity to Control Complexity. IEEE Software, 20–28 (July-August, 2001)
Weber, D.G.: Formal specification of fault-tolerance and its relation to computer security. In: Proc. 5th Int. Workshop on Software Spec. and Design, Pittsburgh, PA, May 1989, pp. 273–277 (1989)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Holzmann, G.J., Joshi, R. (2008). Reliable Software Systems Design: Defect Prevention, Detection, and Containment. In: Meyer, B., Woodcock, J. (eds) Verified Software: Theories, Tools, Experiments. VSTTE 2005. Lecture Notes in Computer Science, vol 4171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69149-5_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-69149-5_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69147-1
Online ISBN: 978-3-540-69149-5
eBook Packages: Computer ScienceComputer Science (R0)