CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
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.