收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

一种基于失效传播模型的安全分析方法的研究

牛儒  
【摘要】: 对于一旦出现异常就有可能造成生命财产损失或环境破坏的安全苛求系统来说,安全是永恒的主题,采用科学、系统的安全分析方法对系统危险进行辨识、控制、跟踪是这一类系统的设计开发不可缺少的环节。进入21世纪后计算机系统正朝着深度融合计算、通信和控制技术,形成可控、可信的网络化物理设备系统的方向发展,系统的复杂性、动态性和混杂性特征显著增强,已经远远超出了人类对计算机控制系统的行为特征以及设计理论的认识程度,给系统安全分析带来了极大的挑战。 论文针对新一代安全苛求信息物理系统(Cyber Physical System, CPS)的特点,在深入分析了系统偏差行为的时序规律的基础上,定义了基于线性时间的失效传播时序逻辑(Failure Temporal Logic, FTL)系统。并将FTL系统引入失效传播转化符号(Failure Propagation Transformation Notation, FPTN)模型中,提出了Temporal-FPTN模型描述语言及其定性求解方法,为系统危险致因机理及演化规律的分析提供了更加准确、高效的分析方法。论文进一步研究了安全苛求CPS系统的行为、结构动态特征,提出了基于Temporal-FPTN模型的分层模块化动态安全分析(Hierarchical Component Based Dynamic Analysis, HiCBD)框架,从而有效降解了系统功能、结构的复杂性,同时也能够更好地契合系统开发生命周期的主要阶段。 论文的主要创新点如下: (1)针对传统安全分析方法对偏差行为时序特性描述的不足,提出了基于线性时间概念的FTL系统,用于偏差事件的时序关系描述。在此基础上深入研究并证明了FTL公式的约简法则。 (2)在传统安全分析方法FPTN模型中引入FTL系统,提出了Temporal-FPTN模型。并给出了Temporal-FPTN的高级文本描述,摆脱了模糊图形化描述对失效传播模型自动分析求解限制。 (3)提出了基于零压缩二元判决图(Zero-suppressed Binary Decision Diagrams, ZBDDs)的最小割集序列迭代(Minimal Cut Sequence, MCSQ)求解算法。利用ZBDD有效压缩了割集运算所需要的存储空间,提高了MCSQ搜索迭代的收敛速度。 (4)针对CPS系统功能和行为的复杂性问题,提出了一种基于Temporal-FPTN模型的分层安全分析框架——HiCBD框架,将平面Temporal-FPTN模型发展为分层模型。 论文最后以典型的安全苛求CPS系统——基于通信的列车运行控制(Communication Based Train Control, CBTC)系统为应用对象,采用HiCBD方法完成了CBTC系统的安全分析,得到了系统危险致因的MCSQ,并对于CBTC系统的开发提出了安全相关建议,为CBTC系统的安全设计提供依据。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 蔡善钰;秦山300MW核电站~(210)Po-Be启动源的设计和安全分析[J];同位素;1995年04期
2 朱友银;王志明;;南通市农村饮水安全分析[J];水文;2006年06期
3 李西金;;牡二电厂信息网络的安全分析与防范措施[J];科技信息;2006年01期
4 肖红光;王键;谭作文;吴义方;;一个代理盲签名体制的安全性分析[J];湘潭大学自然科学学报;2007年04期
5 何晓晗;;企业信息化建设中的安全分析[J];科技信息;2008年26期
6 陈景振;沈兆振;;声光报警装置在煤矿斜巷掘进中的应用[J];科技信息;2009年20期
7 陈晓梅;;浅谈办公局域网的安全分析及对策[J];科技资讯;2011年15期
8 王竹萍;谢琪;;一种新的基于智能卡的双向用户认证方案[J];杭州师范大学学报(自然科学版);2009年05期
9 郎格;王峥嵘;;工程地质学与环境保护[J];地质灾害与环境保护;1992年02期
10 马廷雷;;对自升式移动海洋石油平台拖航作业安全的探讨[J];今日科苑;2010年20期
11 马纪云;;信息安全—企业网络安全[J];科技资讯;2006年32期
12 袁宝林;;输配电线路的安全分析[J];科技信息(科学教研);2007年16期
13 赵燕丽;刘欣荣;;基于推理结构性的Aydos协议分析[J];科技信息;2009年35期
14 王晓敏;;浅析两种软件体系结构的安全风险评估方法[J];科技信息;2011年14期
15 万力;傅激扬;;气体透平直接循环高温气冷堆安全分析方法及应用[J];科技导报;2006年07期
16 赵丹;张春光;;企业内网安全问题分析与解决[J];科学大众;2007年02期
17 张乐乐;;数字签名加密技术的改进方案[J];科技资讯;2009年09期
18 戴礼豪;;输变电设施的电磁环境安全问题分析及防控[J];科技风;2009年22期
19 朱辉;李晖;杨加喜;王育民;;一种可证明安全的通用多信任域认证协议[J];武汉大学学报(信息科学版);2008年10期
20 程海英;冯志先;;某基坑开挖对邻近建筑物的影响分析[J];治淮;2011年08期
中国重要会议论文全文数据库 前10条
1 李瑞峰;胡蔷;;铁路工务管理信息系统的安全分析[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年
2 胡振中;张建平;;基于子信息模型的4D施工安全分析及案例研究[A];第六届全国土木工程研究生学术论坛论文集[C];2008年
3 黄尧邦;;我国煤矿安全形势分析及对策[A];全国金属矿山采矿新技术学术研讨与技术交流会论文集[C];2007年
4 邹劲军;孙福来;;机车检修和保养差错的安全分析与对策[A];人—机—环境系统工程创立20周年纪念大会暨第五届全国人—机—环境系统工程学术会议论文集[C];2001年
5 李瑞峰;胡蔷;;铁路工务管理信息系统的安全分析[A];快速提升铁路建设与装备现代化技术促进铁路跨越式发展——中国科协第五届青年学术年会第九分会场论文集[C];2004年
6 陈铁师;;地铁暗挖车站下穿污水管安全分析[A];城市地下空间开发与地下工程施工技术高层论坛论文集[C];2004年
7 宋英明;杨永伟;董建令;孔祥卫;;球床式高温气冷堆燃料球捕集装置临界安全分析[A];全国计算物理学会第六届年会和学术交流会论文摘要集[C];2007年
8 刘志猛;赵燕丽;;数字签名在一类认证和密钥协商协议中的应用和安全分析[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
9 张键红;;两种签密方案的安全分析[A];第七届全国信息隐藏暨多媒体信息安全学术大会论文集[C];2007年
10 李强;;加油站消防监督检查系统设计[A];自主创新与持续增长第十一届中国科协年会论文集(3)[C];2009年
中国博士学位论文全文数据库 前10条
1 牛儒;一种基于失效传播模型的安全分析方法的研究[D];北京交通大学;2010年
2 张立勇;软件源代码安全分析研究[D];西安电子科技大学;2011年
3 付万发;TBM氚系统的氚安全分析研究[D];中国工程物理研究院;2012年
4 银华强;高温堆甲烷蒸汽重整制氢系统的研究[D];清华大学;2006年
5 张键红;面向群体数字签名的理论与技术研究[D];西安电子科技大学;2004年
6 王金伟;鲁棒与半脆弱的数字水印研究[D];南京理工大学;2006年
7 徐精求;配电网抗灾变性分析及大面积断电快速恢复[D];西安科技大学;2008年
8 张磊;中国石油安全分析与对策研究[D];天津大学;2007年
9 陈晓冬;大跨桥梁侧风行车安全分析[D];同济大学;2007年
10 于秀辉;基于传播模型的数字“微内容”网络扩散研究[D];北京邮电大学;2011年
中国硕士学位论文全文数据库 前10条
1 郑跃明;无线局域网安全检测系统研究[D];中国科学技术大学;2010年
2 周贵堂;无线局域网密钥管理机制研究[D];福州大学;2006年
3 黄小锋;水资源系统安全分析理论研究[D];武汉大学;2005年
4 向勇;智能卡密钥管理研究及实现[D];西安电子科技大学;2007年
5 任少峰;黄冈地区露天采石场安全现状调查与对策研究[D];武汉理工大学;2009年
6 高丽梅;北京市快速路互通立交出入口安全分析研究[D];北京工业大学;2009年
7 刘美英;典型中小化工企业的安全管理模式研究[D];中南大学;2007年
8 李硕;钠冷堆瞬态安全分析方法与初步研究[D];华北电力大学(北京);2011年
9 汪文件;新世纪中国海洋方向安全分析[D];中共中央党校;2000年
10 李童;一种资源为中心的安全需求分析方法的研究与实现[D];清华大学;2011年
中国重要报纸全文数据库 前10条
1 玉月王希财;开好班组安全分析会[N];经理日报;2007年
2 龙再兵;细化安全分析 促进安全管理[N];人民铁道;2008年
3 赵琳;班组安全分析要注重质的提高[N];中华合作时报;2002年
4 陈晶晶;食品安全的卫士[N];国际商报;2006年
5 李涛;国家食药局召开食品安全分析预警系统建设工作座谈会[N];中国食品质量报;2008年
6 重庆 @Fei;微软的“自知之明”[N];电脑报;2002年
7 人民银行济南分行营业管理部 杨化军;金融网络的安全分析及设计[N];网络世界;2002年
8 连待待 记者 戴正聪;全国食品安全信用体系建设试点工作总结会召开[N];中国食品质量报;2008年
9 孙利伟 刘亚洲;牡丹江支队与勤务隐患“过不去”[N];人民武警;2007年
10 赵树友 (作者单位:贵州总队);搞好安全分析[N];人民武警;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978