辐射防护和核安全研究所(IRSN)对核和辐射风险进行专门评估。核保护和安全研究所(IPSN)和电离辐射保护办公室(OPRI)合并成立了核保护和安全研究所。该机构为法国各地的公共机构服务,负责评估核设施的安全性、管理危险材料以及保护环境和人类健康。
评估核设施中使用的软件是一项至关重要但往往具有挑战性的任务。IRSN工程师使用Polyspace Bug Finder™和Polyspace Code Prover™对该软件进行静态分析,并检测运行时错误,如除以零、未初始化变量和数据溢出。
“Polyspace产下载188bet金宝搏品属于新一代的分析工具,”IRSN的一位工程师解释道。“它们代表着安全相关软件的验证向前迈出了一大步。”