17、列车信号系统的未来：TCL语言的应用与发展

列车信号系统的未来：TCL语言的应用与发展

1. 联锁源代码的手动创建流程

ABB的计算机联锁系统（CBI）基于1oo2可编程逻辑控制器（PLC）配置。“1oo2”表示“二选一”，由两个并行连接的通道组成，任一通道都能处理安全功能。两个PLC拥有不同的代码A和B，以增强系统安全性，它们并行执行相同的总体任务，并持续比较结果。

当前开发特定CBI的工作流程如下：
1. 输入需求规格 ：由通用CBI和客户规格两部分组成，包含车站结构图纸（轨道、轨道电路、道岔、信号、应答器、脱轨器等基本元素）和联锁表，同时需纳入国家规则。
2. 功能规格创建 ：手动将联锁表映射为一组逻辑方程，易出错，需客户正式审查。
3. 设计规格开发 ：接近源代码，通过选择参数化功能块对PLC进行编码，A和B代码由不同团队使用不同工具和库开发，以降低共模故障概率。
4. 正式审查 ：根据Fagan检查方法对功能规格、工具和库进行审查，能有效发现不一致和错误，但耗时。
5. PLC代码测试 ：分集成测试、工厂验收测试和现场验收测试三个级别，测试用例主要从顶层规格开发而来。

graph LR
    A[输入需求规格] --> B[功能规格创建]
    B --> C[设计规格开发]
    C --> D[正式审查]
    D --> E[PLC代码测试]
    E1[集成测试] --&g