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

Processes ◽  
2019 ◽  
Vol 7 (2) ◽  
pp. 117 ◽  
Author(s):  
Haiyong Dong ◽  
Qingfan Gu ◽  
Guoqing Wang ◽  
Zhengjun Zhai ◽  
Yanhong Lu ◽  
...  
Keyword(s):  
Safety Assessment ◽  
Functional Integration ◽  
Safety Analysis ◽  
System Model ◽  
Critical Systems ◽  
Model Based ◽  
Programming Process ◽  
Integrated Modular Avionics ◽  
Availability Assessment ◽  
Logical Architecture

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.

scholarly journals A Model-Based Approach to Optimizing Partition Scheduling of Integrated Modular Avionics Systems

Electronics ◽  
2020 ◽  
Vol 9 (8) ◽  
pp. 1281
Author(s):  
Pujie Han ◽  
Zhengjun Zhai ◽  
Lei Zhang
Keyword(s):  
Analytical Methods ◽  
Optimization Problem ◽  
Timed Automata ◽  
System Model ◽  
Parallel Genetic Algorithm ◽  
Statistical Model Checking ◽  
Convex Optimization Problem ◽  
Temporal Partitioning ◽  
Model Based ◽  
Integrated Modular Avionics

The architecture of Integrated Modular Avionics (IMA) provides airborne software with a robust temporal partitioning mechanism, which achieves the reliable fault containment between avionics applications. However, the partition scheduling of an IMA system is a complex nonlinear non-convex optimization problem, making it difficult to solve the optimal temporal allocation for partitions using traditional analytical methods. This paper presents a model-based approach to optimizing the partition scheduling of IMA systems, whose temporal behavior is modeled as a network of timed automata. Given a system model, the optimizer employs a parallel genetic algorithm to search for the optimal partition resource parameters with respect to minimum processor occupancy. For each promising parameter combination, the schedulability constraints and processor occupancy of the system are precisely evaluated by Classical and Statistical Model Checking (i.e., CMC and SMC), respectively. We also apply SMC hypothesis testing to the fast falsification of non-schedulable solutions, thereby speeding up the schedulability verification based on CMC. Two case studies demonstrate that our proposed approach outperforms classical analytical methods on the processor occupancy of typical IMA systems.

Translate the Stateflow Models into Alloy for Safety Analysis

2014 ◽  
Vol 490-491 ◽  
pp. 1702-1705
Author(s):  
Chang Chang Cui ◽  
Guo Qi Li
Keyword(s):  
Safety Analysis ◽  
Specification Language ◽  
Software System ◽  
Structural Constraints ◽  
Critical Systems ◽  
Model Based ◽  
Systems Model ◽  
Complex Structural ◽  
And Behavior ◽  
Translation Systems

Safety analysis is widely appreciated for critical systems. Model-based safety analysis is emerged under the background of mode-based development. For automated model-based safety analysis, extended models should be translated into script of input of formal analyzer. Consequently, many translation systems are constructed. In this paper, we explore the translating method between Stateflow models and Alloy, which is a declarative specification language for expressing complex structural constraints and behavior in a software system. Concrete translation systems could be built based on the method.

An Online Quantified Safety Assessment Method for Train Service State Based on Safety Region Estimation and Hybrid Intelligence Technologies

2015 ◽  
Vol 25 (03) ◽  
pp. 493-511
Author(s):  
Yong Qin ◽  
Shan Yu ◽  
Yuan Zhang ◽  
Limin Jia ◽  
Xiaoqing Cheng
Keyword(s):  
Safety Assessment ◽  
Safety Analysis ◽  
Assessment Method ◽  
Rolling Bearings ◽  
Safety Risk ◽  
Hybrid Intelligence ◽  
Local Mean ◽  
Interval Type ◽  
Service State

Facing the important issues of safety analysis and assessment for the train service state, an online quantified safety assessment method based on the safety region estimation and hybrid intelligence technologies was proposed in this paper. First, the previous researches on the safety analysis and assessment were briefly reviewed for the train itself and its key equipment, and the existential problems were further pointed out. Then, using the safety monitoring data and the safety region estimation theory, a new online safety assessment method with data-driven was put forward, which was followed by a detailed description of the concrete implementation steps including the EMD (Local Mean Decomposition) and EM (Energy Moment) based safety risk evaluation index selection, Interval Type 2 Fuzzy C-Means (IT2FCM) clustering based safety region boundary calculation modeling and safety risk grading. Finally, in order to verify its performance through experiments, the above method was applied in analyzing and evaluating service states of the rolling bearings, the key equipment of the train, on the basis of mass field data. The experimental results indicate that this method is valid.

Integrated safety analysis of software-controlled critical systems

2010 ◽  
Vol 35 (1) ◽  
pp. 1-7 ◽  
Author(s):  
Ben Swarup Medikonda ◽  
P. Seetha Ramaiah
Keyword(s):  
Safety Analysis ◽  
Critical Systems
Sign in / Sign up

Export Citation Format

Share Document