CSEE运输确保高速铁路软件的可靠性
挑战
解决方案
结果
- 15000行代码验证在几个小时而不是几个月
- 更多的工程师时间致力于加强安全
- 发现隐藏的缺陷
CSEE工程师使用Polyspace产品分析15000行Ad下载188bet金宝搏a代码在几个小时。在过去,验证的系统,包括重读源代码和安全analyses-took三到四个月。
作为设备的一部分信号NV,芬梅卡尼卡集团的一个子公司,CSEE运输是世界领导人为高速铁路交通信号和控制命令系统。(TGV高速列车,或“高速列车”)在法国依靠CSEE运输技术,比利时一样,英语,和韩国的TGV列车。CSEE运输也发展地铁监控系统和英吉利海峡隧道的航天飞机,由铁路连接英国和法国。
在法国,高速TGV列车运行时速300公里,运行3分钟。在这种环境下,即使是一个小信号故障可能是灾难性的。因为乘客安全至关重要,软件可靠性和安全性是首要任务。巴黎地铁等高速列车CSEE运输受到安全法规那样严格实施了核工业的发展。
确保列车的安全运行,CSEE交通工程师经常会花上数月时间验证他们的代码。Polyspace CSEE运输使用®下载188bet金宝搏产品为Ada自动化任务在这个劳动密集型的过程和检测范围广泛的运行时的缺陷。
挑战
CSEE运输安全软件的信号系统是在Ada开发在大约一年。在最初的发展阶段,团队将花三到四个月的验证代码。CSEE运输寻求更先进和自动验证技术来保证可靠运行的软件。
解决方案
CSEE运输Polyspace产品用于Ada识别运行时错误,下载188bet金宝搏包括访问non-initialized变量,由零分歧,界外数组访问。
使用Polyspace产品来验证下载188bet金宝搏他们的软件没有执行,CSEE交通开发人员定位错误被古典验证检测不到。这些错误包括并行任务的并发访问共享变量。
中国电机工程学报交通开发团队使用Polyspace产品软件开发过程中的每个步骤来验证各个模块之前最后的下载188bet金宝搏集成。
结果
15000行代码验证在几个小时而不是几个月。CSEE工程师使用Polyspace产品分析15000行Ad下载188bet金宝搏a代码在几个小时。在过去,验证的系统,包括重读源代码和安全analyses-took三到四个月。
更多的工程师时间致力于加强安全。通过自动化漫长,困难的验证任务,Polyspace产品降低了中国电机工程学报交通安全专家的工作负载,使他们能够专注于更复杂的安下载188bet金宝搏全问题,不能自动处理。
发现隐藏的缺陷。Polyspace产下载188bet金宝搏品标识错误时出现的并行任务并发访问共享变量。这类错误时检测不到CSEE交通开发人员使用传统的验证技术。
下载188bet金宝搏产品使用
Comparte涂exito
Unete al客户参考程序
