基于SCADE的区间占用逻辑检查功能设计与实现

• 作者: 崔佳诺 张阳
• 来源期刊: 铁道通信信号
• 关键词: 列车运行 高安全性应用开发环境 区间占用逻辑检查 列控中心
• 年，卷（期）: 2018,（9）
• 所属期刊栏目: 信号·控制
• 页码范围: 5-8
• 页数: 4页
• 字数: 2473字
• 语种: 中文
• DOI: 10.13879/j.issn1000-7458.2018-09.18232

摘要

基于SCADE实现的列控中心区间占用逻辑检查的部分功能,在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和对应性,信号设计人员和软件开发人员可以共同参与实现细节的讨论和评审,有利于提高软件的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	崔佳诺		2	0	0.0	0.0
2	张阳		2	0	0.0	0.0