SCADE

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=铁道通信信号x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种应用于SCADE的联合仿真平台被引量：1
《铁道通信信号》2017年第7期68-72,共5页侯锡立 
介绍一种能辅助SCADE(Safety-Critical Application Development Environment)自动生成仿真所需数据的联合仿真平台。该平台采用Tcl/Expect脚本语言设计,通过脚本驱动生成仿真交互所需数据,同时能够回归执行所有脚本,实现自动化联合仿真。
关键词：高安全性的应用程序开发环境 联合仿真 工具命令语言 
基于SCADE建模的联锁软件形式化开发实现
《铁道通信信号》2016年第S2期88-91,共4页王燕芩 杨平 
计算机联锁系统软件是一种典型的安全相关软件,具有非常复杂的联锁控制逻辑和以失效为核心的安全需求,在联锁系统的设计开发过程中,保证系统的安全性和可靠性是关键.介绍基于SCADE工具进行联锁软件开发过程,使用模型化的方法从系统需求...
关键词：联锁 形式化方法 SCADE 模型开发 安全性 
SCADE软件在城市轨道交通中的应用被引量：2
《铁道通信信号》2016年第5期42-44,共3页袁晴 
基于SCADE高安全性的应用开发环境,对城轨联锁软件建模进行了研究,分析了SCADE的数据流图建模、状态机建模方法,利用SCADE对联锁中的主要逻辑模块建模并自动生成C代码。通过实例分析,证明了SCADE平台下的联锁软件设计方法的可行性,及其...
关键词：SCADE 联锁 建模 
基于SCADE的列车调度软件设计被引量：3
《铁道通信信号》2010年第8期37-39,共3页高博文 
列车调度软件是ATS系统的核心,以往的ATS系统列车调度软件,按照传统的"V"型软件开发流程进行。由于采用手工编码方式,编码工作量大,实现完整测试非常困难,开发出来的软件安全性和可靠性难以保障。提出了以SCADE作为应用开发环境平台,既...
关键词：SCADE 列车调度 软件设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部