CSEE运输确保高铁软件的可靠性

结果

1.5万行代码在数小时内被验证，而不是几个月
更多工程师时间用于增强安全性
隐藏的缺陷被发现

CSEE工程师使用Polyspace产品在短短几个小时内分析s manbetx 845了15,000行Ada代码。在过去，对系统的验证——包括重读源代码和安全分析——需要三到四个月的时间。

高速TGV列车。

作为芬梅卡尼卡集团子公司Ansaldo Signal NV的一部分，CSEE运输公司是全球高速铁路运输信号和控制指挥系统的领导者。法国的TGV(火车à grande vitesse，或“高速列车”)依赖于CSEE运输技术，比利时、英国和韩国的TGV列车也是如此。CSEE交通运输公司还开发地铁监控系统和英吉利海峡隧道的穿梭车，该隧道通过铁路连接英国和法国。

在法国，高速列车TGV的运行速度为每小时300公里，两列列车之间的间隔仅为3分钟。在这种环境下，即使是一个很小的信号故障也可能是灾难性的。因为乘客的安全是最重要的，所以软件的可靠性和安全性是重中之重。对于巴黎地铁这样的快速列车，中国see运输公司要遵守与核工业一样严格的安全规定。

为了确保列车的安全运行，中国see运输工程公司的工程师经常花几个月的时间来验证他们的代码。CSEE运输使用Polyspace^®s manbetx 845产品用于Ada自动化这个劳动密集型流程中的任务，并检测广泛的运行时缺陷。

挑战

高速TGV信号系统由每14公里放置的地面设备和嵌入式车载软件应用程序组成。地面设备根据列车的位置自动计算列车的“停车序列”(瞬间停车、加速或减速)。这些信息通过轨道传输，由机载计算机处理，并显示在操作员的屏幕上。除非操作员发出反命令，否则计算机会自动执行这些命令。

CSEE运输公司信号系统的安全软件是在Ada用了大约一年的时间开发的。在最初的开发阶段之后，团队希望再花三到四个月的时间来验证代码。CSEE运输寻求一种更先进和自动化的验证技术，以确保其软件的可靠运行。

解决方案

CSEE Transport使用Polyspace产品为Ads manbetx 845a识别运行时错误，包括访问未初始化的变量、除零和越界数组访问。

使用Polyspace产品在不执s manbetx 845行的情况下验证他们的软件，CSEE Transport开发人员发现了传统验证无法检测到的错误。这些错误包括并行任务对共享变量的并发访问。

CSEE运输开发团队在软件开发过程的每个步骤都使用Polyspace产品，在最终集成之前验证各个模块。s manbetx 845

结果

1.5万行代码在数小时内被验证，而不是几个月．CSEE工程师使用Polyspace产品在短短几个小时内分析s manbetx 845了15,000行Ada代码。在过去，对系统的验证——包括重读源代码和安全分析——需要三到四个月的时间。

更多工程师时间用于增强安全性．通过自动化冗长、困难的验证任务，Polyspace产品减轻了CSEE运输安全专家的工作量，使他们能够专注于无法自动处理的更复杂s manbetx 845的安全问题。

隐藏的缺陷被发现．Polyspace产s manbetx 845品识别了并行任务并发访问共享变量时可能出现的错误。当CSEE运输开发人员使用传统的验证技术时，这些错误是无法检测到的。

s manbetx 845产品使用

お客様の成功事例をご紹介

カスタマ，リファレンスプログラムに参加する

开始