This page has only limited features, please log in for full access.

Unclaimed
Zeyong Jiang
School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China

Honors and Awards

The user has no records in this section


Career Timeline

The user has no records in this section.


Short Biography

The user biography is not available.
Following
Followers
Co Authors
The list of users this user is following is empty.
Following: 0 users

Feed

Journal article
Published: 13 May 2020 in Processes
Reads 0
Downloads 0

With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such as configuration changes. Petri net is a widely used tool to conduct simulation analysis in many aspects. In this study, a model-based analyzing method with multiple constraints for the IMA dynamic reconfiguration process was proposed. First, several design constraints on the process were investigated. Second, the dynamic reconfiguration process was modeled based on the AADL. Then, a set of rules for the transition of the model from AADL to Petri net was generated, and the multi-constraints proposed were incorporated into Petri net for analysis. Finally, a simulation multi-constraint analysis with Petri net for the process of IMA dynamic reconfiguration was conducted. Finally, a case study was employed to demonstrate this method. This method is advantageous to the validity of IMA dynamic reconfiguration at the beginning of the system design.

ACS Style

Zeyong Jiang; Tingdi Zhao; Shihai Wang; Hongyan Ju. New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process. Processes 2020, 8, 574 .

AMA Style

Zeyong Jiang, Tingdi Zhao, Shihai Wang, Hongyan Ju. New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process. Processes. 2020; 8 (5):574.

Chicago/Turabian Style

Zeyong Jiang; Tingdi Zhao; Shihai Wang; Hongyan Ju. 2020. "New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process." Processes 8, no. 5: 574.

Journal article
Published: 25 April 2020 in Applied Sciences
Reads 0
Downloads 0

With the rapid development of high integrations in large complex systems, such as aircraft, satellite, and railway systems, due to the increasingly complex coupling relationship between components within the system, local disturbances or faults may cause global effects on the system by fault propagation. Therefore, there are new challenges in safety analysis and risk assessment for complex systems. Aiming at analyzing and evaluating the inherent risks of the complex system with coupling correlation characteristics objectively, this paper proposes a novel risk assessment and analysis method for correlation in complex system based on multi-dimensional theory. Firstly, the formal description and coupling degree analysis method of the hierarchical structure of complex systems is established. Moreover, considering the three safety risk factors of fault propagation probability, potential severity, and fault propagation time, a multi-dimensional safety risk theory is proposed, in order to evaluate the risk of each element within the system effecting on the overall system. Furthermore, critical safety elements are identified based on Pareto rules, As Low As Reasonably Practicable (ALARP) principles, and safety risk entropy to support the preventive measures. Finally, an application of an avionics system is provided to demonstrate the effectiveness of the proposed method.

ACS Style

Zeyong Jiang; Tingdi Zhao; Shihai Wang; Fuchun Ren. A Novel Risk Assessment and Analysis Method for Correlation in a Complex System Based on Multi-Dimensional Theory. Applied Sciences 2020, 10, 3007 .

AMA Style

Zeyong Jiang, Tingdi Zhao, Shihai Wang, Fuchun Ren. A Novel Risk Assessment and Analysis Method for Correlation in a Complex System Based on Multi-Dimensional Theory. Applied Sciences. 2020; 10 (9):3007.

Chicago/Turabian Style

Zeyong Jiang; Tingdi Zhao; Shihai Wang; Fuchun Ren. 2020. "A Novel Risk Assessment and Analysis Method for Correlation in a Complex System Based on Multi-Dimensional Theory." Applied Sciences 10, no. 9: 3007.