A Lifecycle Model for Airborne Safety-critical Software

摘要

Safety-critical software applications are those in which failure may result in possible catastrophic consequences on human life. These applications are widely used in a variety of fields and systems such as airborne systems, nuclear reactors' control, and medical diagnostic equipment. This article looks into safety-critical software embedded in airborne systems. It proposes a lifecycle model designed for the development of safety-critical software in aerospace and in compliance with the DO-178B standard.