LAPSE:2019.0607
Published Article
LAPSE:2019.0607
Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0
Haiyong Dong, Qingfan Gu, Guoqing Wang, Zhengjun Zhai, Yanhong Lu, Miao Wang
June 18, 2019
The integrated modular avionics (IMA) system is widely used in all classes of aircraft as a result of its high functional integration and resource utilization in developing advanced avionics systems. However, a series of challenges related to safety assessment exist in the background of the logical architecture for multi-message interactions of the IMA system. Traditional safety assessment methods are mainly based on engineering experience, and are difficult to reuse, incomplete, and even error-prone. Here we propose a method to assess the availability of the IMA system based on the thinking of model-based safety analysis. To aid the proposed method, we implement a tool to generate a AltaRica 3.0 file used to assess the IMA system model. The simulation results show that the proposed method makes the availability assessment fast, efficient, and effective. Moreover, we apply this method to the modification analysis of the IMA system under the condition of satisfying the safety requirement. Our study can enhance the safety assessment of safety-critical systems effectively, assist the design of IMA systems, and reduce the amount of errors during the programming process of the safety model.
Keywords
AltaRica 3.0, availability assessment, integrated modular avionics, model-based safety analysis
Subject
Suggested Citation
Dong H, Gu Q, Wang G, Zhai Z, Lu Y, Wang M. Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0. (2019). LAPSE:2019.0607
Author Affiliations
Dong H: School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China [ORCID]
Gu Q: China National Aeronautical Radio Electronics Research Institute, Shanghai 200233, China
Wang G: School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China; China National Aeronautical Radio Electronics Research Institute, Shanghai 200233, China; School of Aeronautics and Astronautics, Shanghai Jiao Tong University, Shan
Zhai Z: School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China
Lu Y: School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China
Wang M: School of Aeronautics and Astronautics, Shanghai Jiao Tong University, Shanghai 200240, China
[Login] to see author email addresses.
Journal Name
Processes
Volume
7
Issue
2
Article Number
E117
Year
2019
Publication Date
2019-02-25
Published Version
ISSN
2227-9717
Version Comments
Original Submission
Other Meta
PII: pr7020117, Publication Type: Journal Article
Record Map
Published Article

LAPSE:2019.0607
This Record
External Link

doi:10.3390/pr7020117
Publisher Version
Download
Files
[Download 1v1.pdf] (4.8 MB)
Jun 18, 2019
Main Article
License
CC BY 4.0
Meta
Record Statistics
Record Views
577
Version History
[v1] (Original Submission)
Jun 18, 2019
 
Verified by curator on
Jun 18, 2019
This Version Number
v1
Citations
Most Recent
This Version
URL Here
https://psecommunity.org/LAPSE:2019.0607
 
Original Submitter
Calvin Tsay
Links to Related Works
Directly Related to This Work
Publisher Version