辐射防护和核安全研究所验证核安全软件
“Polyspace产2022世界杯八强谁会赢？品属于新一代的分析工具。它们代表着安全相关软件的验证向前迈出了一大步。”
IRSN工程师
辐射防护和核安全研究所(IRSN)对核和辐射风险进行专门评估。IRSN是由核保护与安全研究所(IPSN)和电离辐射保护办公室(OPRI)合并而成。该中心为法国各地的公共当局服务，负责评估核设施的安全性、管理危险材料以及保护环境和人类健康。
评估核设施中使用的软件是一项至关重要但往往具有挑战性的任务。IRSN工程师使用Polyspace Bug Finder™和Polyspace Code Prover™对该软件进行静态分析，并检测运行时错误，如除零、未初始化变量和数据溢出。
“Polyspace产2022世界杯八强谁会赢？品属于新一代的分析工具，”IRSN的一位工程师解释道。“它们代表着安全相关软件的验证向前迈出了一大步。”
挑战
在过去，IRSN使用一套方法和工具，归类在一个叫做ATLAS的软件工具箱中，来评估核反应堆的软件。使用ATLAS是一种有效但耗时的方法。向核设施安全理事会(DSIN)提供快速支持，该理事会依靠核设施安全中心的专业技术来调查核问题
为了安全，IRSN的工程师寻求加速验证过程。
“为了提供快速的答案，我们需要自动化的工具，”IRSN的工程师指出。
解决方案
IRSN采用Polyspace®2022世界杯八强谁会赢？C和c++的产品，以加快法国两个核设施安全关键软件的验证。
IRSN工程师使用Polyspace产品来识别代码中可能导致2022世界杯八强谁会赢？运行时错误的所有指令，包括算术异常、整数或浮点数据溢出以及使用未初始化的变量。
结果
安全关键软件已验证．IRSN的工程师使用Polyspace的C和c++产品全面评2022世界杯八强谁会赢？估和验证900兆瓦电气(MWe)装置的中子测量应用。
评估加速．通过Polyspace产品，I2022世界杯八强谁会赢？RSN现在能够在更短的时间内检查软件的运行时错误，从而更有效地利用可用资源。
更多的时间用于复杂分析．通过自动化应用程序的静态分析，Polyspace产品使IRSN工程师能够将时间花在更复杂的任务上，包括验证功能准确2022世界杯八强谁会赢？性。
2022世界杯八强谁会赢？产品使用
展示你的成功
加入客户参考计划
您也可以从以下列表中选择网站: