“Polyspace产s manbetx 845品属于新一代的分析工具。他们代表了安全相关软件的验证前进了一大步。”
IRSN工程师
该研究所辐射防护与核安全（IRSN）行为专门的核和放射性风险评估。IRSN是由核防护和安全研究所（IPSN）处和电离辐射防护（OPRI）合并而成。整个法国公共服务部门，IRSN负责评估核设施的安全性，管理危险物品，以及保护环境和人类健康。
评估核设施所使用的软件是至关重要的，但往往具有挑战性的任务。IRSN工程师使用Polyspace Bug的搜索™和Polyspace代码证明器™进行该软件的静态分析和零，未初始化的变量和数据溢出检测运行时错误，如师。
“Polyspace产s manbetx 845品属于新一代的分析工具，解释说：”一个IRSN工程师。“他们代表了安全相关软件的验证前进了一大步。”
在过去，IRSN使用的一套方法和工具，在被称为ATLAS，在核反应堆，以评估软件的软件工具箱分组。用人ATLAS是一种有效的，但耗时的方法。向局核设施安全（DSIN），这依赖万博1manbetx于IRSN技术专长，以探讨核提供快速支持
安全，IRSN工程师试图加快验证过程。
“为客户提供快速的答案，我们需要自动化的工具，”注意到IRSN工程师。
IRSN采用Polyspace®s manbetx 845产品C和C ++在两个分别位于法国核设施的加快安全关键软件的验证。
IRSN工程师使用Polyspace产品识别可能导致运行时错s manbetx 845误，包括算术异常，整数或浮点数数据溢出，并使用尚未被初始化的变量的代码的所有指令。
安全关键软件验证。IRSN工程师使用Polyspace产品C和C ++详尽地评s manbetx 845估和验证在900兆瓦电（兆瓦）安装中子测量应用。
评估加速。随着Polyspace产品，Is manbetx 845RSN现在能够检查运行时错误软件在更短的时间，从而实现更有效地利用现有的资源。
更多的时间用于复杂的分析。通过自动化的应用程序静态分析，Polyspace产品使IRSN工程师把时间花在更复杂的任务，包括验证功能的精度。s manbetx 845
カスタマーリファレンスプログラムに参加する
您还可以选择从下面的列表中的网站：