加拿大太平洋铁路，加拿大

全球一级货运铁路公司加拿大太平洋公司 (CP) 通过使用自动化工具，提高其设计和测试联锁软件的容量及一致性。 2010 年，加拿大太平洋公司为工厂和试车测试引入了自动生成测试计划，以提升质量和一致性。

今天，加拿大太平洋公司应用了完整的 Prover iLock 工具链，用于生成和检查联锁软件，这其中包括一整套的标准信号原理。该信号原理是加拿大太平洋公司对 AREMA 原理的演变，支持太平洋公司使用的编码轨道电路、不同的位置类型和联锁硬件平台。

这为加拿大太平洋公司及其工程服务供应商提供了用于生成和检查联锁软件的现成解决方案。这些检查包括使用 Prover iLock 验证器进行形式化安全验证，使用 Prover iLock 仿真器进行功能测试，使用 Prover iLock 文档生成器生成工厂和试车测试的特定位置测试计划。