当前位置:
X-MOL 学术
›
Front. Inform. Technol. Electron. Eng.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
具有AADL的电子物理系统的体系结构级特定风险建模和分析
Frontiers of Information Technology & Electronic Engineering ( IF 2.7 ) Pub Date : 2020-11-20 , DOI: 10.1631/fitee.2000428 Ming-rui Xiao , Yun-wei Dong , Qian-wen Gou , Feng Xue , Yong-hua Chen
"点击查看英文标题和摘要"
更新日期:2020-11-21
Frontiers of Information Technology & Electronic Engineering ( IF 2.7 ) Pub Date : 2020-11-20 , DOI: 10.1631/fitee.2000428 Ming-rui Xiao , Yun-wei Dong , Qian-wen Gou , Feng Xue , Yong-hua Chen
在安全关键型系统中,网络物理系统(CPS)变得越来越重要。特定风险分析(PRA)是安全评估过程中必不可少的步骤,可确保在系统开发的早期阶段系统的质量。人为因素(例如物理环境)是特定风险评估中最重要的部分。因此,有必要考虑人为因素和物理因素来分析系统的安全性。在本文中,我们提出了一种新的特定风险模型(PRM),以提高体系结构分析和设计语言(AADL)的建模能力。提出了一种基于体系结构的PRA方法,以支持对电子物理系统的AADL模型进行安全评估。为了用提出的PRA方法模拟PRM,实现了从PRM到确定性和随机Petri网模型的模型转换。最后,利用该方法对CPS电网系统进行了案例分析。
"点击查看英文标题和摘要"