“Polyspace products belong to a new generation of analysis tools. They represent a large step forward for the verification of safety-related software.”
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.”
In the past, IRSN used a set of methods and tools, grouped in a software toolbox called ATLAS, to assess software at nuclear reactors. Employing ATLAS was an effective but time-consuming approach. To provide rapid support to the Directorate for Nuclear Facility Safety (DSIN), which relies on IRSN technical expertise to investigate nuclear safety, IRSN engineers sought to accelerate the verification process.
“To provide fast answers, we need automated tools,” notes the IRSN engineer.
IRSN adopted Polyspace® products for C and C++ to speed the verification of safety-critical software at two nuclear installations in France.
IRSN engineers used Polyspace products to identify all instructions in the code that could have led to run-time errors, including arithmetic exceptions, overflow on integer or floating-point data, and use of variables that had not been initialized.
To verify safety-critical software used in nuclear facilities
Use Polyspace products to automatically detect run-time errors in code