Project Description

研究报告

形式化方法的重点是什么?

最先进的形式化验证

铁路信号系统的生产成本惊人。形式化方法已成为一种可以同时降低成本和提高安全性的方法。为什么会有这样的发展?到目前为止我们都取得了哪些成果?

目前,有一些验证引擎可以使用普通的笔记本电脑在几分钟内完成形式化验证铁路联锁系统的安全要求。只需花费之前成本的一小部分,耗费时间且又不完整的传统安全测试就可以用数学证明代替,而且还能提供 100% 的覆盖率。 这种方法需要规范具备优良的质量,它们必须以数学上精确的形式化语言来形式化,以便证明引擎准确理解它们应该证明的内容。

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