Next Article in Journal
An Integrated Delphi-AHP and Fuzzy TOPSIS Approach toward Ranking and Selection of Renewable Energy Resources in Pakistan
Next Article in Special Issue
A Novel Method for Gas Turbine Condition Monitoring Based on KPCA and Analysis of Statistics T2 and SPE
Previous Article in Journal
Development of 3D Finite Element Method for Non-Aqueous Phase Liquid Transport in Groundwater as Well as Verification
Previous Article in Special Issue
Profile Monitoring for Autocorrelated Reflow Processes with Small Samples
Article Menu
Issue 2 (February) cover image

Export Article

Open AccessArticle
Processes 2019, 7(2), 117; https://doi.org/10.3390/pr7020117

Availability Assessment of IMA System Based on Model-Based Safety Analysis Using AltaRica 3.0

1,*,†
,
2,†
,
1,2,3,†
,
1,†
,
1,†
and
3,†
1
School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China
2
China National Aeronautical Radio Electronics Research Institute, Shanghai 200233, China
3
School of Aeronautics and Astronautics, Shanghai Jiao Tong University, Shanghai 200240, China
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Received: 18 January 2019 / Revised: 17 February 2019 / Accepted: 20 February 2019 / Published: 25 February 2019
(This article belongs to the Special Issue Optimization for Control, Observation and Safety)
Full-Text   |   PDF [4922 KB, uploaded 25 February 2019]   |  
  |   Review Reports

Abstract

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. View Full-Text
Keywords: availability assessment; integrated modular avionics; model-based safety analysis; AltaRica 3.0 availability assessment; integrated modular avionics; model-based safety analysis; AltaRica 3.0
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).
SciFeed

Share & Cite This Article

MDPI and ACS Style

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. Processes 2019, 7, 117.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Processes EISSN 2227-9717 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top