CSEE工程师使用Polyspace产品在几个小时内分析了1s manbetx 8455000行Ada代码。在过去，包括重读源代码和安全分析在内的系统验证需要三到四个月的时间。
作为Finmeccanica集团子公司Ansaldo Signal NV的一部分，CSEE Transport在高速铁路运输的信号和控制指挥系统方面处于世界领先地位法国依靠CSEE运输技术，比利时、英国和韩国的TGV列车也是如此。CSEE运输还开发地铁监控系统和英吉利海峡隧道的穿梭机，英吉利海峡隧道通过铁路连接英国和法国。
在法国，高速TGV列车以每小时300公里的速度运行，相隔仅三分钟。在这种环境下，即使是轻微的信号故障也可能是灾难性的。因为乘客安全是最重要的，所以软件可靠性和安全性是重中之重。对于巴黎地铁等高速列车，CSEE运输受到与核工业一样严格的安全法规的约束。
为了确保列车的安全运行，中电运输的工程师们经常要花几个月的时间来验证他们的代码。CSEE运输使用Polyspace®s manbetx 845Ada的产品可以自动执行此劳动密集型流程中的任务，并检测各种运行时缺陷。
CSEE Transport使用Ada的Polyspace产s manbetx 845品来识别运行时错误，包括对非初始化变量的访问、被零除法和越界数组访问。
CSEE Transport开发s manbetx 845人员使用Polyspace产品在不执行软件的情况下验证其软件，从而定位经典验证无法检测到的错误。这些错误包括并行任务对共享变量的并发访问。
CSEE运输开发团队在软件开发过程的每一步都使用Polyspace产品，以在最终集成之前验证各个模块。s manbetx 845
15000行代码在数小时而不是数月内验证CSEE工程师使用Polyspace产品在短短几个小时内分析了1s manbetx 8455000行Ada代码。过去，系统验证（包括重读源代码和安全分析）需要三四个月的时间。
更多工程师时间用于增强安全性. 通过自动化冗长、困难的验证任务，Polyspace产品减少了CSEE传输安全专家的工作量，使他们能够专注于无法自动处理的更复杂s manbetx 845的安全问题。
发现的隐藏缺陷. Polyspace产s manbetx 845品识别了并行任务并发访问共享变量时可能出现的错误。当CSEE传输开发人员使用传统的验证技术时，这些类型的错误是无法检测到的。
加入客户参考计划
您还可以从以下列表中选择网站：