Bowen, J. P. The Ethics of Safety-Critical Systems. Communications of the ACM, Vol. 43, No. 4, April 2000, pp. 91--97.  Home/Search   Document Details and Download   Summary   ACM   TOC   Related Articles   Check

No context found.

Bowen, J. P. The Ethics of Safety-Critical Systems. Communications of the ACM, Vol. 43, No. 4, April 2000, pp. 91--97.

No context found.

Bowen, J.P., The Ethics of Safety-Critical Systems. Communications of the ACM, 43(4):91-- 97, April 2000.

.... The advantages of starting the development of a software system by writing its specification in a high level formal notation are well known for systems of the 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 implementing it. Devising executable prototypes (preferably automatically) from formal specifications is another important aspect of validation. The existence of a rapid ....

J. P. Bowen. The ethics of safety-critical systems. Communications of the ACM, 43(4):91--97, April 2000.

.... When formal methods are used in development, it is still very important to undertake testing, even if the amount of testing can be reduced [9] It could be 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 directions in the interplay of formal methods and testing. The panel session associated with this paper presents the views of a number of participants on the UK ....

J. P. Bowen. The ethics of safety-critical systems. Communications of the ACM, 43(4):91--97, April 2000.

....and assessment of a system or parts of a system (e.g. software) based on principles such as logical reasoning, set theory, abstract algebra or graph theory, that allow mathematical manipulation and proof of properties. Formal methods are especially recommended for safety critical applications [6], where high integrity is important. The designer of control system and software has an major responsibility for ensuring safety. The application of formal methods to safety critical systems from the point of view of designers, i.e. for system or software development, is considered in many ....

Bowen, J. P. The Ethics of Safety-Critical Systems. Communications of the ACM, Vol. 43, No. 4, April 2000, pp. 91--97.

....paper may be most applicable in high integrity systems [8] where correctness is paramount. For example, in safety critical applications, the non use of techniques for fault avoidance by engineers (as well as more traditional fault removal techniques such as testing) may even be deemed unethical [4]. Notes 1. Further information relevant to the subject matter of this paper may be found linked from the website of the Centre for Applied Formal Methods: http: www.cafm.sbu.ac.uk 2. For information on the United Nations University Institute for Software Technology (UNU IIST) see: ....

J.P. Bowen. The ethics of safety-critical systems. Communcations of the ACM, 43(4):91--97, April 2000.

....type of computer science course, where the author believes that formal methods should remain a core subject. Such students may end up programming the most critical applications [BH99] and should be educated to the highest level possible to help ensure their competence as future software engineers [Bow00a]. Acknowledgment: This paper was originally prepared as a working paper for the ITiCSE Working Group on Support for Teaching and Learning Formal Methods which met at the ITiCSE 2000 Conference on Innovation and Technology in Computer Science Education, Helsinki, Finland, 10 14 July 2000. ....

J. P. Bowen. The ethics of safety-critical systems. Communications of the ACM, 43(4):91--97, April 2000.

....and assessment of a system or parts of a system (e.g. software) based on principles such as logical reasoning, set theory, abstract algebra or graph theory, that allow mathematical manipulation and proof of properties. Formal methods are especially recommended for safety critical applications [6], where high integrity is important. The designer of the real time control system and software has the main responsibility for ensuring safety. The application of formal methods to safety critical systems from the point of view of designers, i.e. for system or software development, is considered ....

Bowen, J. P. The Ethics of Safety-Critical Systems. Communications of the ACM, Vol. 43, No. 4, April 2000, pp. 91--97.

.... The advantages of starting the development of a software system by writing its specification in a highlevel formal notation are well known for systems of the highest integrity [10, 22] It is recommended practice for software engineers work on systems where safety or security is paramount [6]. Using the specification to prove or derive properties of the system is one way of exploring the behaviour of the system without implementing it. Devising executable prototypes (preferably automatically) from formal specifications is another important aspect of validation. The existence of a ....

J. P. Bowen. The ethics of safety-critical systems. Communications of the ACM, 43(4):91--97, April 2000.

....type of computer science course, where the author believes that formal methods should remain a core subject. Such students may end up programming the most critical applications [6] and should be educated to the highest level possible to help ensure their competence as future software engineers [3]. ....

J. P. Bowen. The ethics of safety-critical systems. Communications of the ACM, 43(4):91--97, April 2000.

No context found.

Jonathan Bowen, The ethics of safety-critical systems, Communications of the ACM 43 (2000), no. 4, 91-97.

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