Validation of ultrahigh dependability for software-based systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Validation of ultrahigh dependability for software-based systems

Full text

Pdf (4.39 MB)

Source

Communications of the ACM archive
Volume 36 , Issue 11 (November 1993) table of contents

Pages: 69 - 80

Year of Publication: 1993

ISSN:0001-0782

Authors

Bev Littlewood	City Univ., London, UK
Lorenzo Strigini	Italian National Research Council, Pisa, Italy

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 64, Citation Count: 21

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions 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/163359.163373 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	A A Abdel-Ghaly , P Y Chan , B Littlewood, Evaluation of competing software reliability predictions, IEEE Transactions on Software Engineering, v.12 n.9, p.950-967, Sept. 1986
	2	Adams, E.N. Optimizing preventive service of software products. IBM J Res. Develop, 28, I (1984), 2-14.
	3	Anderson, T., Barrett, P.A., Halliwell, D.N. and Moulding, M.R. Software fault tolerance: An evaluation IEEE Trans. Softw. Eng. SE-11, 12, (1985), 1502-1510.
	4	Avizienis, A. and Kelly, J.P.J. Fault tolerance by design diversity: Concepts and experiments. IEEE Comput. 17 (1984), 67-80.
	5	Barwise. J. Mathematical proofs of computer system correctness. Not. AMS 36 (Sept. 1989), 844-851.
	6	Bishop, P.G. and Pullen, F.D. PODS revisited-A study of software failure behavior. In Proceedings of the Eighteenth International Symposium on fault- Tolerant Computing, (Tokyo, Japan, 1988). pp.1-8.
	7	P A Currit , M Dyer , H D Mills, Certifying the reliability of software, IEEE Transactions on Software Engineering, v.12 n.1, p.3-11, Jan. 1986
	8	de Groot< M.H. Optimal Statistical Decisions. McGraw-Hill, New York, 1970.
	9	Federal Aviation Administration Advisory Circular, AC 25, 1309-IA.
	10	Garrick. B.J. The approach to risk analysis in three industries: Nuclear power, space systems, and chemical process. Reliability Eng. Syst. Safety 23 (1988), 195-205.
	11	Giloth. F.K. and prantzen, K.D. can the freliability of digital telecommunication switching systems be predicted and measured In proceedings of the Thirteenth International symposium on Fault-tolerant Computin, (Milano, Italy, 1983), pp. 392-397.
	12	Knight, J.C. and Leveson. N.G. An empircal study of failure probabilities in multi-version software. In proceedings of the Sixteenth International symposium on fault-Tolerant Computing (Vienna, Austria, 1986), pp. 165- 170.
	13	Nancy G. Leveson, Software safety in embedded computer systems, Communications of the ACM, v.34 n.2, p.34-46, Feb. 1991 [doi>10.1145/102792.102799]
	14	Littlewood, B. Limits toevaluation of software dependabillity. In software Reliabilityy and Metrics (Proceedings of Seventh Annual CSR Conference, Garmisch-Partenkirchen), N. Fenton and B. Littlewood. Eds. Elsevier, London. pp. 81-110.
	15	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]
	16	Miller, D.R. The role of statistical modeling and inferernce insoftware quality assurance. In Software Certification Elsevier, Barking, Essex, UK, 1989, pp. 135-152.
	17	David L. Parnas , A. John van Schouwen , Shu Po Kwan, Evaluation of safety-critical software, Communications of the ACM, v.33 n.6, p.636-648, June 1990 [doi>10.1145/78973.78974]
	18	Perrow, C. Normal Accidents--Living with High Risk Technologies, Basic Books, New York, 1984.
	19	Powell. D. Failure mode and assumption coverage. In Proceedings of the Twenty-Second International Aymposium on Fault-Tolerant Computing (Boston. Mass., 1992), pp. 186-395.
	20	RTCA Committee SC-176, Software Considerations in Airbornbe systems and Equipment Certification. Draft DO-178-B.7, July 27, 1992. RTCA, (Requirements and Technical Concepts for Aviation), 1140 Connecticut Ave, NW, Suite 1020, Washington DC 20036.
	21	RTCA/EUROCAE: (Radio Technical Commission for Aeronauticds and European Organization for Civil Aviation Electonics). Software Consideratopms om Airborne Systems and Equipment Certification, Doc. DO178A/EUROCAE ED-12A. 1985.
	22	Wainwright, N. Software aspects of digital computer based protection systems. Assessment Guide AG3, Nuclear Installations Inspectrorate, Issue 1 (draft), 1991.
	23	Wright, G. and Ayton, P. Judgemental Forecasting. Wiley and Sons, Chocjester. UK. 1987.

CITED BY 21

	Hong Zhu , Patrick A. V. Hall , John H. R. May, Software unit test coverage and adequacy, ACM Computing Surveys (CSUR), v.29 n.4, p.366-427, Dec. 1997
	Antonia Bertolino , Lorenzo Strigini, Using testability measures for dependability assessment, Proceedings of the 17th international conference on Software engineering, p.61-70, April 24-28, 1995, Seattle, Washington, United States
	Phyllis Frankl , Dick Hamlet , Bev Littlewood , Lorenzo Strigini, Choosing a testing method to deliver reliability, Proceedings of the 19th international conference on Software engineering, p.68-78, May 17-23, 1997, Boston, Massachusetts, United States
	Phyllis G. Frankl , Yuetang Deng, Comparison of delivered reliability of branch, data flow and operational testing: A case study, ACM SIGSOFT Software Engineering Notes, v.25 n.5, p.124-134, Sept. 2000
	Bev Littlewood , Peter Popov , Lorenzo Strigini, Modeling software design diversity: a review, ACM Computing Surveys (CSUR), v.33 n.2, p.177-208, June 2001
	Peter Amey , Roderick Chapman, Industrial strength exception freedom, ACM SIGAda Ada Letters, v.XXIII n.1, p.1-9, March 2003
	Bev Littlewood , Lorenzo Strigini, Software reliability and dependability: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.175-188, June 04-11, 2000, Limerick, Ireland
	Peter Amey , Roderick Chapman, Static verification and extreme programming, ACM SIGAda Ada Letters, v.XXIV n.1, p.4-9, March 2004
	Phyllis G. Frankl , Richard G. Hamlet , Bev Littlewood , Lorenzo Strigini, Evaluating Testing Methods by Delivered Reliability, IEEE Transactions on Software Engineering, v.24 n.8, p.586-601, August 1998
	Julian M. Bass , Adrian R. Browne , Mohamed S. Hajji , Derek G. Marriott , Peter R. Croll , Peter J. Fleming, Automating the Development of Distributed Control Software, IEEE Parallel & Distributed Technology: Systems & Technology, v.2 n.4, p.9-19, December 1994
	J. H. R. May , A. D. Lunn, A Model of Code Sharing for Estimating Software Failure on Demand Probabilities, IEEE Transactions on Software Engineering, v.21 n.9, p.747-753, September 1995
	Antonia Bertolino , Lorenzo Strigini, On the Use of Testability Measures for Dependability Assessment, IEEE Transactions on Software Engineering, v.22 n.2, p.97-108, February 1996
	Peter Popov , Lorenzo Strigini , John May , Silke Kuball, Estimating Bounds on the Reliability of Diverse Systems, IEEE Transactions on Software Engineering, v.29 n.4, p.345-359, April 2003
	Martyn Thomas, Engineering judgement, Proceedings of the 9th Australian workshop on Safety critical systems and software, p.43-47, October 01, 2004, Brisbane, Australia
	Adrian Hilton , Jon G. Hall, Developing critical systems with PLD components, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p.72-79, September 05-06, 2005, Lisbon, Portugal
	Bev Littlewood , David Wright, Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software, IEEE Transactions on Software Engineering, v.23 n.11, p.673-683, November 1997
	Matthew John Squair, Issues in the application of software safety standards, Proceedings of the 10th Australian workshop on Safety critical systems and software, p.13-26, August 25, 2005, Sydney, Australia
	Les Hatton, Empirical Test Observations in Client-Server Systems, Computer, v.40 n.5, p.24-29, May 2007
	Adalberto Nobiato Crespo , Mario Jino , Alberto Pasquini , José Carlos Maldonado, A binomial software reliability model based on coverage of structural testing criteria, Empirical Software Engineering, v.13 n.2, p.185-209, April 2008
	Ilir Gashi , Peter Popov , Lorenzo Strigini, Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers, IEEE Transactions on Dependable and Secure Computing, v.4 n.4, p.280-294, October 2007
	Kai-Yuan Cai , Bei-Bei Yin, Software execution processes as an evolving complex network, Information Sciences: an International Journal, v.179 n.12, p.1903-1928, May, 2009

INDEX TERMS

Primary Classification:
C. Computer Systems Organization
C.4 PERFORMANCE OF SYSTEMS
Subjects: Reliability, availability, and serviceability

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification
Subjects: Reliability; Validation

K. Computing Milieux
K.4 COMPUTERS AND SOCIETY
K.4.1 Public Policy Issues
Subjects: Human safety

General Terms:
Reliability

Keywords:
risk assessment, safety-critical systems, ultrahigh dependability

REVIEW

"Richard A. Baker, Jr. : Reviewer"

Littlewood and Strigini present a depressing summary of the use of software in ultrahigh-reliability applications. In situations where software must have a probability of failure less than 10^-9 more...

Collaborative Colleagues:

Bev Littlewood: colleagues

Lorenzo Strigini: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player