收藏本站
《北京交通大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

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

牛儒  
【摘要】: 对于一旦出现异常就有可能造成生命财产损失或环境破坏的安全苛求系统来说,安全是永恒的主题,采用科学、系统的安全分析方法对系统危险进行辨识、控制、跟踪是这一类系统的设计开发不可缺少的环节。进入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系统的安全设计提供依据。
【学位授予单位】:北京交通大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:N945.1

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前2条
1 李宪;基于UML的列控系统建模方法与验证工具集成[D];北京交通大学;2012年
2 付双;基于贝叶斯网络的CBTC故障诊断[D];北京交通大学;2012年
【参考文献】
中国期刊全文数据库 前2条
1 孟庆宇;;尼崎事故的反思[J];铁道知识;2006年04期
2 牛儒;唐涛;;基于CPN的CBTC地面数据通信系统仿真和分析[J];系统仿真学报;2008年17期
【共引文献】
中国期刊全文数据库 前10条
1 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
2 郝风田;赵平;;基于可靠度理论的地铁施工项目风险控制研究[J];地下空间与工程学报;2011年02期
3 邵志芳;钱省三;刘仲英;;基于Petrinet的半导体代工系统建模及案例研究[J];半导体技术;2006年11期
4 唐涛,郜春海,张方,刘波;高速铁路列车运行控制系统车载设备安全性设计[J];北方交通大学学报;1999年05期
5 王俊峰;高速列车控制数据无线传输的实时性及可靠性分析[J];北方交通大学学报;2000年05期
6 马连川,刘波;一种分布式三模冗余控制系统的实现[J];北方交通大学学报;2000年05期
7 刘中田;吕继东;孙伟亮;;CTCS-3级列控系统车地交互流程形式化建模与验证[J];北京交通大学学报;2011年02期
8 汪亚男,王明哲;赋时着色Petri网在建模仿真中的应用[J];兵工自动化;2005年01期
9 郭建章;王明哲;;基于Petri网的排队网分析方法[J];兵工自动化;2006年07期
10 韦雪洁;刘金梅;姚晓琼;李国洪;;CAN总线通信过程实时性能的仿真计算[J];兵工自动化;2008年06期
中国重要会议论文全文数据库 前10条
1 马维斌;陈东林;董彦非;;战备完好性模型分析[A];'2003系统仿真技术及其应用学术交流会论文集[C];2003年
2 马玉琨;陆彦辉;杨守义;;OFDMA系统中接纳控制的Petri网模型[A];第十届中国科协年会论文集(三)[C];2008年
3 彭道勇;刘春和;朱三可;赵韶平;;电子设备可靠性预计新方法PRISM综述[A];第十一届全国可靠性物理学术讨论会论文集[C];2005年
4 朱磊;胡仲翔;贾志成;腾家绪;;协同制造可靠性的计算机辅助分析系统[A];先进制造技术论坛暨第五届制造业自动化与信息化技术交流会论文集[C];2006年
5 李嵩;孟亚平;孙铁;刘海峰;;一种基于模型的信息安全风险评估方法[A];第二十次全国计算机安全学术交流会论文集[C];2005年
6 塔娜;刘慧;邵大欣;;网络系统可用度全面评估方法研究[A];中国企业运筹学[C];2009年
7 柳毓萍;周真;郭建英;;仪器仪表的可靠性预计方法及思考[A];2006年全国机械可靠性学术交流会论文集[C];2006年
8 聂北刚;李勤;;可靠性一具有时间概念的质量[A];2009年全国机械可靠性技术学术交流会暨第四届可靠性工程分会成立大会论文集[C];2009年
9 刘丽新;李玲玲;李志刚;;基于模糊层次分析法的继电器系统可靠性分配[A];2010年全国机械行业可靠性技术学术交流会暨第四届可靠性工程分会第二次全体委员大会论文集[C];2010年
10 刘广军;邰中奎;龙照飞;;基于任务成功概率的巡航导弹需求量确定[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 车建华;虚拟计算系统性能与可用性评测方法研究[D];浙江大学;2010年
3 赵亮;Web服务组合性能建模与分析[D];武汉大学;2009年
4 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
5 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
6 杨斯淇;危险货物运输管理流程优化与系统实现[D];吉林大学;2011年
7 樊少华;基于模糊理论的数控车床可靠性分配[D];吉林大学;2011年
8 魏领会;数控机床可用性耦合建模及影响度分析[D];吉林大学;2011年
9 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
10 徐高春;面向环保的高速全自动冷镦机优化研究与系统实现[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 宋国锋;鲍店煤矿副井提升系统可靠性研究[D];山东科技大学;2010年
2 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
3 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
4 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
5 李敬刚;基于活动信息传递的工作流验证的研究与实现[D];大连理工大学;2010年
6 吴凡;WFMS性能分析及动态任务分配的研究与实现[D];大连理工大学;2010年
7 刘秋明;基于解析法的大规模供电系统及电压骤降的可靠性评估[D];辽宁工程技术大学;2009年
8 邹峥;基于随机Petri网的软件可靠性分析研究[D];长沙理工大学;2010年
9 曾步辉;船舶电站自动控制系统原理及可靠性分析[D];大连海事大学;2010年
10 林洁;SRS-F01柔性制造教学系统的设计[D];苏州大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 霍利民,朱永利,范高锋,刘军,苏海锋;一种基于贝叶斯网络的电力系统可靠性评估新方法[J];电力系统自动化;2003年05期
2 王永强;律方成;;基于贝叶斯网络的电容型设备故障诊断方法[J];电力自动化设备;2009年12期
3 燕飞;唐涛;郜春海;;城市轨道交通安全评价体系研究[J];都市快轨交通;2010年03期
4 何小飞;童晓阳;周曙;;基于贝叶斯网络和故障区域识别的电网故障诊断研究[J];电力系统保护与控制;2010年12期
5 冀俊忠,刘椿年,沙志强;贝叶斯网模型的学习、推理和应用[J];计算机工程与应用;2003年05期
6 费胜巍;孙宇;师会超;;基于故障分析模型的贝叶斯网络构建及应用[J];计算机集成制造系统;2007年09期
7 熊光泽;常政威;桑楠;;可信计算发展综述[J];计算机应用;2009年04期
8 宋翠叶;杜承烈;李刚;;基于AADL的软件开发技术研究[J];计算机应用研究;2009年09期
9 张小伟;林知明;;高速列车故障诊断系统研究与设计[J];科技风;2010年12期
10 杨敬中;张广泉;;基于UML2.0的面向方面建模方法研究[J];苏州大学学报(工科版);2007年01期
中国博士学位论文全文数据库 前5条
1 邓野;CTCS-3测试仿真环境可视化关键技术的研究[D];北京交通大学;2010年
2 吕继东;列车运行控制系统分层形式化建模与验证分析[D];北京交通大学;2011年
3 黄友平;贝叶斯网络研究[D];中国科学院研究生院(计算技术研究所);2005年
4 高妍方;判别贝叶斯网络的学习算法及其应用研究[D];国防科学技术大学;2008年
5 林立新;SS7E电力机车电气系统的故障诊断技术研究[D];中南大学;2008年
中国硕士学位论文全文数据库 前10条
1 商晖;基于贝叶斯网络的CBTC系统安全分析[D];北京交通大学;2010年
2 左向晖;可信信道协议的设计与形式化验证[D];北京交通大学;2011年
3 吕审;NuSMV模型检测的研究及应用[D];武汉理工大学;2011年
4 燕昊;UML建模的形式化研究[D];兰州大学;2006年
5 刘金刚;CTCS3级列控系统仿真软件包的设计和实现[D];北京交通大学;2006年
6 李华;基于专家系统的SS4改型电力机车TPZ27型电子柜故障测试系统的研究[D];中南大学;2007年
7 张捷;基于贝叶斯网络的分布式商务数据挖掘模型研究[D];浙江工商大学;2007年
8 章慧;CTCS3级列控系统车载设备测试方法研究[D];北京交通大学;2007年
9 舒刚;人工智能方法在车站信号故障诊断中的应用与研究[D];北京交通大学;2008年
10 宋伟;广州地铁1号线故障诊断系统研究[D];北京交通大学;2008年
【相似文献】
中国期刊全文数据库 前10条
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期
中国重要会议论文全文数据库 前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 玉月王希财;开好班组安全分析会[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年
中国博士学位论文全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026