Case Study: Institute for Radiological Protection and Nuclear Safety (IRSN) achieves faster, more thorough verification of safety-critical nuclear software with MathWorks Polyspace

Institute for Radiological Protection and Nuclear Safety Verifies Nuclear Safety Software

The Institute for Radiological Protection and Nuclear Safety (IRSN) needed to verify safety-critical software used in French nuclear facilities and speed up time-consuming manual assessments. To address this challenge, IRSN adopted MathWorks’ Polyspace products, including Polyspace Bug Finder and Polyspace Code Prover, to perform automated static analysis and detect run-time errors.

MathWorks’ Polyspace tools were used to exhaustively identify possible run-time errors (division by zero, uninitialized variables, overflows) in neutron measurement applications at 900 MWe installations, enabling IRSN to verify safety-critical software, accelerate assessments, and free engineers to focus on more complex functional analysis. The result: faster, more efficient verification workflows and validated software for nuclear safety oversight.

Institute for Radiological Protection and Nuclear Safety