Frontiers of Information Technology & Electronic Engineering
>> 2020,
Volume 21,
Issue 11
doi:
10.1631/FITEE.2000428
Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL
Affiliation(s): School of Computer Science and Engineering, Northwestern Polytechnical University, Xi'an 710072, China; Nari Group Corporation/State Grid Electric Power Research Institute, Nanjing 210000, China; less
Received: 2020-08-25
Accepted: 2020-11-13
Available online: 2020-11-13
Next
Previous
Abstract
Cyber-physical systems (CPSs) are becoming increasingly important in safety-critical systems. (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 (PRM) to improve the modeling ability of the . 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.