期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到9篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于场景的联锁软件形式化模型生成方法 被引量：5
1
作者 董昱 高雪娟 《计算机科学》 CSCD 北大核心 2015年第1期193-195,226,共4页
为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统... 为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础。以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法。首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型。该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑。 展开更多
关键词 计算机联锁软件 事件确定有限自动机 顺序图 场景分析
下载PDF
基于VxWorks的计算机联锁控制系统软件研究 被引量：1
2
作者 仲维锋 韩彤宇 《铁路计算机应用》 2006年第1期13-16,共4页
铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统。分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设... 铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统。分析DOS和Windows环境联锁控制软件设计存在的问题,结合VxWorks操作系统的特点,研究基于VxWorks实现联锁控制的可行性,在此基础上提出了一种VxWorks环境下设计联锁软件的方法,并进行了详细的系统设计。针对一个实际站场的编码测试结果表明,在VxWorks环境下更易于满足联锁软件对实时性、多任务调度的设计要求,并有利于提高系统的安全性。 展开更多
关键词 计算机联锁 联锁软件 实时操作系统 VXWORKS
下载PDF
铁路车站计算机联锁软件的安全性评估策略 被引量：3
3
作者 严黎 吴芳美 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第9期1116-1120,共5页
安全控制系统的行为直接关系人身和大宗财产的安全 ,如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题 .应从软件可靠性和安全性含义的讨论中 ,明确它们之间的区别 .在此基础上 ,提出一种能定量反映计算机联锁安全软件... 安全控制系统的行为直接关系人身和大宗财产的安全 ,如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题 .应从软件可靠性和安全性含义的讨论中 ,明确它们之间的区别 .在此基础上 ,提出一种能定量反映计算机联锁安全软件安全性的评估策略 ,最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后 ,利用J -M可靠性模型对其进行安全性定量分析的方法 . 展开更多
关键词 铁路车站 评估策略 安全软件 软件可靠性 安全性定量评估 计算机联锁软件 J-M可靠性模型
下载PDF
自动仿真测试平台在联锁车站软件测试中的应用研究 被引量：1
4
作者 任芳 徐德龙 《铁道通信信号》 2022年第8期26-31,共6页
联锁车站软件是计算机联锁通用软件针对具体工程的特殊应用。采用自动仿真测试平台进行联锁车站软件测试,虽然较传统人工测试存在优越性,但同时也带来一定的应用风险。为此,采用功能FMECA方法识别自动仿真测试平台的高风险失效模式,并... 联锁车站软件是计算机联锁通用软件针对具体工程的特殊应用。采用自动仿真测试平台进行联锁车站软件测试,虽然较传统人工测试存在优越性,但同时也带来一定的应用风险。为此,采用功能FMECA方法识别自动仿真测试平台的高风险失效模式,并制定风险控制措施;以此为基础设计出一种应用自动仿真测试平台的联锁车站软件测试方案;最后对该方案采用过程FMECA方法进行验证。结果表明,该方案在满足既有测试需求的基础上,对仿真测试平台的相关风险均实现了有效控制,从而保证了联锁车站软件测试的质量。 展开更多
关键词 计算机联锁 联锁车站软件 自动仿真测试 失效模式影响与危害性分析 风险分析
下载PDF
计算机联锁系统仿真平台的研究 被引量：1
5
作者 崔宁宁 董昱 周洋 《铁路计算机应用》 2010年第12期57-59,共3页
通过软件编程构建一套完整的计算机联锁系统仿真平台。介绍仿真平台的设计方法,联锁程序采用模块化设计,实现计算机联锁的各种功能,具有一定的完整性。根据不同的站场图、不同的操作平台可以方便地更改人机界面及操作方式,为适应不同厂... 通过软件编程构建一套完整的计算机联锁系统仿真平台。介绍仿真平台的设计方法,联锁程序采用模块化设计,实现计算机联锁的各种功能,具有一定的完整性。根据不同的站场图、不同的操作平台可以方便地更改人机界面及操作方式,为适应不同厂家提供的联锁设备提供很好的仿真平台。 展开更多
关键词 计算机联锁系统 仿真平台 软件 模块
下载PDF
计算机联锁软件测试与安全性评价研究 被引量：1
6
作者 张宏 《信息与电脑》 2018年第18期207-209,共3页
计算机联锁软件是计算机联锁系统的重要组成部分之一,其性能稳定与否直接关系整个系统的运行安全性和稳定性。因此,在应用计算机联锁软件前,需要采用有效的方法对软件进行测试,并依据测试结果对软件的安全性进行评价。基于此,首先分析... 计算机联锁软件是计算机联锁系统的重要组成部分之一,其性能稳定与否直接关系整个系统的运行安全性和稳定性。因此,在应用计算机联锁软件前,需要采用有效的方法对软件进行测试,并依据测试结果对软件的安全性进行评价。基于此,首先分析了计算机联锁软件的测试方法及应用,并在此基础上对计算机联锁软件的安全性评价进行论述,希望能够为提升计算机联锁软件的整体性能提供借鉴。 展开更多
关键词 计算机 联锁软件 测试 安全性评价
下载PDF
从电气联锁到计算机联锁 被引量：2
7
作者 赵志熙 《北方交通大学学报》 CSCD 北大核心 1998年第5期69-72,共4页
随着科学技术的进步，电气联锁系统正被计算机联锁系统所取代．本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思路．
关键词 铁路车站信号 电气联锁系统 计算机联锁系统
下载PDF
基于UML的微机联锁软件测试系统分析
8
作者 陈宝军 王晓明 汤旻安 《交通科技与经济》 2010年第3期120-122,共3页
基于UML的微机联锁软件自动测试系统对软件开发全过程的软件质量保证实施具有非常重要的现实意义。针对影响微机联锁软件可靠性与安全性的因素,建立微机联锁软件自动化测试的UML模型、测试流程图以及测试框架,给出微机联锁软件自动测试... 基于UML的微机联锁软件自动测试系统对软件开发全过程的软件质量保证实施具有非常重要的现实意义。针对影响微机联锁软件可靠性与安全性的因素,建立微机联锁软件自动化测试的UML模型、测试流程图以及测试框架,给出微机联锁软件自动测试平台的硬件体系结构及微机联锁软件测试平台。并通过实例进行测试分析,结果表明该方法是有效的。 展开更多
关键词 微机联锁软件 软件测试 通用建模语言
下载PDF
AGWS16-1型微型计算机车站集中联锁系统的应用
9
作者 齐晓峰 吴占祥 《鞍钢技术》 CAS 1998年第8期34-36,共3页
ＡＧＷＳ１６－１型微型计算机车站集中联锁系统已实际应用于冶金厂矿企业多年，获得了良好的技术经济效果。具体介绍了该系统的安全性和软件的通用性，为该系统的应用提供了依据。
关键词 铁路运输 微机联锁 微机 软件通用性 安全性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部