The ethics of safety-critical systems

Communications of the ACM

Volumn 43, Issue 4, 2000, Pages 91-97

  Bowen, Jonathan P ^a  

^a LONDON SOUTH BANK UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001021434     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/332051.332078     Document Type: Article

References (12)

1. Aristotle. Ethics. Penguin Books, London, 1976.
2. Bowen, J.P. and Hinchey, M.G. High-Integrity Systems Specification and Design. FACIT series. Springer-Verlag, London, 1999.
3. Bowen, J.P. and Stavridou, V. Safety-critical systems, formal methods and standards. IEE/BCS Softw. Eng. J. 8, 4 (Jul. 1993), 189-209.
4. Gotterbarn, D., Miller, K. and Rogerson, S. Software engineering code of ethics is approved. Commun. ACM 42, 10 (Oct. 1999), 102-107.
5. Hall, J.A. Seven myths of formal methods. IEEE Softw. 7, 5 (Sept. 1990), 11-19.
6. The Hazards Forum. Safety-related systems: Guidance for engineers. The Hazards Forum (1995). London, U.K.; www.iee.org.uk/PAB/ SCS/hazpub.htm.
7. Leveson, N.G. Safeware: System Safety and Computers. Addison-Wesley, Reading, PA, 1995.
8. Leveson, N.G. and Turner, C.S. An investigation of the Therac-25 accidents. IEEE Computer 26, 7 (Jul. 1993), 18-41.
9. Lyons, J. L. ARIANE 5: Flight 501 failure. Report by the Inquiry Board, European Space Agency. (July 19, 1996); www.esrin.esa.it/ htdocs/tidc/Press/Press96/ariane5rep.html
10. Neumann, P.G. Computer Related Risks. Addison-Wesley, Reading, PA, 1995.
11. Thomas, M. Formal methods and their role in developing safe systems. High Integrity Syst. 1, 5 (1996), 447-451; www.iee.org.uk/PAB/SCS/ wrkshop1.htm.
12. The University of York. Safety critical systems engineering, system safety engineering: Modular MSc, diploma, certificate, short courses. 1999. The University of York, Heslington, U.K.; www.cs. york.ac.uk/MSc/SCSE/