Software reliability and dependability

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Software reliability and dependability: a roadmap

Full text

Pdf (1.57 MB)

Source

International Conference on Software Engineering archive
Proceedings of the Conference on The Future of Software Engineering table of contents

Limerick, Ireland

Pages: 175 - 188

Year of Publication: 2000

ISBN:1-58113-253-0

Authors

Bev Littlewood	Centre for Software Reliability, City University, Northampton Square, London EC1V OHB, UK
Lorenzo Strigini	Centre for Software Reliability, City University, Northampton Square, London EC1V OHB, UK

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering
Irish Comp Soc : Irish Computer Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 125, Citation Count: 10

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/336512.336551 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	E. N. Adams. Optimizing preventive service of software products. IBM Journal of Research and Development 28, 1 (January 1984), 2-14.
	2	Sarah Brocklehurst , Bev Littlewood, New Ways to Get Accurate Reliability Measures, IEEE Software, v.9 n.4, p.34-42, July 1992 [doi>10.1109/52.143100]
	3	R. C. Cheung. A User-Oriented Software Reliability Model. IEEE Transactions on Software Engineering SE-6, 2 (March 1980), 118-125.
	4	G. F. Clement, P. K. Giloth. Evolution of Fault Tolerant Switching Systems in AT&T. In A. Avizienis, H. Kopetz and J.-C. Laprie (Eds.) The Evolution of Fault- Tolerant Computing, Springer-Verlag, 1987, 37-54.
	5	FAA. Federal Aviation Administration, Advisory Circular AC 25.1309-1A, 1985.
	6	J.-C. Fabre , F. Salles , M. Rodríguez Moreno , J. Arlat, Assessment of COTS Microkernels by Fault Injection, Proceedings of the conference on Dependable Computing for Critical Applications, p.25, January 06-08, 1999
	7	Norman E. Fenton , Martin Neil, Software metrics: roadmap, Proceedings of the Conference on The Future of Software Engineering, p.357-370, June 04-11, 2000, Limerick, Ireland [doi>10.1145/336512.336588]
	8	Norman Fenton , Shari Lawrence Pfleeger , Robert L. Glass, Science and Substance: A Challenge to Software Engineers, IEEE Software, v.11 n.4, p.86-95, July 1994 [doi>10.1109/52.300094]
	9	Norman E. Fenton , Martin Neil, A Critique of Software Defect Prediction Models, IEEE Transactions on Software Engineering, v.25 n.5, p.675-689, September 1999 [doi>10.1109/32.815326]
	10	N. Fota et al., Safety analysis and evaluation of an air traffic control computing system, in Proc. SAFECOMP '96 (Vienna, Austria, October 1996), 219-229.
	11	Mary Jean Harrold, Testing: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.61-72, June 04-11, 2000, Limerick, Ireland [doi>10.1145/336512.336532]
	12	L. Hat-ton, Programming Languages and safety-Related Systems, in Proc. Safety-Critical Systems Symposium (Brighton, U.K., 1995), 49-64.
	13	Philip Koopman , John DeVale, Comparing the Robustness of POSIX Operating Systems, Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, p.30, June 15-18, 1999
	14	Hermann Kopetz, Software engineering for real-time: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.201-211, June 04-11, 2000, Limerick, Ireland [doi>10.1145/336512.336555]
	15	D. Richard Kuhn, Sources of Failure in the Public Switched Telephone Network, Computer, v.30 n.4, p.31-36, April 1997 [doi>10.1109/2.585151]
	16	Jean-Claude Laprie , Karama Kanoun, X-Ware Reliability and Availability Modeling, IEEE Transactions on Software Engineering, v.18 n.2, p.130-147, February 1992 [doi>10.1109/32.121755]
	17	J.C. C. Laprie , A. Avizienis , H. Kopetz, Dependability: Basic Concepts and Terminology, Springer-Verlag New York, Inc., Secaucus, NJ, 1992
	18	A. Laryd, Operating experience of software in programmable equipment used in ABB Atom nuclear I&C application, in Proc. Advanced Control and Instrumentation Systems in Nuclear Power Plants (Espoo, Finland, June 1994), 31-42.
	19	Nancy G. Leveson, Safeware: system safety and computers, ACM Press, New York, NY, 1995
	20	N. G. Leveson , C. S. Turner, An Investigation of the Therac-25 Accidents, Computer, v.26 n.7, p.18-41, July 1993 [doi>10.1109/MC.1993.274940]
	21	B. Littlewood. Software Reliability Model for Modular Program Structure. IEEE Transactions on Reliability 28, 3 (August 1985), 241-246.
	22	B. Littlewood , D. R. Miller, Conceptual Modeling of Coincident Failures in Multiversion Software, IEEE Transactions on Software Engineering, v.15 n.12, p.1596-1614, December 1989 [doi>10.1109/32.58771]
	23	Bev Littlewood , Peter T. Popov , Lorenzo Strigini , Nick Shryane, Modeling the Effects of Combining Diverse Software Fault Detection Techniques, IEEE Transactions on Software Engineering, v.26 n.12, p.1157-1167, December 2000 [doi>10.1109/32.888629]
	24	Bev Littlewood , Lorenzo Strigini, Validation of ultrahigh dependability for software-based systems, Communications of the ACM, v.36 n.11, p.69-80, Nov. 1993 [doi>10.1145/163359.163373]
	25	Michael R. Lyu, Handbook of software reliability and system reliability, McGraw-Hill, Inc., Hightstown, NJ, 1996
	26	D. A. Norman. The Design of Everyday Things. Doubleday, 1990.
	27	Raymond R. Panko , Richard P. Halverson Jr, Spreadsheets on Trial: A Survey of Research on Spreadsheet Risks, Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS) Volume 2: Decision Support and Knowledge-Based Systems, p.326, January 03-06, 1996
	28	D. Powell, Failure Mode Assumptions and Assumption Coverage, in Proc. FTCS-22 (Boston, Massachusetts, USA, 1992), 386-395.
	29	J. Reason. Human Error. Cambridge University Press, 1990.
	30	M. L. Shooman, Avionics software problem occurrence rates, Proceedings of the The Seventh International Symposium on Software Reliability Engineering (ISSRE '96), p.55, October 30-November 02, 1996
	31	N. J. Ward, The static analysis of safety critical software using MALPAS, in Proc. SAFECOMP'89 (Vienna, Austria, December 1989), 91-96.

CITED BY 10

	Mary Jean Harrold, Testing: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.61-72, June 04-11, 2000, Limerick, Ireland
	Wen-Kui Chang , Shuen-Lin Jeng, Impartial evaluation in software reliability practice, Journal of Systems and Software, v.76 n.2, p.99-110, May 2005
	Somo Banerjee , Chris A. Mattmann , Nenad Medvidovic , Leana Golubchik, Leveraging architectural models to inject trust into software systems, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	H. Schmidt, Trustworthy components-compositionality and prediction, Journal of Systems and Software, v.65 n.3, p.215-225, 15 March 2003
	Liang Zhao, A new approach for software testability analysis, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Michael R. Lyu, Software Reliability Engineering: A Roadmap, 2007 Future of Software Engineering, p.153-170, May 23-25, 2007
	Heinz Schmidt , Iman Poernomo , Ralf Reussner, Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures, Journal of Integrated Design & Process Science, v.5 n.3, p.25-51, August 2001
	Genaina Nunes Rodrigues, A Model Driven Approach for Software Systems Reliability, Proceedings of the 26th International Conference on Software Engineering, p.30-32, May 23-28, 2004
	Jan Ploski , Matthias Rohr , Peter Schwenkenberg , Wilhelm Hasselbring, Research issues in software fault categorization, ACM SIGSOFT Software Engineering Notes, v.32 n.6, November 2007
	Jung-Yu Lai , Wei-Heng Chen, Measuring e-business dependability: The employee perspective, Journal of Systems and Software, v.82 n.6, p.1046-1055, June, 2009