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

doi:10.1631/FITEE.2000428

Your Location：

Home >

Browse articles >

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

Special Section on Model-Driven Software Development for Cyber-Physical Systems | Updated：2022-05-19

- Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL
- 基于AADL的信息物理融合系统架构级特定风险建模与分析
- Frontiers of Information Technology & Electronic Engineering Vol. 21, Issue 11, Pages: 1607-1625(2020)
- Affiliations：
  
  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
- Author bio：
  
  Ming-rui XIAO, E-mail: xiaomingrui@mail.nwpu.edu.cn
  Yun-wei DONG, E-mail: yunweidong@nwpu.edu.cn
  [ "Qian-wen GOU, E-mail: gqwen@mail.nwpu.edu.cn" ]
  [ "Feng XUE, E-mail: xue-feng@sgepri.sgcc.com.cn" ]
  [ "Yong-hua CHEN, E-mail: chenyonghua@sgepri.sgcc.com.cn" ]
- Funds：
- DOI：10.1631/FITEE.2000428
  CLC： TP311
- Received：25 August 2020，
  
  Revised：2020-10-15，
  
  Published：2020-11
- Accepted：
Scan QR Code
Ming-rui XIAO, Yun-wei DONG, Qian-wen GOU, et al. Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL[J]. Frontiers of Information Technology & Electronic Engineering, 2020, 21(11): 1607-1625.
DOI：

Ming-rui XIAO, Yun-wei DONG, Qian-wen GOU, et al. Architecture-level particular risk modeling and analysis for a cyber-physical system with AADL[J]. Frontiers of Information Technology & Electronic Engineering, 2020, 21(11): 1607-1625. DOI： 10.1631/FITEE.2000428.

摘要

信息物理融合系统在安全攸关领域的重要性日益增强。为了在研发早期确保系统的可信属性，特定风险分析扮演了安全性评估工作中的重要角色。人为因素和物理环境是特定风险评估中最为重要的组成部分。因此，有必要综合考虑人和物理环境的行为特征进行安全性分析。为提高架构分析与设计语言（AADL）的建模能力，提出一种新的特定风险模型，同时提出一种基于架构的特定风险分析方法支持信息物理融合系统模型层面的安全性评估。为实现特定风险模型的定量分析，提出从特定风险模型到确定性随机Petri网模型的转换方法。以电力系统中的安全稳定控制系统为例，采用所提方法进行架构模型建模和特定风险分析。

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.

关键词

Keywords

references

A Banerjee , , , S Kandula , , , T Mukherjee , , , 等 . . BAND-AiDe: a tool for cyber-physical oriented analysis and design of body area networks and devices . . ACM Trans Embed Comput Syst , , 2012 . . 11 ( ( S2 ): ): 49 - - 77 . . DOI: 10.1145/2331147.2331159 http://doi.org/10.1145/2331147.2331159 . .

SY Bi . . Research on Tire Burst Safety Analysis Technology of Transport Category Aircraft . . MS Thesis, Nanjing University of Aeronautics and Astronautics, Nanjing, China , , 2017 . . .

China Institute of Building Standard Design & Research . . Technical Code for Protection of Building Electronic Information System Against Lightning. GB 50343-2012 . . National Standards of People's Republic of China , , 2012 . . .

J Delange , , , P Feiler . . Architecture fault modeling with the AADL error-model annex . . Proc 40 th EUROMICRO Conf on Software Engineering and Advanced Applications , , 2014 . . p.361 - - 368 . . DOI: 10.1109/SEAA.2014.20 http://doi.org/10.1109/SEAA.2014.20 . .

YW Dong , , , GR Wang , , , F Zhang , , , 等 . . Reliability analysis and assessment tool for AADL model . . J Softw , , 2011 . . 22 ( ( 6 ): ): 1252 - - 1266 . . DOI: 10.3724/SP.J.1001.2011.04014 http://doi.org/10.3724/SP.J.1001.2011.04014 . .

DI Gertman , , , HS Blackman . . Human Reliability and Safety Analysis Data Handbook , , : : New York, USA Wiley-Interscience , , 1994 . . .

Z Ji , , , YH Zhou , , , BC Wang , , , 等 . . Human-cyber-physical systems (HCPSs) in the context of new-generation intelligent manufacturing . . Engineering , , 2019 . . 5 ( ( 4 ): ): 624 - - 636 . . DOI: 10.1016/j.eng.2019.07.015 http://doi.org/10.1016/j.eng.2019.07.015 . .

J Kim , , , W Jung , , , SC Jang , , , 等 . . A case study for the selection of a railway human reliability analysis method . . Proc Int Railway Safety Conf , , 2006 . . p.22 - - 27 . . . .

B Kirwan , , , R Kennedy , , , S Taylor-Adams , , , 等 . . The validation of three human reliability quantification techniques-THERP, HEART and JHEDI: part Ⅱ-results of validation exercise . . Appl Ergon , , 1997 . . 28 ( ( 1 ): ): 17 - - 25 . . DOI: 10.1016/S0003-6870(96)00045-2 http://doi.org/10.1016/S0003-6870(96)00045-2 . .

XL Luo . . Human Factors in Flight (3 rd Ed.) , , : : Chengdu, China Southwest Jiaotong University Press , , 2017 . . .

MA Marsan , , , G Chiola . . On Petri nets with deterministic and exponentially distributed firing times . . In: Rozenberg G (Ed.), Advances in Petri Nets 1987. Springer-Verlag Berlin Heidelberg , , 1987 . . p.132 - - 145 . . DOI: 10.1007/3-540-18086-9_23 http://doi.org/10.1007/3-540-18086-9_23 . .

J Reason . . Human Error , , : : New York, USA Cambridge University Press , , 1990 . . DOI: 10.1017/CBO9781139062367 http://doi.org/10.1017/CBO9781139062367 . .

Society of Automotive Engineers . . Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, ARP4761 . . National Standards of the United States of America , , 1996 . . .

Society of Automotive Engineers . . Architecture Analysis and Design Language (AADL) Annex Volume 3: Annex E: Error Model Annex , , 2013 . . .

Society of Automotive Engineers . . Architecture Analysis & Design Language (AADL) AS5506C , , 2017 . . .

Q Wang , , , X Li , , , S Li , , , 等 . . Risks and risk control of wind power enterprises . . 13 th Int Conf on Natural Computation, Fuzzy Systems and Knowledge Discovery , , 2017 . . p.3070 - - 3075 . . DOI: 10.1109/FSKD.2017.8393275 http://doi.org/10.1109/FSKD.2017.8393275 . .

XM Wei , , , YW Dong , , , MM Yang , , , 等 . . Hazard analysis for AADL model . . Proc IEEE 20 th Int Conf on Embedded and Real-Time Computing Systems and Applications , , 2014 . . p.1 - - 10 . . . .

XM Wei , , , YW Dong , , , XL Li , , , 等 . . Architecture-level hazard analysis using AADL . . J Syst Softw , , 2018 . . 137 580 - - 604 . . DOI: 10.1016/j.jss.2017.06.018 http://doi.org/10.1016/j.jss.2017.06.018 . .

XM Wei , , , YW Dong , , , PP Sun , , , 等 . . Safety analysis of AADL models for grid cyber-physical systems via model checking of stochastic games . . Electronics , , 2019 . . 8 ( ( 2 ): ): 212 DOI: 10.3390/electronics8020212 http://doi.org/10.3390/electronics8020212 . .

A Zimmermann . . Modelling and performance evaluation with TimeNet 4.4. In: Bertrand N, Bortolussi L (Eds.), Quantitative Evaluation of Systems . . 14 th Int Conf on Quantitative Evaluation of Systems , , 2017 . . p.1 - - 4 . . . .

Y Zou . . Research on Fault Probability Model of Overhead Power Transmission Line Based on Environmental Factors . . MS Thesis, Huazhong University of Science and Technology, Wuhan, China , , 2015 . . .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰