Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL  

作　　者：Ming-rui XIAO Yun-wei DONG Qian-wen GOU Feng XUE Yong-hua CHEN 

机构地区：[1]School of Computer Science and Engineering,Northwestern Polytechnical University,Xi’an 710072,China [2]Nari Group Corporation/State Grid Electric Power Research Institute,Nanjing 210000,China

出　　处：《Frontiers of Information Technology & Electronic Engineering》2020年第11期1607-1625,共19页信息与电子工程前沿（英文版）

基　　金：the State Power Grid Company Science and Technical Plan Project,China(No.5100-201940008A-0-0-00)。

摘　　要：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.

关 键 词：Human-cyber-physical system(HCPS) Particular risk analysis Architecture Analysis and Design Language(AADL) Deterministic and stochastic Petri net(DSPN) Particular risk model 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]