EVALUATION OF STATIC ANALYSIS TOOLS USED TO ASSESS SOFTWARE IMPORTANT TO NUCLEAR POWER PLANT SAFETY - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Nuclear Engineering and Technology Année : 2015

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

(1)
1

Résumé

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.
Fichier principal
Vignette du fichier
NET_21_published.pdf (343.84 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01857446 , version 1 (16-08-2018)

Identifiants

Citer

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⟩

Collections

EDF
81 Consultations
467 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More