Institute for Radiological Protection and Nuclear Safety Verifies Nuclear Safety Software

“Polyspace products belong to a new generation of analysis tools. They represent a large step forward for the verification of safety-related software.”

Challenge

To verify safety-critical software used in nuclear facilities

Solution

Use Polyspace products to automatically detect run-time errors in code

Results

  • Safety-critical software verified
  • Assessments accelerated
  • More time for complex analysis
Assessing safety at a nuclear power plant.

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.”

Challenge

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.

Solution

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.

Results

  • Safety-critical software verified. IRSN engineers used Polyspace products for C and C++ to exhaustively assess and verify neutron measurement applications at 900 megawatt electrical (MWe) installations.

  • Assessments accelerated. With Polyspace products, IRSN is now able to check software for run-time errors in less time, enabling more efficient use of available resources.

  • More time for complex analysis. By automating static analysis of applications, Polyspace products enable IRSN engineers to spend time on more complex tasks, including verifying the functional accuracy.