SCADE

作品数：96被引量：141H指数：8
导出分析报告
相关领域：自动化与计算机技术交通运输工程更多>>
相关作者：杨志斌吴成富刘文学周勇李耀更多>>
相关机构：南京航空航天大学西南交通大学中国航空无线电电子研究所西安航空计算技术研究所更多>>
相关期刊：更多>>
相关基金：中国航空科学基金国家自然科学基金中央高校基本科研业务费专项资金铁道部科技研究开发计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=铁路计算机应用x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SCADE的计算机联锁软件开发研究被引量：2
《铁路计算机应用》2020年第12期53-56,共4页张恬 
中铁第一勘察设计院集团有限公司科研计划项目(院科18-32)。
计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境(SCADE)及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。...
关键词：铁路信号 计算机联锁 软件开发 高安全性应用程序开发环境 基于模型的软件工程 
基于SCADE的测速定位系统模型设计被引量：5
《铁路计算机应用》2016年第7期8-12,共5页刘欢 李耀 
针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题,提出了基于SCADE的测速定位系统模型设计,介绍SCADE需求建模以及模型验证方法,分析了一种测速定位模型;在SCADE平台上建立了测速定位系统的模型,通过仿真与验证...
关键词：SCADE 测速定位 安全软件 形式化验证 
基于SCADE的安全软件开发方法研究被引量：17
《铁路计算机应用》2015年第3期14-18,共5页陈淑珍 陈荣武 李耀 
针对传统软件开发方式已经不能满足高安全性系统安全性、完整性的需求,本文提出了基于SCADE的安全软件开发方法,分析SCADE开发的原理、流程及应用方式,并以城市轨道交通列车运行控制系统的区域控制器ZC为例,基于SCADE对ZC列车管理功能...
关键词：SCADE 软件安全 软件建模 区域控制器 
基于SCADE的城轨联锁软件开发方法的研究被引量：3
《铁路计算机应用》2014年第2期14-16,共3页张重 刘晓娟 李国瑞 
CBTC的计算机联锁(CBI)系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性。本文提出基于高安全性应用程序开发环境(SCADE)开发城轨联锁系统软件的方法,能有效解决上述问题。文章主...
关键词：城轨联锁 形式化方法 建模 
SCADE在城市轨道交通ATP软件建模中的应用被引量：6
《铁路计算机应用》2014年第1期37-39,43,共4页白锐 康随武 
列车自动防护(ATP)系统是基于通信列车控制(CBTC)系统的重要组成部分。车载ATP在列车运行过程中担负列车安全运行的重要任务,是与安全直接相关的系统,需要高的安全性和可靠性。为了满足车载ATP软件对安全的需求,提出了基于模型的软件开...
关键词：列车自动防护 安全相关 SCADE 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部