Abstract:Reconfiguration, a new technique to realize fault-tolerance and respond to changes in external environment, has been adopted in the design of Integrated Modular Avionics (IMA). The benefits brought to the system include: reducing the cost of hardware redundancy and improving system's ability to perform various tasks under different situations. The complexity of such reconfigurable system has made it difficult to ensure the safety of it. Traditional analysis approaches mainly focus on single component failure, suffering the potential to underestimate the influence of design flaw during system development and the interaction between components (e. g. human and automation). Furthermore, dynamic changes brought out by reconfiguration might affect not only the human operator, but also the organization in which the system developed.In this paper, an approach has been proposed to address the problem of safety of Avionics reconfiguration. System-Theoretic Process Analysis (STPA) has been used to perform hazard analysis. Focusing on the coordination between human operator and automation, we define two criteria which could be applied to decide autonomy level: 1) Failure Degree; 2) Time budget for mode change scenario. Furthermore, to identify the impact of dynamic changes to the safety of Avionics reconfiguration, System dynamics modeling has been taken to analyze and model the human factors (mental workload, situation awareness and complacency) behind the dynamic process. The analysis results could be used during system development, system operation and project revision process to ensure safety of reconfigurable Avionics system.

Model Driven Automated Testing for IMA Standard Compliance

Filling the Gap Between IMA Development and Safety Assessment Through Safety-Driven Model-Based System Engineering

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics

Automated Test Case Generation for Embedded Software Using Extended Interface Automata

An AADL-Based Modeling Method for ARINC653-Based Avionics Software

The IFBMDA: A Model for Mechanical Design Automation

A General Automatic Test System for Instruments in IC Equipment

Study on Resource Fusion for Integrated Modular Avionics System

A Modeling Methodology to Facilitate Safety-Oriented Architecture Design of Industrial Avionics Software.

A Test Model of Integrated Circuit Manufacture Equipment for Automatic Test System

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software

Performability Analysis of Avionics System with Multilayer HM/FM Using Stochastic Petri Nets

An Automated Test Generation Technique for Software Quality Assurance

Automated System-level Testing of Unmanned Aerial Systems

Research on Model-driven Software Testing

A Tool for Automatic Service Interface Testing

Modeling and Optimization in Distributed Integrated Modular Avionics

A New Approach to Improve Safety of Reconfiguration in Integrated Modular Avionics

Reliability Test of Aircraft Integrated Electronic Assemblies Based on Virtual Qualification Method

Interface-Based Automated Testing for Open Software Architecture.