Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL
- PDF / 891,029 Bytes
- 19 Pages / 595.276 x 841.89 pts (A4) Page_size
- 3 Downloads / 164 Views
2020 21(11):1607-1625
1607
Frontiers of Information Technology & Electronic Engineering www.jzus.zju.edu.cn; engineering.cae.cn; www.springerlink.com ISSN 2095-9184 (print); ISSN 2095-9230 (online) E-mail: [email protected]
Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL∗ Ming-rui XIAO‡1 , Yun-wei DONG‡1 , Qian-wen GOU1 , Feng XUE2 , Yong-hua CHEN2 1School
of Computer Science and Engineering, Northwestern Polytechnical University, Xi’an 710072, China
2Nari
Group Corporation/State Grid Electric Power Research Institute, Nanjing 210000, China
E-mail: [email protected]; [email protected]; [email protected]; [email protected]; [email protected] Received Aug. 25, 2020; Revision accepted Oct. 6, 2020; Crosschecked Oct. 15, 2020
Abstract: Cyber-physical systems (CPSs) are becoming increasingly important in safety-critical systems. Particular risk analysis (PRA) is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development. Human factors like the physical environment are the most important part of particular risk assessment. Therefore, it is necessary to analyze the safety of the system considering human factor and physical factor. In this paper, we propose a new particular risk model (PRM) to improve the modeling ability of the Architecture Analysis and Design Language (AADL). An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system. To simulate the PRM with the proposed PRA method, model transformation from PRM to a deterministic and stochastic Petri net model is implemented. Finally, a case study on the power grid system of CPS is modeled and analyzed using the proposed method. Key words: Human-cyber-physical system (HCPS); Particular risk analysis; Architecture Analysis and Design Language (AADL); Deterministic and stochastic Petri net (DSPN); Particular risk model https://doi.org/10.1631/FITEE.2000428 CLC number: TP311
1 Introduction The cyber-physical system is a safety-critical embedded system composed of human interaction, physical process, and computing process, which are integrated deeply with each other. It is also called the human-cyber-physical system (HCPS) (Ji et al., 2019). The computing process is constrained by human interaction and the physical process through perception, and the results of the computing process will affect human interaction and the physical process. In 2000, debris from an aircraft tire burst pen‡ *
Corresponding authors
Project supported by the State Power Grid Company Science and Technical Plan Project, China (No. 5100-201940008A-0-000) ORCID: Ming-rui XIAO, https://orcid.org/0000-0002-19269590; Yun-wei DONG, https://orcid.org/0000-0001-9882-9121 c Zhejiang University and Springer-Verlag GmbH Germany, part of Springer Nature 2020
etrated the fuel tank and ignited the engine, causing the hydraulic system to fail and eventually a crash (Bi, 2017). In 2009
Data Loading...
