中电运输确保高铁软件可靠性
挑战
解决方案
结果
- 在几个小时内验证15,000行代码，而不是几个月
- 更多的工程师时间用于提高安全性
- 未发现的隐藏缺陷
中国电机工程学院的工程师使用Polyspace产品在短短几个下载188bet金宝搏小时内分析了15000行Ada代码。在过去，系统的验证——包括重新阅读源代码和安全分析——需要三到四个月的时间。
作为Finmeccanica集团子公司Ansaldo Signal NV的一部分，中国see运输是高速铁路运输信号和控制指挥系统的全球领导者。法国的TGV (train grande vitesse，或“高速列车”)依赖于中国see运输公司的技术，比利时、英国和韩国的TGV列车也是如此。中国see运输还为连接英国和法国的英吉利海峡隧道开发地铁监控系统和穿梭巴士。
在法国，高速列车TGV的时速为300公里，运行间隔仅为3分钟。在这种环境中，即使是很小的信号故障也可能是灾难性的。因为乘客的安全是最重要的，所以软件的可靠性和安全性是重中之重。对于像巴黎地铁这样的高速列车，中国see运输公司要遵守与核工业同样严格的安全规定。
为了确保列车的安全运行，中国see运输工程师经常花费数月的时间来验证他们的代码。中电运输使用Polyspace®下载188bet金宝搏在这个劳动密集型的过程中自动执行任务，并检测大范围的运行时缺陷。
挑战
在Ada环境下，用了大约一年的时间开发出了中国电机工程总公司信令系统的安全软件。在最初的开发阶段之后，团队预计将花费另外三到四个月的时间来验证代码。为了确保其软件的可靠运行，中国see运输公司寻求一种更先进的自动化验证技术。
解决方案
CSEE Transport为Ada使用Polyspace产下载188bet金宝搏品来识别运行时错误，包括访问未初始化的变量、除零和越界数组访问。
使用Polyspace产品来验证下载188bet金宝搏他们的软件，而不执行它，CSEE Transport开发人员找到了传统验证无法检测到的错误。这些错误包括并行任务对共享变量的并发访问。
CSEE Transport开发团队在软件开发过程的每一步都使用Polyspace产品，在最终集成之前下载188bet金宝搏验证各个模块。
结果
在几个小时内验证15,000行代码，而不是几个月．中国电机工程学院的工程师使用Polyspace产品在短短几个下载188bet金宝搏小时内分析了15000行Ada代码。在过去，系统的验证——包括重新阅读源代码和安全分析——需要三到四个月的时间。
更多的工程师时间用于提高安全性．通过自动化冗长、困难的验证任务，Polyspace产品减少了CSEE传输安全专家的工作量，使他们能够专注于无法自动处理的更复杂下载188bet金宝搏的安全问题。
未发现的隐藏缺陷．Polyspace产下载188bet金宝搏品识别了当并行任务并发访问共享变量时可能出现的错误。当CSEE Transport开发人员使用传统的验证技术时，这些类型的错误是无法检测到的。
下载188bet金宝搏产品使用
展示你的成功
加入客户推荐计划
