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

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

列控安全计算机平台测试方法研究 

与区域控制器和数据存储单元有着密切交互的安全计算机平台是列控系统中的核心装备和重要安全单元之一。为了打破技术封锁,拥有自主化安全计算机平台,北京交通大学轨道交通控制与安全国家重点实验室已经开发出下一代列控安全计算机平台。为了满足下一代安全计算机平台测试的需要,本文对安全计算机平台测试方法进行了研究。在调查研究一般安全苛...
北京交通大学  硕士论文  2017年 下载次数(120)| 被引次数(2)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

基于安全编码处理器的检错工具研究与设计 

为了提高安全编码处理器的可维护性,基于安全冗余编码算法,设计了2种冗余代码检错工具。研究表明:在线检错工具较离线检错工具能够更准确地定位错误的初发位置,并且对程序的运行效率影响很小。
《铁道通信信号》  2018年 第05期 下载次数(16)| 被引次数()

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

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

基于标签转移系统的二乘二取二系统的形式化验证研究 

为了提高二乘二取二系统的安全应用特性,系统的安全相关逻辑在投入使用前必须进行验证。模型检验是验证系统安全属性的有效手段之一。提出基于转移标签系统模型验证系统安全属性的新方法。针对系统的安全需求,利用LTS对系统行为进行建模处理,最后使用LTSA软件对模型的安全属性进行分析和验证,与传统人工验证方法相比,LTS模型产生程...
《铁道标准设计》  2018年 第07期 下载次数(32)| 被引次数()

安全苛求系统的交叉验收框架 

交叉验收是一个涉及技术和法律的工作,其目的是在新项目中能够尽快地应用类似的产品、系统和方法(PSP)。交叉验收的PSP首先要求在原始的应用中能够满足可靠性、安全性和环境要求。PSP目标和原始的应用应具有很好的相似性,因此,不需要很大的改动,在技术上和经济上可行性会很强。当然,交叉验收从根本上来说和PSP的安全性和适用性...
《中国安全科学学报》  2005年 第03期 下载次数(69)| 被引次数(1)

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

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

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