The ethics of safety-critical systems

@article{Bowen2000TheEO,
  title={The ethics of safety-critical systems},
  author={Jonathan P. Bowen},
  journal={Commun. ACM},
  year={2000},
  volume={43},
  pages={91-97}
}
TheEthicsofSafety-CriticalSystemsJonathanP.BowenTheUniversityofReading,DepartmentComputerScienceWhiteknights,POBox225,Reading,BerksRG66AY,UKEmail:J.P.Bowen@reading.ac.ukURL:http://www.cs.reading.ac.uk/people/jpb/May1997AbstractSafety-criticalsystemsrequiretheutmostcareintheirsp eci cationanddesigntoavoiderrorsintheirimplementation,usingstateofthearttechniquesresp on-siblemanner.Todootherwiseisatb estunprofessionalandworstcanleadtodisastrousconsequences… 

Formalization and assessment of regulatory requirements for safety-critical software

TLDR
A new approach to the regulatory process is proposed, including the use of formal regulatory requirements as a basis for the development of software assessment methods, and the differences between prescriptive and nonprescriptive regulation are addressed.

Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems

TLDR
A new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical real-time control systems, and the Z notation is proposed.

Software Reuse in Safety-Critical Systems

TLDR
OOT concept closely related to typing is polymorphism, a principle that is used in OOT that has many definitions and examples of OOT typing are strong typing, weak typing, static typing, and dynamic typing.

High-Integrity System Specification and Design

TLDR
Different semantic abstraction functions make it possible to describe multiple views of the same equivalence class of systems, or similarly, impose different kinds of constraints on these systems.

Automated Validation for Synchronous Reactive Embedded Systems

TLDR
This thesis presents the design, implementation, and evaluation of SAGA, a prototype tool for the automated validation of synchronous reactive embedded systems, and takes is to generate relevant inputs to the system-under-test from a user-specified environment description, and to validate the resulting system behavior against user- specified safety properties.

Establishing Formal Regulatory Requirements for Safety-Critical Software Certification

TLDR
In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical control systems, and the Z notation is proposed.

Ethics Aspects of Embedded and Cyber-Physical Systems

TLDR
This article provides a framework for responsibility attribution based on the amount of autonomy and automation involved in AI based cyber-physical systems, allowing traceability of anomalous behaviors back to the responsible agents and identifying and separate the "responsibility" of the decision-making software from human responsibility.

Vulnerabilities and responsibilities: dealing with monsters in computer security

TLDR
The results of this paper enable computer experts to rethink their attitude towards security threats, thereby reshaping their practices, and provide an alternative anthropological framework for descriptive and normative analysis of information security problems, which does not rely on the objectivity of risk.

An architectural design for LAN-based web applications in a military mission- and safety-critical context

TLDR
The results suggest that web technology can be beneficial for mission- and safety-critical systems, like naval Combat Management Systems.

An exploration of the issues affecting the development of software-based safety-critical systems

TLDR
The techniques used to successfully combat faults; fault avoidance, fault elimination, fault tolerance, fault evasion, are examined and structured according to the relevant software development phase they are most applicable to.
...

References

SHOWING 1-10 OF 54 REFERENCES

Formal methods and their role in developing safe systems

An IEE/BCS Workshop was held in January 1995 to consider the role of formal methods in developing safety-related systems. Points of consensus reached include: that formal methods provide just one of

Ten Commandments of Formal Methods

TLDR
Through observations of many recently completed and in-progress projects, these guidelines that, if adhered to, greatly increase a project's chances for success are come up with.

Safety-critical systems, formal methods and standards

TLDR
The paper examines the industrial use of formal methods, the recommendations concerning formal methods in a number of current and draft standards, and comments on the applicability and problems of using formal methods for the development of safety-critical systems on an industrial scale.

Software engineering code of ethics is approved

TLDR
The exhaustive efforts of the ACM and IEEE–CS has resulted in the adoption of a code of professional practices for software engineers to consider—and use.

Safeware: System Safety and Computers

Will Tracz, our esteemed editor and Used-Program salesman, has written an entertaining, non-technical book dealing with the practice (and lack of) of software reuse. Its a collection of essays,

Computer-related risks

Formal methods in safety-critical standards

  • Jonathan P. Bowen
  • Computer Science
    Proceedings 1993 Software Engineering Standards Symposium
  • 1993
TLDR
The paper compares the recommendations given by a number of important existing and emerging standards and tries to identify future trends in this area.

The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective

TLDR
Safety-critical systems offer an application area where formal methods may be engaged usefully to the benefit of all and some of the issues concerned with the general acceptance of formal methods are discussed.

A ProCoS II Project Final Report: ESPRIT Basic Research project 7071

An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is

Computer software in civil aircraft

...