安全苛求软件的自动化测试技术研究 

安全苛求软件通常指应用在医疗、轨道交通、航空航天等场合的软件,往往复杂度很高而且有着严格的质量要求,它们一旦发生故障则可能会导致灾难性后果,因此必须经过大量充分地测试才能避免事故的发生。但手工测试是一项耗费大量人力财力的工程,因此,对安全苛求系统的自动化测试技术的研究有着重要的研究意义和工程价值...
浙江大学  硕士论文  2013年 下载次数(259)| 被引次数(4)

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

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

基于形式化方法的软件代码安全性验证技术 

随着计算机软件技术的快速发展,特别是在航空航天、交通运输、生物医疗等安全苛求系统中的应用越来越广泛,软件系统安全性、可靠性变得越来越重要,任何一个错误都可能带来灾难性的后果。因此,如何保障软件系统安全可靠性越来越受到人们的关注。 从软件`#~系统`@...
北京交通大学  硕士论文  2015年 下载次数(325)| 被引次数(0)

基于扩展UML模型的安全苛求系统的故障树生成方法 

本发明提供了一种基于扩展UML模型的安全苛求系统的故障树生成方法。该方法包括构造安全苛求系统的扩展UML模型;从所述扩展UML模型中提取安全苛求系统的结构关系信息,所述结构关系信息包括类图中的关联关系和基数信息;基于所述结构关系信息使用故障树生成算法生成所述安全苛求系统的...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

基于COTS部件构成的安全苛求系统进行故障注入测试的方法 

本发明实施例提供了一种基于COTS部件构成的安全苛求系统进行故障注入测试的方法。该方法包括:将构成安全苛求系统的COTS部件,按故障注入所需分类;对于分类使用的COTS部件采用对应的方式解除安全苛求系统实现时所设置的EMC保护措施;根据COTS部件使用的实际情况选择故障注入界面,确定...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

模型驱动开发在安全苛求系统中的应用 

主要探讨了安全苛求系统在新需求下,如何在提高软件功能安全性的同时保证软件的质量和可信性。首先分析了在典型领域内安全苛求系统开发的标准流程,然后提出了基于模型驱动开发(MDD)SCADE(安全苛求应用开发环境)工具的开发流程。目的是规范和指导领域内安全苛求系统中...
《城市轨道交通研究》  2016年 第S2期 下载次数(39)| 被引次数(2)

安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究 

摘要:随着计算机科学技术和中国铁路的飞速发展,计算机及软件在轨道交通系统中起着越来越重要的作用。软件的质量直接决定了整个轨道交通系统的质量,软件的故障可能会引发灾难性的后果以及造成无法估计的损失。软件测试能够最大限度地发现软件中的错误并减少软件中残留的隐患,因此,在轨道交通系统中,加...
北京交通大学  硕士论文  2012年 下载次数(254)| 被引次数(1)

一种基于场景模型的安全性分析算法研究 

为了确保安全苛求系统安全性,其开发过程中必须使用安全性分析技术。传统的安全性分析方法需要花费大量的时间和精力,分析的完整性和一致性难以保障,分析结果易于出错。本文提出一种基于场景模型的安全性分析算法,该算法从基于UML时序图的需求描述出发,生成`#~系统`@...
《铁道学报》  2012年 第11期 下载次数(204)| 被引次数(10)

基于失效致因模型的动态风险分析方法设计及应用 

安全苛求系统中,风险分析是系统安全性的评价指标。风险一般与事故发生频率以及造成的损失有关。事故的发生与设备故障,人因错误及组织管理都有关系。本文提出了包含技术、设备,人因及组织管理的动态风险分析方法,并构建了动态风险分析模型以及动态风险分析方法。 本篇论文的主要工作包括: 一、对`...
北京交通大学  硕士论文  2015年 下载次数(224)| 被引次数(1)

安全苛求软件的设计与开发方法研究 

随着城市信息化建设的不断推进,安全苛求系统的应用领域也越来越广泛,如航空航天、医疗、轨道交通等领域。在这些领域,安全苛求系统通常是功能密集型且逻辑复杂的,设计和开发难度大,生命周期长,成本高。本文针对轨道交通领域的基于通信的列车运行控制(CBTC,Communications Based Tra...
浙江大学  硕士论文  2013年 下载次数(142)| 被引次数(0)

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

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

使用基于脚本的故障注入测试安全苛求软件 

由于安全苛求软件直接关系人身和大宗财产的安全,为此需要对软件进行严格的安全性测试。提出了一个基于脚本语言的故障注入方法以期得到新的测试手段。此方法通过在故障环境下运行安全苛求软件检验其是否容错和故障安全,结果显示软件测试覆盖率和揭错能力均有增强。...
《电脑开发与应用》  2005年 第08期 下载次数(132)| 被引次数(1)

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

铁路车站计算机联锁系统是一种典型的安全苛求系统,重点是保障系统运营安全。对系统安全进行了分析,建立UML场景时序图,以此为基础建立系统的标号迁移模型,通过模型检测对系统进行安全性验证与分析,设计了系统的`#~安全...
《软件导刊》  2017年 第04期 下载次数(74)| 被引次数(0)

列车群卫星定位轨迹仿真系统研究 

列车的定位技术能够实时、正确的获得列车的定位信息,保障列车高效、安全的运行。基于全球卫星导航系统(GNSS, Global Navigation Satellite System)的列车定位技术,能够削减轨旁的装置设备,因其以较低的成本达到互操作性和安全性的目标而获得了很大的发展。国...
北京交通大学  硕士论文  2015年 下载次数(171)| 被引次数(3)

基于Petri网的构件软件系统的安全性分析 

近年来,在中间件技术的基础上,结合软件复用和面向对象的思想,构件化设计和开发作为一种提高软件生产率和软件质量的有效途径,并在实践中得到广泛应用。目前,基于构件的软件开发方法已开始逐渐应用到安全苛求领域,诸如核电站、航空航天、工业控制、交通管制、军事领域和金融安全等方面。应用于这些领域的软件`#~...
太原科技大学  硕士论文  2011年 下载次数(177)| 被引次数(1)

共找到相关记录68条12345下一页