Project Description
研究报告
通过形式化验证设计安全的铁路控制
铁路控制系统软件安全的重要性
在本报告中，我们讨论了为什么应该使用形式化验证来验证软件安全要求。作为形式化验证的提供者，我们完全相信这是安全验证的最佳方法，应该在设计安全轨道控制系统时使用。
典型的客运列车重量在 1500 至 6000 吨之间，而货运列车的重量更重，在 3000 至 18000 吨之间。火车是巨大的，这种大规模高速行驶活动所涉及的潜在风险，使铁路行业的安全考量变得尤为特殊而重要。
尽管该行业常常以超越常规的高标准而自居，但是一旦发生事故就有可能演变为重大灾难，要规避这些风险就需要超越测试局限的验证技术，这也是形式化验证的优势得以充分发挥的地方。
下载研究报告，了解是什么激发了我们的信念。