The Institute for Radiological Protection and Nuclear Safety (IRSN) conducts specialized assessments of nuclear and radiological risk. IRSN was formed by the merger of the Institute of Nuclear Protection and Safety (IPSN) and the Office for Protection against Ionizing Radiation (OPRI). Serving public authorities throughout France, IRSN is responsible for evaluating the safety of nuclear installations, managing dangerous materials, and protecting the environment and human health.
Assessing the software in use at nuclear installations is a vital but often challenging task. IRSN engineers use Polyspace Bug Finder™ and Polyspace Code Prover™ to conduct static analysis of this software and detect run-time errors such as division by zero, noninitialized variables, and data overflow.
“Polyspace products belong to a new generation of analysis tools,” explains one IRSN engineer. “They represent a large step forward for the verification of safety-related software.”