Safety-critical systems, formal methods and standards

@article{Bowen1993SafetycriticalSF,
  title={Safety-critical systems, formal methods and standards},
  author={Jonathan P. Bowen and Victoria Stavridou},
  journal={Softw. Eng. J.},
  year={1993},
  volume={8},
  pages={189-209}
}
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. The paper examines the industrial use of these techniques, the recommendations concerning formal methods in a number of current and draft standards, and comments on the applicability… 

Tables from this paper

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 practice of formal methods in safety-critical systems

Design of software for safety critical systems

TLDR
The attempt would be to draw lessons from the various research efforts that have gone in towards the development of robust/reliable software for safety-critical systems and the notion of safety in the context.

System and Software Safety in Critical Systems

TLDR
There are a number of approaches to enhancing safety in safety-critical control systems with particular emphasis on systems with software in the controlling system.

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.

How to design and test safety critical software systems

TLDR
In this paper, any system whose failure can catastrophically impact human lives, environment and equipment can be called as safety critical system and these kinds of risks are handled using safety engineering techniques elaborated.

A Formal Expression of the Safety and Functional Requirements of a Safety-Critical System

TLDR
The work of the EC funded DRIVE Safely project and some of the recommendations for development and production of safe Road Traffic Informatic systems are overviews and the implications of the lack of "formal methods technology" on the choice of a formal specification method for safety-critical systems are discussed.

Critical Systems and Software Risk to Public Safety: Issues and Research Directions

TLDR
A bird’s eye view of the impact of software failures on human society is given, issues and concerns in this area of software engineering are outlined, and future research directions to address these issues are highlighted.

Decomposition in Real-Time Safety-Critical Systems

TLDR
A formal development method in which specifications may be decomposed into unexceptional programs whilst preserving the functional and timing requirements of the specification is described.
...

References

SHOWING 1-10 OF 218 REFERENCES

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.

Formal Methods and Software Safety

Formal verification of safety‐critical systems

TLDR
The experiment involved demonstrating the consistency of the design specifications of SIFT, a software‐implemented fault‐tolerant operating system for aircraft flight control, using the enhanced HDM verification system.

Formal Methods for the Speci cation and Design of Real-Time Safety Critical Systems

TLDR
This paper surveys formal methods for specifying, designing and verifying real-time systems, so as to improve their safety and reliability.

Rationale for the development of the UK defence standards for safety-critical computer software

  • M.J.D. Brown
  • Computer Science
    IEEE Aerospace and Electronic Systems Magazine
  • 1990
TLDR
The way in which the changes have influenced the preparation of the new draft defence standards offered for public debate in the UK prior to their formal adoption by the Ministry of Defence is discussed.

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems

TLDR
This chapter discusses the use and relevance of formal methods and structured methods for the development of safety-critical systems.

Assessment of safety-critical software in nuclear power plants

TLDR
An approach in the design, documentation, and evaluation of computer systems that enables the systematic comparison of the program behavior with the engineering specifications of the computer system is outlined.

Some verification tools and methods for airborne safety-critical software

TLDR
A practical approach is to meet safety-critical criteria by procedurally formal verification in line with the Radio Technical Commission for Aeronautics and the European Organisation for Civil Aviation Electronics common revised (1985) guidelines on the software aspects of certification of airborne systems, using a comprehensive automated test converage analysis and partition breach analysis system.

An analysis of selected software safety standards

TLDR
There is little relationship between the degree of risk and the rigor of applicable standards, and recommendations are provided for a base standard for the assurance of high integrity software.
...