Abstract:Software systems are becoming increasingly important in safety-critical areas. Designing safe software requires a significant emphasis on hazards in the early design phase of software development. In this paper, we propose a hazard analysis approach based on Architecture Analysis and Design Language (AADL). First, to make up the deficiencies of Error Model Annex (EMV2), we create Hazard Model Annex (HMA) to specify the hazard sources, hazards, hazard trigger mechanisms, and mishaps. By using HMA, a safety model can be built by annotating an architecture model with the error model and hazard model. Then, an architecture-level hazard analysis approach is proposed to automatically generate the hazard analysis table. The approach contains the model transformation from a safety model to a Deterministic Stochastic Petri Nets (DSPNs) model for calculating the occurrence probability of hazards and mishaps. In addition, we present the formal semantics for each constituent part of the safety model, define the model mapping rules, and verify the semantic preservation of the transformation. Finally, HMA is implemented to build safety models and two Eclipse plug-ins of our methodology are also implemented. A case study on a flight control software system has been employed to demonstrate the feasibility of our proposed technique. (C) 2017 Elsevier Inc. All rights reserved.

A Qualitative Safety Analysis Method for AADL Model

Study of Safety Analysis and Assessment Methodology for AADL Model

Architecture-level Hazard Analysis Using AADL.

Hazard Analysis for AADL Model

A Method for Constructing Fault Trees from AADL Models.

Automatic Generation of Component Fault Trees from AADL Models for Design Failure Modes and Effects Analysis

Analyzing Software Safety with AADL Error Model

QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model

AADL Vulnerability Modeling and Security Analysis Method

Design and Implementation of AADL Model Safety Assessment Tool

Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model.

Safety Analysis of AADL Models for Grid Cyber-Physical Systems Via Model Checking of Stochastic Games

An AADL Model-Based Safety Analysis Method for Flight Control Software

Finite automata models of software safety analysis

Design and Safety Analysis for System Architecture: A Breeze/ADL-Based Approach.

Formal Verification of AADL Models by Event-B.

A Model-based testing methodology for AADL model

On Reliability Analysis for Embedded Systems with AADL Behavior Model

A Hybrid Method of Redundancy System Reliability Analysis Based on AADL Models.

Embedded real-time system modeling and analysis using AADL

A Model-Based Testing for AADL Model of Embedded Software