Software safety and reliability

IEEE Potentials

Volumn 16, Issue 4, 1997, Pages 32-36

  Williamson, Gerald F ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AIR TRAFFIC CONTROL; COMPUTER CONTROL; FAILURE ANALYSIS; LINEAR ACCELERATORS; MICROCOMPUTERS; NUCLEAR INDUSTRY; RELIABILITY;

SAFETY CRITICAL SYSTEMS; SOFTWARE REUSE;

SOFTWARE ENGINEERING;

EID: 0031250943     PISSN: 02786648     EISSN: None     Source Type: Journal    
DOI: 10.1109/45.624340     Document Type: Article

References (22)

1. R. Baxtor Ambulance Dispatch System The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 17 39 2 16 October 1995 http:// catless.ncl.ac.uk/Risks/17.39.html
2. J. Bowen V. Stavridou Safety-Critical Systems, Formal Methods and Standards Software Engineering Journal December 1992
3. J. Bowen Formal Methods in Safety-Critical Systems Oxford University Computing Laboratory United Kingdom, Oxford 0X1 3QD
4. A. Coombes McDermid John P. Morris Requirements and Traceability University of York: Department of Computer Science United Kingdom, York Y01 5DD
5. P. Fenelon J. A. McDermid Fault Tree Analysis and Failure Modes, Effects and Criticality Analysis September 1990 University of York: Department of Computer Science United Kingdom, York YO1 5DD
6. R. Hoffman Air Traffic Computer Fails 104 Times in a Day The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 9 4 1 2 13 July 1989 http:/ /catless.ncl.ac.uk/Risks/9.04.html
7. R. Hoffman Fly-by-wire overview The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 9 4 4 5 13 July 1989 http://catless.ncl.ac.Uk/Risks/9.04.html
8. T. Jenkins London Ambulance Fiasco The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 13 88 3 29 October 1992 http://catless.ncl.ac.uk/ Risks/13.88, html
9. P. Ladkin NY Air Route Traffic Control Center Computer Failure The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 18 16 1 2 1 June 1996 http://catless.ncl.ac. uklRisks/18.16.html
10. N. G. Leveson F-22 Crash The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 13 46 1 2 2 May 1992 http://catless.ncl.ac.uk/ Risks/13.46.html
11. I. Peterson A Digital Matter of Life and Death Science News March 1988 http://catless.ricl.ac.uk/ Risks/8.5html
12. B. Randell London Ambulance Service The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 13 88 1 2 29 October 1992 http://catless.ncl.ac.uk/ Risks/13.88.html
13. B. Randell London Ambulance Service The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 13 89 5 7 2 November 1992 http://catless.ncl.ac.uk/Risks/ 13.89 html
14. B. Randell London Ambulance Service Inquiry Report The Risks Digest (ACM Forum on Risks to the Public in Computers and Related Systems) 14 48 2 10 7 April 1993 http://catless.ncl.ac.uk/ Risks/14.48.html
15. J. M Voas K. W. Miller Software Testability: The New Verification
16. J. M Voas K. W. Miller Dynamic Testability Analysis for Assessing Fault Tolerance
17. G. Myers The Art of Software Testing 1979 Wiley
18. Cobb Mills Engineering Software Under Statistical Quality Control IEEE Software 7 6 45 54 1990
19. Fetzer Program verification: The Very Idea Communications of the ACM 31 9 1048 1069 Sept. 1988
20. Jackson Software Requirements & Specifications 1995 ACM Press/Addison-Wesley
21. M. C. Paulk B. Curtis M. B. Chrissis C. V. Weber Capability Maturity Model for Software February 1993 Technical Report CMU/SEI-93-TR-24 ESC-TR-93-177 Carnegie Mellon University—Software Engineering Institute