摘要：基于SCADE实现的列控中心区间占用逻辑检查的部分功能，在一定程度上达到了软件系统需求、结构设计、编码实现及测试验证的一致性和对应性，信号设计人员和软件开发人员可以共同参与实现细节的讨论和评审，有利于提高软件的正确性。
分类：期刊> 自然科学与工程技术> 工程科技II> 铁路运输
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：列车运行 高安全性应用开发环境 区间占用逻辑检查 列控中心
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
