安全苛求通信系统的形式化建模及验证 

随着计算机、通信和控制技术的深度融合以及通信技术的飞速发展,通信在铁路信号、航空航天等这些安全苛求的控制领域中起到越来越重要的作用。对高速铁路列车运行控制系统这类安全完整性等级要求极高、且具有大量安全相关通信传输需求的安全苛求控制系统,把`#~安全...
中国铁道科学研究院  博士论文  2011年 下载次数(128)| 被引次数(3)

基于列控系统的扩展UML模型设计及故障树求解算法 

安全苛求系统对组成系统的软件和硬件安全级别要求很高,其出现故障后可能会导致重大的生命、财产损失。为了避免人员伤亡、降低经济损失,安全苛求系统在设计和研发过程中必须慎之又慎。安全苛求系统通常采用冗余配置来增强系统的可靠性,但是冗余结构同时也使得`#~...
北京交通大学  硕士论文  2015年 下载次数(170)| 被引次数(6)

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

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

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

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

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

对于一旦出现异常就有可能造成生命财产损失或环境破坏的安全苛求系统来说,安全是永恒的主题,采用科学、系统安全分析方法对系统危险进行辨识、控制、跟踪是这一类系统的设计开发不可缺少的环节。进入21世纪后计算机系统正朝着深度融合计...
北京交通大学  博士论文  2010年 下载次数(735)| 被引次数(24)

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

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

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

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

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

本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应...
北京交通大学  中国专利  2015年 下载次数(0)| 被引次数(1)

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

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

安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务...
北京交通大学  中国专利  2019年 下载次数(0)| 被引次数(0)

安全苛求系统时间确定性实现方法 

本发明实施例提供了一种安全苛求系统时间确定性实现方法。该方法主要包括:基础时钟、基本时钟和任务时钟从逻辑上依次由低到高分配给安全苛求系统的不同层次,每一层次硬件中的电子器件使用各自独立运行的本地时钟;若干个基础时钟周期构成一个基本时钟周期,若干个基本时钟周期构成一个任务微周期时钟周期,若干个任务...
北京交通大学  中国专利  2018年 下载次数(0)| 被引次数(0)

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

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

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

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

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

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

列车运行控制系统安全通信协议验证方法的研究 

无线通信具有传输速率高、双向传输等优点,列车运行控制系统逐渐由传统的基于轨道电路的列车控制向基于通信的列车控制方向发展。列车运行控制系统作为安全苛求系统,要求列车与地面能够安全的通信,而无线通信本身存在重复(repetition)、删除(deletion)、插入(inse...
北京交通大学  博士论文  2013年 下载次数(1042)| 被引次数(15)

共找到相关记录276条12345678910下一页