New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process

Zeyong Jiang,Tingdi Zhao,Shihai Wang,Hongyan Ju

doi:10.3390/pr8050574

Abstract

With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such as configuration changes. Petri net is a widely used tool to conduct simulation analysis in many aspects. In this study, a model-based analyzing method with multiple constraints for the IMA dynamic reconfiguration process was proposed. First, several design constraints on the process were investigated. Second, the dynamic reconfiguration process was modeled based on the AADL. Then, a set of rules for the transition of the model from AADL to Petri net was generated, and the multi-constraints proposed were incorporated into Petri net for analysis. Finally, a simulation multi-constraint analysis with Petri net for the process of IMA dynamic reconfiguration was conducted. Finally, a case study was employed to demonstrate this method. This method is advantageous to the validity of IMA dynamic reconfiguration at the beginning of the system design.

Highlights

An avionic system is developed from a discrete one, to the federal one and to the integrated modular avionics (IMA)
Color set F1 represents whether the failure event occurred, and F2 the represents whether the initial state of times the system isdifferent affected
Analysis method is conducted in three steps—modeling, model transition, and simulation

Summary

Introduction

An avionic system is developed from a discrete one, to the federal one and to the integrated modular avionics (IMA). The system has more open and more complex architectures. The IMA system executes functions based on common functional modules (CFMs). In an IMA system, various software functions run on CFMs. The software system is highly integrated because of its complex structure. The IMA system is a complex system that has more open architectures, more widespread integration, more integrated functions, and high coupling between modules. Dynamic reconfiguration in this study pertains to software. The architecture of IMA software is introduced in this paper. The IMA core system contains several avionic racks. These racks contain CFMs and communication nets between them

Objectives

Results

Conclusion