Jonathan P. Bowen  Home/Search
Context Related
| cs.reading.ac.uk/pub/f...encress97.ps.Z jpbowen.com/pub/encress97.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: museophile.sbu.ac.uk/people/jp... (more) Homepages: J.Bowen |
Rate this article:      (best)Comment on this article |
Abstract: Safety-critical systems require the utmost care in their specification and design to avoid errors in their implementation, using state of the art techniques in a responsible manner. To do otherwise is at best unprofessional and at worst can lead to disastrous consequences. An inappropriate approach could lead to loss of life, and will almost certainly result in financial penalties in the long run, whether because of loss of business or because of the imposition of fines. Legislation and... (Update)
Context of citations to this paper: More
.... considered unethical not to apply both techniques in systems involving the highest levels of criticality where human lives may be at risk [8]. However, the potential symbiosis of formal method and testing is still be in its infancy. This paper presents some ideas of future...
.... highest integrity [12, 22] It is recommended practice for software engineers working on systems where safety or security is paramount [7]. Using the specification to prove or derive properties of the system is one way of exploring the behavior of the system without...
Cited by: More
Establishing Formal Regulatory Requirements for.. - Vilkomir, Bowen (2002) (Correct)
Combining Operational Semantics, Logic Programming and Literate.. - Bowen (2000) (Correct)
Bugs and Ethics - Bjork (2002) (Correct)
Active bibliography (related documents): More All
0.5: Two Papers On The Foundations Of Computer Ethics: Entropy As .. - Floridi, Sanders (2000) (Correct)
0.5: Computer Security and Human Values Interact - Miller (Correct)
0.3: A ProCoS Project Final Report: ESPRIT Basic Research project 7071 - Bowen, al. (1996) (Correct)
Similar documents based on text: More All
0.8: Generating Decompilers - Breuer, Bowen (1998) (Correct)
0.6: A Front-End Tool to Parse Z Specifications - Bowen, Breuer (1997) (Correct)
0.5: Hardware Compilation of the ProCoS Gas Burner Case Study using.. - Bowen (1996) (Correct)
Related documents from co-citation: More All
9: Industrial-Strength Formal Methods in Practice (context) - Hinchey, Bowen - 1999
7: Prentice Hall International Series in Computer Science (context) - Spivey, Notation et al. - 1992
6: High-Integrity System Specification and Design (context) - Bowen, Hinchey - 1999
BibTeX entry: (Update)
J. P. Bowen. The ethics of safety-critical systems. Communications of the ACM, 43(4):91--97, April 2000. http://citeseer.ist.psu.edu/bowen00ethics.html More
@article{ bowen00ethics,
author = "Jonathan Bowen",
title = "The Ethics of Safety-critical Systems",
journal = "Communications of the ACM",
volume = "43",
number = "4",
pages = "91-97",
year = "2000",
url = "citeseer.ist.psu.edu/bowen00ethics.html" }
Citations (may not include all citations):340 Software Engineering (context) - Sommerville - 1996
254 Book: Assigning Programs to Meanings (context) - Abrial - 1996
173 Safeware: System Safety and Computers (context) - Leveson - 1995
123 Seven myths of formal methods (context) - Hall - 1990
88 Software's chronic crisis (context) - Gibbs - 1994
62 Seven more myths of formal methods - Bowen, Hinchey - 1995
57 Computer Related Risks (context) - Neumann - 1995
54 formal methods and standards (context) - Bowen, Stavridou - 1993
53 Ten commandments of formal methods - Bowen, Hinchey - 1995
48 An investigation of the Therac-25 accidents (context) - Leveson, Turner - 1993
30 The industrial take-up of formal methods in safetycritical a.. - Bowen, Stavridou
30 Formal methods and their role in the certification of critic.. - Rushby
24 Formal Specification Notation (context) - Bowen, Hinchey et al.
21 Formal methods in safety-critical standards - Bowen
15 Formal methods and safety-critical standards (context) - Bowen, Hinchey - 1994
15 Software Engineer's Reference Book (context) - McDermid - 1991
9 A ProCoS II project final report: ESPRIT Basic Research proj.. - Bowen, Hoare et al. - 1996
9 Formal models and the specification process (context) - Bowen, Hinchey
7 The automation of proof: A historical and sociological explo.. (context) - MacKenzie - 1995
6 Formal methods: Epideictic or apodeictic (context) - Bowen, Stavridou - 1994
6 Computer software in civil aircraft (context) - de Montalk - 1993
4 volume 670 of Lecture Notes in Computer Science (context) - Woodcock, Larsen et al. - 1993
3 The Computer Science and Engineering Handbook (context) - Tucker, editor - 1997
3 Case Studies in Information and Computer Ethics (context) - Spinello - 1997
2 Ethical issues for computer scientists and engineers (context) - Johnson, Miller
2 Legal and Ethical Issues in Computing (context) - Baase, of et al. - 1997
1 Programming is an engineering profession (context) - Hoare
1 Formal development of safety-critial software systems in rai.. (context) - Dehbonei, Mejia - 1995
1 Fasten your safety belts (context) - Economist - 1997
1 The argument from knowing and not knowing in Plato's Theatet.. (context) - Crivelli - 1996
1 Translated by J (context) - Ethics, London - 1976
1 Making formal methods effective for professional software en.. (context) - Garlan - 1995
1 When scientists know sin (context) - Sagan - 1997
1 A History of Knowledge: Past (context) - van Doren - 1992
1 Safety-critical software (context) - Sommerville
1 URL: http://www (context) - Lyons, Flight et al. - 1996
1 Safety-related systems: Guidance for engineers (context) - Forum - 1995
1 Seven deadly sins (context) - Hinchey, Bowen
1 Formal methods and their role in developing safe systems (context) - Thomas - 1996
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC