Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions

Le présent document énonce des exigences pour les logiciels des systèmes d'instrumentation et de contrôle-commande (I et C) programmés des centrales nucléaires de puissance, réalisant des fonctions de catégorie A. Le présent document énonce des exigences pour la production de logiciels de haute fiabilité. Il prend en compte chaque étape de développement et de documentation du logiciel, c'est-à-dire la spécification des exigences, la conception, le développement, la vérification, la validation et l'exploitation.

View the extract

Main informations

Collections

National standards and national normative documents

Thematics

QSE, Gestion des risques et SST, Sécurité

Publication date

January 2010

Number of pages

113 p.

Reference

NF EN 60880

ICS Codes

27.120.20 Nuclear power plants. Safety

Classification index

C19-201

Print number

1 - 01/02/2010

International kinship

IEC 60880:2006

European kinship

EN 60880:2009

Sumary

Nuclear power plants - Instrumentation and control systems important to safety - Software aspects for computer-based systems performing category A functions

Le présent document énonce des exigences pour les logiciels des systèmes d'instrumentation et de contrôle-commande (I et C) programmés des centrales nucléaires de puissance, réalisant des fonctions de catégorie A. Le présent document énonce des exigences pour la production de logiciels de haute fiabilité. Il prend en compte chaque étape de développement et de documentation du logiciel, c'est-à-dire la spécification des exigences, la conception, le développement, la vérification, la validation et l'exploitation.

Table of contents

View the extract

Avant-propos
2
INTRODUCTION
5
1 Domaine d'application et objet
8
2 Références normatives
8
3 Termes et définitions
9
4 Symboles et abréviations
14
5 Exigences générales pour les projets logiciel
14
5.1 Généralités
14
5.2 Types de logiciel
16
5.3 Principe de développement du logiciel
17
5.4 Gestion du projet logiciel
19
5.5 Plan d'assurance qualité logiciel
19
5.6 Gestion de configuration
20
5.7 Sécurité du logiciel
21
6 Exigences du logiciel
23
6.1 Spécification des exigences du logiciel
23
6.2 Auto-surveillance
24
6.3 Test périodique
24
6.4 Documentation
25
7 Conception et réalisation
25
7.1 Principes pour la conception et la réalisation
26
7.2 Langages, traducteurs et outils associés
28
7.3 Recommandations détaillées
29
7.4 Documentation
31
8 Vérification du logiciel
31
8.1 Processus de vérification du logiciel
31
8.2 Activités de vérification du logiciel
32
9 Aspects logiciels de l'intégration du système
36
9.1 Aspects logiciels du plan d'intégration du système
37
9.2 Intégration du système
38
9.3 Vérification du système intégré
38
9.4 Procédures de résolution de défaut
39
9.5 Aspects logiciels du compte rendu de vérification du système intégré
39
10 Aspects logiciels du plan de validation
40
10.1 Aspects logiciels du plan de validation système
40
10.2 Validation du système
40
10.3 Aspects logiciels du compte rendu de validation du système
41
10.4 Procédures de résolution de défaut
41
11 Modification du logiciel
41
11.1 Procédure de demande de modification
42
11.2 Procédure d'exécution d'une modification du logiciel
43
11.3 Modification du logiciel après livraison
44
12 Aspects logiciels de l'installation et de l'exploitation
45
12.1 Installation du logiciel sur site
45
12.2 Sécurité informatique sur site
45
12.3 Adaptation du logiciel aux conditions sur site
46
12.4 Formation des opérateurs
46
13 Moyens de défense contre les défaillances logicielles de cause commune
47
13.1 Généralités
47
13.2 Conception du logiciel pour éviter les CCF
48
13.3 Sources et effets des CCF logicielles
48
13.4 Mise en oeuvre de la diversité
49
13.5 Pondération des inconvénients et des avantages liés à l'utilisation de la diversité
49
14 Outils logiciels pour le développement de logiciels
49
14.1 Généralités
49
14.2 Sélection des outils
50
14.3 Exigences applicables aux outils
51
15 Qualification de logiciels prédéveloppés
56
15.1 Généralités
56
15.2 Exigences générales
56
15.3 Processus d'évaluation et d'agrément
57
15.4 Exigences liées à l'intégration dans le système et à la maintenance des PDS
65
Annexe A (normative) Cycle de vie et de sûreté du logiciel et détails des exigences du logiciel
66
Annexe B (normative) Exigences et recommandations détaillées relatives à la conception et à la réalisation
68
Annexe C (informative) Exemple d'ingénierie à base de logiciel orienté application (développement de logiciel avec un langage orienté application)
81
Annexe D (informative) Langage, traducteur, éditeur de liens
85
Annexe E (informative) Vérification et test du logiciel
87
Annexe F (informative) Liste typique des documents relatifs au logiciel
95
Annexe G (informative) Considérations sur les CCF et la diversification
96
Annexe H (informative) Outils pour la production et la vérification des spécifications, de la conception et du code
100
Annexe I (informative) Exigences concernant les logiciels prédéveloppés (PDS)
103
Annexe J (informative) Correspondance entre la IEC 61513 et cette norme
105
Annexe ZA (normative) Références normatives à d'autres publications internationales avec les publications européennes correspondantes
109

Need to identify, monitor and decipher standards?

COBAZ is the simple and effective solution to meet the normative needs related to your activity, in France and abroad.

Available by subscription, CObaz is THE modular solution to compose according to your needs today and tomorrow. Quickly discover CObaz!

Request your free, no-obligation live demo

I discover COBAZ