Overview of Risk Mitigation for Safety-Critical Computer-Based Systems

This report presents a high-level overview of a general strategy to mitigate the risks from threats to safety-critical computer-based systems. In this context, a safety threat is a process or phenomenon that can cause operational safety hazards in the form of computational system failures. This repo...

Full description

Saved in:
Bibliographic Details
Published inNASA Center for AeroSpace Information (CASI). Reports
Main Author Torres-Pomales, Wilfredo
Format Report
LanguageEnglish
Published Hampton NASA/Langley Research Center 01.11.2015
Subjects
Aircraft safety
Operational hazards
Risk
Safety critical
System effectiveness
System failures
Online AccessGet full text

Cover

More Information
Summary:This report presents a high-level overview of a general strategy to mitigate the risks from threats to safety-critical computer-based systems. In this context, a safety threat is a process or phenomenon that can cause operational safety hazards in the form of computational system failures. This report is intended to provide insight into the safety-risk mitigation problem and the characteristics of potential solutions. The limitations of the general risk mitigation strategy are discussed and some options to overcome these limitations are provided. This work is part of an ongoing effort to enable well-founded assurance of safety-related properties of complex safety-critical computer-based aircraft systems by developing an effective capability to model and reason about the safety implications of system requirements and design.