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

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

iLOCK型计算机联锁开发中的需求开发管理 

根据CMMI模型和EN50128标准,结合i LOCK计算机联锁系统的开发过程,介绍了安全苛求系统开发过程中的需求开发和管理。
《铁道通信信号》  2016年 第11期 下载次数(43)| 被引次数(0)

基于项重写系统的联锁系统模型检测方法研究 

模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术,对于验证系统的正确性,具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法,采用基于项重写系统原理的Maude工具语言,对铁路联锁系统的站场进行形式化建模,通过其语法和语义定义各类约束和离散事件,构架联锁系统属性和行为。在模型建立...
《计算机工程与应用》  2014年 第03期 下载次数(53)| 被引次数(1)

基于模糊理论的安全计算机非严格输入方法研究 

随着中国城市化的加快,铁路网络不断密集化和客流量持续增加对列车运行控制系统提出了更高的要求。安全计算机作为列控系统的核心,其平台结构和应用逻辑越加复杂。未来安全计算机的一个重要发展趋势就是所需要处理的数据量呈指数增长。数据量的增长使得输入的模拟量数据不一致性问题更加突出,这给列控系统的安全与高效运行带来了极大挑战。当前...
北京交通大学  硕士论文  2019年 下载次数(17)| 被引次数()

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

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

基于时效质量鉴定成本的列车运行控制系统测试评估 

针对列车运行控制系统的质量安全测评工作,一般采用基于质量成本的评估方法。目前,已有的质量成本评估方法主要关注点在于追求降低测试质量成本,却忽略了项目对时效性的需求。引入时效维度,建立基于时效因子的测试质量成本评估模型,并应用于城市轨道交通列车运行控制系统的测试过程评估。利用自适应遗传算法寻找到的最优解表明,在满足时效性...
《城市轨道交通研究》  2016年 第09期 下载次数(31)| 被引次数(1)

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

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

安全完善度等级SIL的概念与划分原则研究 

安全完善度等级(Safety Integrity Level,SIL)是标识安全相关系统安全性要求的重要概念,它主要是根据系统安全功能一旦失效可能造成后果的严重程度及事故的发生频率进行划分.在轨道交通安全相关产品的设计开发过程中,需要根据SIL的高低确定设计开发团队的组成和所采用的设计方法,系统的安全防护措施等.目前,...
《北京交通大学学报》  2017年 第05期 下载次数(96)| 被引次数(1)

面向场景的列车控制系统安全性测试技术研究 

轨道交通列车控制系统因其高速、精准的控制行为,要求其构成的多系统间的并发行为逻辑准确,而在这种典型的分布、实时和并发的安全苛求系统中,交互行为的时序性成为系统功能、安全性的重要特征。场景是刻画并发、分布系统间动态行为的有效方法,常用于描述系统层行为的安全性需求和功能性需求,是软件系统架构建模的主要依据,基于场景刻画轨道...
青岛科技大学  硕士论文  2015年 下载次数(36)| 被引次数(1)

Petri网模型的FTA安全性分析 

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

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

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

一种基于场景模型的安全性分析方法 

本发明提出了一种基于场景模型的安全性分析方法,包括以下步骤:矛盾检测;修改和求精,获得一致的UML时序图描述;区分UML时序图中对象的并发行为序列与顺序行为序列;生成相应的有穷状态机模型;在LTSA中对系统的有穷状态机模型进行功能模拟,检测其功能行为是否满足系统的功能需求,若满足,则...
佛山市极加互动科技有限公司  中国专利  2018年 下载次数(0)| 被引次数(0)

铁路车站计算机联锁系统安全性分析 

铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的安全模型,为安全苛求系统的安全性分析与验证评估提供了一个完整的技术框架,具有理论及实际价值。
《软件导刊》  2017年 第04期 下载次数(72)| 被引次数(0)

基于GMP算法的安全计算机高速通信的容错设计湦 

安全计算机普遍采用分布式冗余结构但未有相应的容错管理机制,文章采用基于时间触发机制的通信方式,提出基于GMP(Group Membership Protocol)算法的高速通信容错机制。在2乘2取2结构的安全计算机平台上对容错机制进行了验证,结果表明,该机制对安全计算机通信的容错性有明显的优化效果。
《铁路计算机应用》  2018年 第03期 下载次数(34)| 被引次数()

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

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

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