Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA

Zhao, Changxiao; Dong, Lei; Li, Hao; Wang, Peng

doi:10.1155/2021/8875872

Cited by 8 publications

(4 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Zhao et al [6] propose a method to perform a safety assessment of Reconfigurable Integrated Modular Avionics (IMA) using STPA and UPPAAL. Starting from the control structure of the STPA analysis, they provide the STPA-UPPAAL modeling rules to elaborate the timed automata manually for the IMA controller.…”

Section: Related Workmentioning

confidence: 99%

“…Recently, there have been significant advances in assessing the information identified in the STPA analysis through the combination of STPA with NuSMV [5], UPPAAL [6], or Event-B [7]. Although these approaches provide ways to support the safety assessment of the systems, they rely on the expertise of the designer in UPPAAL, Event-B, or NuSMV.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Synthesis of a Controller Algorithm for Safety-Critical Systems

2022

View full text Add to dashboard Cite

Systems of today are becoming more complex; they have many levels of the control hierarchy, are software-intensive, use different networks, have increasing processing power, use a diversity of devices, and require more integration. Systems-Theoretic Process Analysis (STPA) is a technique that is being used to analyze the safety of those systems at the concept stage. For the design phase, STPA can be combined with SysML modeling activities, including simulation and formal verification of systems models to produce the control software more efficiently. However, for the design phase, when starting from the STPA analysis there is no support to elaborate the control algorithm. Building the control algorithm is one of the most difficult tasks in the design phase. We propose a method to synthesize the control algorithm for safetycritical systems from the STPA analyses and the functional requirements. Our method maps the control structure (STPA) into a block diagram (SysML), and it uses the STPA results to generate an initial state machine diagram (SysML) for automated controllers, actuators, and sensors. We use our method to generate the control algorithms for an Adaptive Cruise Control system. We evaluate the synthesized algorithms by performing model simulation and formal verification. This illustrates that our method is a systematic way to synthesize control algorithms that satisfy both safety and functional requirements.INDEX TERMS Safety, Systems Modeling Language, Model checking, Control system synthesis, System analysis and design.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Synthesis of a Controller Algorithm for Safety-Critical Systems

2022

View full text Add to dashboard Cite

show abstract

“…Based on AcciMap, a new system-theory-based model of accident causation was proposed by Leveson in 2004, namely, Systems-Theoretic Accident Model and Process (STAMP). 7 The model inherited the modeling approach of the socio-technical system 8 in AcciMap while providing a further extension of Rasmussen's hierarchical control structure. 6 In STAMP, the operational processes of socio-technical systems are viewed as control processes.…”

Section: Introductionmentioning

confidence: 99%

A hybrid methodology for knowledge organization and application of Chinese civil aviation regulations from mission safety support perspective

Niu,

Ma,

She

et al. 2023

Proceedings of the Institution of Mechanical Engineers, Part G:

View full text Add to dashboard Cite

Safety is one of the most important issues in aviation. Aviation regulations provide significant information pertinent to the safety design and operation of aircraft; however, this information has not been effectively used. It is difficult to precisely identify and obtain the necessary information due to massive and unstructured provisions. In this study, a hybrid methodology is proposed to realize knowledge system construction using Chinese Civil Aviation Regulations as the object of study. To realize structured knowledge organization and intelligent knowledge application for aviation regulations, the hybrid methodology integrates a semantic cohesion model, a knowledge recognition model, a knowledge organization model, and a knowledge application model. A knowledge system of aviation regulations is built using the hybrid methodology comprising all knowledge necessary for aviation safety. The system provides intelligent knowledge support for the safety analysis of aircraft from the perspective of control system, including the accurate positioning of control elements and thorough acquisition of control conditions. Experiments were conducted to confirm the accuracy of the proposed method, and the 56,853 knowledge triples contained in the knowledge system supported its reliability. A few examples of knowledge retrieval are provided, focusing on the interaction processes of socio-technical elements during aircraft missions. It takes only a few seconds to acquire the knowledge required for safety analysis. The examples show how the hybrid methodology and knowledge system can be utilized to increase the efficiency of safety analysis for socio-technical systems while advancing intelligent knowledge applications in the aviation domain.

show abstract

“…With the increasing demand for general computing power and comprehensive integration of avionics systems, integrated modular avionics (IMA) system is gradually replacing traditional federated avionics systems, which greatly realize the physical integration, functional integration, and management integration of avionics systems and reduce system weight and form an open system that can be easily updated [1][2][3][4]. Because of these advantages, IMA architecture is widely used in the system design of new-generation civil aircraft such as the B787, A380, and C919 [5,6]. The IMA system employs a shared resource platform to load software for hosted functions, and the shared mechanism simplifies the equipment development and validation process and improves resource utilization by assembling modular and common physical resources [7].…”

Section: Introductionmentioning

confidence: 99%

Research on Resource Allocation Method of Integrated Avionics System considering Fault Propagation Risk

Zhao

Zhang

Dong

et al. 2022

International Journal of Aerospace Engineering

Self Cite

View full text Add to dashboard Cite

The integrated modular avionics (IMA) system has coupled cross-linked support characteristics between physical resource entities and logical functions, and the existing resource allocation methods, which mainly consider system performance and resource utilization, do not consider the associated impact of fault propagation among resource entities. Aiming at the fault propagation risk in the resource allocation process of the IMA system, a hierarchical model of the IMA system is established. The fault propagation behavior caused by coupling association during the physical realization of the function layer logical architecture is analyzed, and the impact of different resource allocation methods on the fault propagation behavior is determined. Secondly, resource capacity constraints are established according to the resource requirement for hosted function, and the fault propagation risk model of the IMA system is constructed by considering the fault propagation impact factor, the relative importance of nodes, and the function safety criticality. The resource allocation method is evaluated according to the fault propagation risk model, and a heuristic algorithm is applied to optimize the resource allocation method of the IMA system. The simulation results show that the average propagation probability of the optimized resource allocation scheme decreases by 17.4%, and the overall fault propagation risk of the resource network decreases by 50.3%, indicating that the proposed resource allocation method can effectively improve the safety of the IMA system.

show abstract

Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA

Cited by 8 publications

References 25 publications

Synthesis of a Controller Algorithm for Safety-Critical Systems

Synthesis of a Controller Algorithm for Safety-Critical Systems

A hybrid methodology for knowledge organization and application of Chinese civil aviation regulations from mission safety support perspective

Research on Resource Allocation Method of Integrated Avionics System considering Fault Propagation Risk

Contact Info

Product

Resources

About