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

Abstract

Many Cyber-Physical Systems (CPSs) are safety-critical systems and reconfigurable, such as Integrated Modular Avionics (IMA) systems that are required to reconfigure at runtime when some components fail. However, designing a safe reconfigurable IMA system is challenging. This paper proposes a safety-based software reconfiguration method for IMA systems at the architecture level. The software reconfiguration method integrates error events and hazard triggers into the reconfiguration process. By extending AADL, Error Model Annex (EMV2) and Hazard Model Annex (HMA) can describe the method. The runtime architecture is described using Architecture Analysis and Design Language (AADL) and EMV2. The architecture and software reconfiguration method are combined as a complete AADL model. To simulate the IMA system with the proposed reconfiguration method, mapping rules from an AADL model to Deterministic Stochastic Petri nets (DSPNs) are formulated. Finally, an IMA system is applied to demonstrate the applicability and effectiveness of our safety-based reconfiguration method.