Project Description

研究报告

通过形式化验证设计安全的铁路控制

铁路控制系统软件安全的重要性

在本报告中,我们讨论了为什么应该使用形式化验证来验证软件安全要求。作为形式化验证的提供者,我们完全相信这是安全验证的最佳方法,应该在设计安全轨道控制系统时使用。

典型的客运列车重量在 1500 至 6000 吨之间,而货运列车的重量更重,在 3000 至 18000 吨之间。火车是巨大的,这种大规模高速行驶活动所涉及的潜在风险,使铁路行业的安全考量变得尤为特殊而重要。

尽管该行业常常以超越常规的高标准而自居,但是一旦发生事故就有可能演变为重大灾难,要规避这些风险就需要超越测试局限的验证技术,这也是形式化验证的优势得以充分发挥的地方。

下载研究报告,了解是什么激发了我们的信念。

请填写表格,下载研究报告。