Safety critical systems

TLDR

Safety‑critical systems are those whose failure can cause loss of life, property damage, or environmental harm, encompassing domains such as medical devices, aircraft flight control, weapons, and nuclear systems, and as more information systems become safety‑critical, future systems will be increasingly common, powerful, and security‑challenged. The study aims to identify the significant advances needed in specification, architecture, verification, and process to develop safety‑critical systems at scale with adequate dependability. The authors propose that advances in specification, architecture, verification, and process are required to develop safety‑critical systems at scale with adequate dependability.

Abstract

Safety-critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. Many modern information systems are becoming safety-critical in a general sense because financial loss and even loss of life can result from their failure. Future safety-critical systems will be more common and more powerful. From a software perspective, developing safety critical systems in the numbers required and with adequate dependability is going to require significant advances in areas such as specification, architecture, verification, and process. The very visible problems that have arisen in the area of information-system security suggests that security is a major challenge also.