辐射防护和核安全研究所验证核安全软件
“Polyspace产下载188bet金宝搏品属于新一代的分析工具。他们代表一个大安全软件的验证已经前进了一步。”
IRSN工程师
放射卫生防护和安全)进行专业评估核和辐射风险。IRSN合并成立的研究所的核保护和安全办公室(IPSN)和防止电离辐射(OPRI)。服务在法国,政府当局IRSN负责评估核设施的安全,管理危险材料和保护环境和人类健康。
评估软件在使用核设施是一个重要的但往往具有挑战性的任务。IRSN工程师使用Polyspace错误发现者™和Polyspace代码验证™进行静态分析的软件和检测运行时错误,如除零noninitialized变量和数据溢出。
“Polyspace产下载188bet金宝搏品属于新一代的分析工具,”解释了一个IRSN工程师。“他们代表一个大安全软件的验证已经前进了一步。”
挑战
在过去,IRSN使用一系列的方法和工具,分为软件工具箱ATLAS,评估软件在核反应堆。采用阿特拉斯是一个有效的但耗时的方法。提供快速支持核设施安全理事会(DS金宝appIN),依靠IRSN专业技术调查核
安全,IRSN工程师试图加快验证过程。
“为了提供快速的答案,我们需要自动化工具,”笔记IRSN工程师。
解决方案
IRSN采用Polyspace®下载188bet金宝搏产品的C和c++速度关键安全软件的验证两个核设施在法国。
IRSN工程师使用Polyspace产品识别代码中的所有指令下载188bet金宝搏可能会导致运行时错误,包括算术异常,在整数或浮点数溢出,使用变量没有初始化。
结果
关键安全软件验证。IRSN工程师Polyspace产品用于C和c++详尽的评估下载188bet金宝搏和验证中子测量的应用在900兆瓦电(兆瓦)安装。
评估加速。与Polyspace产品,IR下载188bet金宝搏SN现在能够在较短的时间内检查软件的运行时错误,使更有效地使用可用的资源。
更多的时间进行复杂分析。通过自动化应用程序的静态分析,Polyspace产品使IRSN工程师花时间在更复杂的任务,包括验证功能的准确性。下载188bet金宝搏
