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

Abstract : 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.
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

https://hal-edf.archives-ouvertes.fr/hal-01857446
Contributeur : Alain Ourghanlian <>
Soumis le : jeudi 16 août 2018 - 11:25:29
Dernière modification le : vendredi 21 décembre 2018 - 11:06:12
Document(s) archivé(s) le : samedi 17 novembre 2018 - 12:25:57

Fichier

NET_21_published.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

EDF

Citation

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

Partager

Métriques

Consultations de la notice

28

Téléchargements de fichiers

57