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