Petri网模型的FTA安全性分析

杜军威; 徐中伟

首页> 中文期刊> 《计算机工程》 >Petri网模型的FTA安全性分析

Petri网模型的FTA安全性分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法.Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性.该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各自优点,并实际应用于联锁逻辑模型的安全性分析.

著录项

来源
《计算机工程》 |2007年第13期|16-1848|共4页
作者
杜军威; 徐中伟;
展开▼
作者单位

同济大学电子与信息工程学院;

上海;

200331;

青岛科技大学信息科学与技术学院;

青岛;

266061;

同济大学电子与信息工程学院;

上海;

200331;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
联锁逻辑; 故障树分析法; Petri网; 安全性分析;

相似文献

中文文献
外文文献
专利

1. 一种基于Petri网模型的系统动态安全性分析方法 [J] . 赵俊阁 ,刘玲艳 ,吴晓平 . 海军工程大学学报 . 2008,第006期
2. RBAC与SIP体系结合的PETRI网模型及安全性分析 [J] . 覃嘉 ,刘刚 ,吕玉琴 . 中国电子科学研究院学报 . 2008,第001期
3. 基于FTA-Petri网方法的拥挤踩踏事件分析 [J] . 赵义豪 ,刘英学 . 安全 . 2017,第002期
4. 基于Petri网建模与FTA的动车组受电弓故障诊断 [J] . 宋龙龙 ,王太勇 ,宋晓文 . 仪器仪表学报 . 2014,第9期
5. 基于FTA-Petri网的地铁火灾事故安全性研究 [J] . 何杰 ,张娣 ,张小辉 . 中国安全科学学报 . 2009,第10期
6. 基于FTA-Petri网的拥挤踩踏事件分析 [C] . 赵义豪 ,刘英学 . 中国职业安全健康协会2016学术年会 . 2016
7. 基于Petri网的RBAC模型安全性分析与冲突处理 [A] . 刘猛 . 2016

Petri网模型的FTA安全性分析

摘要

著录项

相似文献

相关主题

期刊订阅