EVALUATION OF STATIC ANALYSIS TOOLS USED TO ASSESS SOFTWARE IMPORTANT TO NUCLEAR POWER PLANT SAFETY

Évaluation d'outils d'analyse statique de code pour vérifier la fiabilité des logiciels classé de sûreté pour le nucléaire

Alain Ourghanlian (1)

1 EDF R&D PRISME - Performance, Risque Industriel, Surveillance pour la Maintenance et l’Exploitation

We describe a comparative analysis of different tools used to assess safety-critical software used in Nuclear Power Plants. To enhance the credibility of safety assessments and to optimize safety justification costs, Electricité de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Today, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is very significantly improved. In the first part, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

Mots clés: Software; Verification & Validation; Abstract Interpretation; source code semantic analysis

Domaines: Informatique et langage [cs.CL]; Ingénierie, finance et science [cs.CE]; Systèmes embarqués; Systèmes et contrôle [cs.SY]

Alain Ourghanlian. EVALUATION OF STATIC ANALYSIS TOOLS USED TO ASSESS SOFTWARE IMPORTANT TO NUCLEAR POWER PLANT SAFETY. Nuclear Engineering and Technology, 2015, Special Issue on ISOFIC/ISSNP2014, 47 (2), pp.212-218. ⟨10.1016/j.net.2014.12.009⟩. ⟨hal-01857446⟩