Transformation rules from AADL to improved colored GSPN for integrated modular avionics

Although integrated modular avionics (IMA) provides many advantages such as the reduced weight and higher efficiency for system operations, safety problems with correlations of system states come up due to its resource sharing mechanism. Correlations of system states contribute to the fault propagation in IMA systems. In other words, when a shared resource goes into an error state, components which have access to that resource may work in a failed state. Additionally, this process is dynamic during the system running. Model-based method is an adequate approach to analyzing system safety dynamically with correlations of system states. Architecture Analysis and Design Language (AADL) has advantage to model for embedded systems. However, it is quite limited to employ AADL dynamically for analyzing system safety. This paper seeks to translate the AADL models into improved colored GSPN models, which have advantage to simulate with system run-time properties such as time and event occurrence probabilities as well as other properties of system components. Furthermore, the paper focuses on this transformation process without any loss of key modeling elements including those properties mentioned above. Based on this work, subsequent analysis can be conducted. A case study is provided for indicating the application of these transformation rules.