Architecture-led Requirements and Safety Analysis of an Aircraft Survivability Situational Awareness System
Abstract
Software cost in mission and safety-critical systems has been escalating exponentially due to high requirement error leakage into system integration. Furthermore, system tests are designed against a large percentage of ambiguous, missing, and incomplete requirements. The Architecture Centric Virtual Integration Process (ACVIP) is being investigated by the US Army to address these challenges. It is an adaptation of the System Architecture Virtual System Integration (SAVI) approach based on the SAE Architecture Analysis and Design Language (AADL). It is a model-based approach to detect and remove defects through virtual system integration and analysis. In this paper we describe an architecture-led approach to specification of verifiable requirements and to system safety analysis to improve the quality of requirements as well as safety hazards and their mitigation through derived requirements for a safety system. A primary objective of this approach is to achieve improved coverage of requirements and safety hazards.
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 2015
- Accession Number
- AD1026858
Entities
People
- Peter Feiler
Organizations
- Carnegie Mellon University