基于CLPN的系统安全性分析方法OA北大核心CSTPCD
System Security Analysis Method Based on CLPN
随着安全性攸关系统的智能化、自动化发展,系统规模和复杂度急剧增加,传统基于链式/树式安全性因果模型的安全性分析方法在非线性致危因素、非失效致危因素分析方面存在很大的局限性,现代基于系统理论的安全性因果模型虽然在航空航天、核电能源等多个领域得到有效性验证,但目前该类方法尚缺乏严格统一的分析步骤和自动化分析工具.为此,提出复杂系统控制过程的建模工具——控制逻辑Petri网(CLPN),对控制过程中的活动及其之间的交互影响关系进行形式化描述,并对系统C…查看全部>>
With the development of intelligent and automated safety critical systems,the scale and complexity of these systems have increased significantly.Traditional security analysis methods based on chain/tree safety causal models have major limitations in terms of their ability to analyze nonlinear and non-failure hazardous factors.Although modern safety causal models based on system theory have been effectively validated in multiple fields such as aerospace and n…查看全部>>
余新胜;朱丹江;罗论涵
中国电子科技集团公司第三十二研究所,上海 201808中国电子科技集团公司第三十二研究所,上海 201808中国电子科技集团公司第三十二研究所,上海 201808
计算机与自动化
Petri网系统安全性安全性分析系统理论事故模型与过程控制逻辑Petri网
Petri netsystem securitysecurity analysisSystem Theory Accident Model and Process(STAMP)Control Logic Petri Net(CLPN)
《计算机工程》 2024 (10)
255-265,11
国家重点研发计划(2022YFB3104300).
评论