轨道交通信号系统安全技术的发展和研究现状 

轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全,信号系统作为保证列车安全、正点、快捷、舒适、高密度不间断运行的重要技术装备在轨道交通系统中有着举足轻重的地位。随着计算机技术在轨道交通信号系统中的应用,原有的安全保障技术和方法已不能满足越来越高的安全要求。为了使相关研究人员了解和应用国外信号系统...
《中国安全科学学报》  2005年 第06期 下载次数(1133)| 被引次数(96)

Petri网模型的FTA安全性分析 

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统可靠性和安全性的一种有效方法。Petri网是并发系统有效的描述和分析工具,但Petri网自身的分析方法无法严格证明其模型满足模拟的系统安全性。该文提出一种用于Petri网模型的安全性分析方法,有效地结合故障树分析法和Petri网可达图分析的各...
《计算机工程》  2007年 第13期 下载次数(346)| 被引次数(16)

安全苛求系统的形式化开发方法 

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
《北方交通大学学报》  2002年 第06期 下载次数(218)| 被引次数(15)

列车运行控制系统安全保障与认证方法研究 

为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行。结合CENELEC国际标准和我国应用实践,提出以安全验证和确认为基础的安全保障与认证方法,将安全验证和确认的方法贯穿于系统研制开发生命周期内的每一个阶段,监控系统研制开发的每一个活动,评审系统研制开发的每一个文档...
《中国安全科学学报》  2010年 第12期 下载次数(315)| 被引次数(14)

基于模型检测的软件安全性验证方法 

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具...
《武汉大学学报(理学版)》  2010年 第02期 下载次数(477)| 被引次数(13)

分层结构热备冗余系统的可靠性分析 

热备冗余结构在安全苛求系统中应用广泛.智能化输入输出模块和逻辑处理模块的分离形成了分层结构,层内两个模块相互热备,层与层串联后实现系统功能.采用Markov分析方法,考虑模块失效率和维修率,对分层热备冗余系统的可靠性进行了研究.按照优先恢复系统功能的维修策略建立了系统状态转移图,并由此得出了系统可靠性计算方法.依据仿真...
《北京交通大学学报》  2011年 第06期 下载次数(85)| 被引次数(10)

基于改进DFTA的安全苛求系统可靠性分析 

针对传统可靠性分析方法容易忽视冗余多态性、可修复性等安全苛求系统特性问题,在形式化的系统可靠性建模中引入可修复因子,提出一种模块化动态故障树分析方法。在动态和静态相结合的模块化定量分析过程中,利用马尔可夫模型和顶事件发生概率逼近算法,有效避免动态故障树分析过程中的状态组合爆炸问题,提高安全苛求系统可靠性分析的可行性和实...
《计算机工程》  2009年 第15期 下载次数(159)| 被引次数(10)

联锁系统形式化模型的安全性评估 

根据联锁系统的事故危害度分类,有效地结合故障树分析法和Petri网可达图分析的各自优点,提出一种用于评估联锁系统Petri模型的安全性的方法,并通过实例验证其有效性。
《微电子学与计算机》  2007年 第08期 下载次数(134)| 被引次数(10)

基于COTS技术的2乘2取2安全计算机平台的研究 

随着计算机技术的发展,计算机被越来越多的用于安全苛求系统的控制,对安全计算机系统的研究形成了专门的分支。计算机的通用化和市场化,促使研究人员采用现货供应(Commercial-Off-The-Shelf,COTS)计算机产品构建安全计算机平台以替代价格高昂的专用计算机系统。 论文以基于通信的列车控制(...
北京交通大学  硕士论文  2008年 下载次数(325)| 被引次数(10)

基于场景分析的系统形式化模型生成方法 

采用形式化方法对系统的安全性进行分析与验证,是构造可靠安全软件系统的一个重要途径。当前的形式化安全分析方法,面临着系统的形式化建模难的问题。以铁路车站联锁系统中基本进路建立为例,提出基于场景分析的系统形式化模型生成方法。该方法首先采用OCL前/后置条件分析法对UML时序场景作一致性分析,然后将UML时序图中对象交互的行...
《计算机科学》  2012年 第08期 下载次数(153)| 被引次数(8)

安全苛求系统综合功能危险源分析方法的研究 

基于经典方法改进的安全分析方法—综合功能危险源分析(IFHA),综合了功能故障分析(FHA)、故障模式及影响分析(FMEA)、瞬时故障和可操作性研究(HAZOP)以及故障树分析(FTA)的分析原理,通过不同分析阶段结果的关联以及统一的故障树表示,保证系统分析全过程的一致性,克服了分别使用经典分析方法所出现的问题以及矛盾...
《铁路计算机应用》  2011年 第07期 下载次数(130)| 被引次数(8)

安全苛求系统下的嵌入式C语言程序调试技巧 

介绍安全苛求系统下的嵌入式C语言程序调试的技巧。总结安全苛求系统的编码和程序调试工作中的嵌入式C语言调试经验,介绍正式代码调试之前的3件准备工作,代码调试的 版本升级比较法 ,打印添加技巧以及其它调试技巧和经验。
《铁路计算机应用》  2014年 第06期 下载次数(46)| 被引次数(6)

基于XML的安全苛求系统测试脚本生成 

针对安全苛求系统(SCS)自动化测试中测试脚本规模大、结构复杂、难维护以及安全性测试需求的特点,提出一种基于XML的测试脚本自动生成方法。将XML作为测试脚本语言,使用SED模式设计SCS测试场景,采用FSM对SCS运营场景建模,设计一系列转换生成算法自动生成XML测试脚本,实现了SCS测试脚本自动化生成和验证,并成功...
《计算机应用》  2011年 第01期 下载次数(140)| 被引次数(6)

基于FAHP的构件安全性量化评估方法 

应用构件开发安全苛求系统时,需要对所选用的构件进行安全性评估。为此,以层次分析法为基础,设计模糊层次分析法(FAHP)以确定构件的节点权重,利用三角模糊数标识模糊信息,通过模糊隶属函数对节点信息进行相应处理。实例应用结果表明,该方法对构件的安全性评估效果较好。
《计算机工程》  2011年 第22期 下载次数(71)| 被引次数(4)

基于模糊逻辑的安全苛求系统失效模式与影响分析研究 

针对传统RPN(风险优先数)方法在安全苛求系统FEMA(失效模式与影响分析)过程中的不足,提出一种基于FRPN(模糊风险优先数)的新方案,即运用模糊逻辑理论进行定量的FMEA。通过运用模糊加权几何平均计算失效模式的FRPN,据此对失效模式的风险程度排序,寻找影响系统安全性的主要因素,并将其作为改善对象。最后将该方法应用...
《计算机应用与软件》  2011年 第12期 下载次数(123)| 被引次数(4)

共找到相关记录47条1234下一页