NF EN 61508-3

janvier 2011

Norme En vigueur

Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité - Partie 3 : exigences concernant les logiciels

Le présent document s'applique à tout logiciel faisant partie intégrante d'un système relatif à la sécurité ou utilisé pour développer un système relatif à la sécurité entrant dans le domaine d'application de la NF EN 61508-1 et de la NF EN 61508-2. Ce type de logiciel est désigné par le terme logiciel de sécurité.

Visualiser l'extrait

Informations générales

Collections

Normes nationales et documents normatifs nationaux

Date de publication

janvier 2011

Nombre de pages

115 p.

Référence

NF EN 61508-3

Codes ICS

25.040.40 Mesure et contrôle des processus industriels

Indice de classement

C46-063

Numéro de tirage

2 - 01/08/2011

Parenté internationale

IEC 61508-3:2010

Parenté européenne

EN 61508-3:2010

Résumé

Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité - Partie 3 : exigences concernant les logiciels

Le présent document s'applique à tout logiciel faisant partie intégrante d'un système relatif à la sécurité ou utilisé pour développer un système relatif à la sécurité entrant dans le domaine d'application de la NF EN 61508-1 et de la NF EN 61508-2. Ce type de logiciel est désigné par le terme logiciel de sécurité.

Normes remplacées (1)

NF EN 61508-3

mars 2002

Norme Annulée

Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité - Partie 3 : prescriptions concernant les logiciels

Le présent document s'applique à tout logiciel faisant partie d'un système relatif à la sécurité, ou utilisé pour développer un système relatif à la sécurité entrant dans le domaine de la NF EN 61508-1 et de la NF EN 61508-2. Ce type de logiciel est désigné par le terme "Iogiciel relatif à la sécurité".

Sommaire

Visualiser l'extrait

AVANT-PROPOS
2
INTRODUCTION
6
1 Domaine d'application
8
2 Références normatives
11
3 Définitions et abréviations
12
4 Conformité à la présente norme
12
5 Documentation
12
6 Exigences supplémentaires pour la gestion du logiciel de sécurité
12
7 Exigences concernant le cycle de vie de sécurité du logiciel
13
8 Evaluation de la sécurité fonctionnelle
47
Annexe A (normative) Guide de sélection de techniques et mesures
49
Annexe B (informative) Tableaux détaillés
58
Annexe C (informative) Propriétés relatives à la capabilité systématique du logiciel
63
Annexe D (normative) Manuel de sécurité d'article conforme - exigences supplémentaires pour les composants logiciels
108
Annexe E (informative) Relation entre la IEC 61508-2 et la IEC 61508-3
111
Annexe F (informative) Techniques de réalisation de non interférence entre les composants logiciels d'un seul ordinateur
113
Annexe G (informative) Indications relatives à la personnalisation des cycles de vie associés aux systèmes dirigés par les données
118
Annexe ZA (normative) Références normatives à d'autres publications internationales avec les publications européennes correspondantes
122
Bibliographie
123
Figure 1 - Structure générale de la série IEC 61508
10
Figure 2 - Cycle de vie de sécurité global
11
Figure 3 - Cycle de vie de sécurité du système E/E/PE
16
Figure 4 - Cycle de vie de sécurité du logiciel
16
Figure 5 - Relation et domaine d'application pour la IEC 61508-2 et la IEC 61508-3
17
Figure 6 - Capabilité systématique du logiciel et cycle de vie de développement
17
Figure G.1 - Variabilité de complexité des systèmes dirigés par les données
119
Tableau 1 - Cycle de vie de sécurité du logiciel - présentation
18
Tableau A.1 - Spécification des exigences pour la sécurité du logiciel
50
Tableau A.2 - Conception et développement du logiciel - conception de l'architecture du logiciel
50
Tableau A.3 - Conception et développement du logiciel - outils de support et langage de programmation
52
Tableau A.4 - Conception et développement du logiciel - conception détaillée
52
Tableau A.5 - Conception et développement du logiciel - essai et intégration des modules logiciels
53
Tableau A.6 - Intégration de l'électronique programmable
54
Tableau A.7 - Validation de sécurité du logiciel
54
Tableau A.8 - Modification
55
Tableau A.9 - Vérification du logiciel
56
Tableau A.10 - Evaluation de la sécurité fonctionnelle
57
Tableau B.1 - Règles de conception et de codage
58
Tableau B.2 - Analyse dynamique et essai
59
Tableau B.3 - Essais fonctionnels et boite noire
59
Tableau B.4 - Analyse de défaillance
60
Tableau B.5 - Modélisation
60
Tableau B.6 - Essais de fonctionnement
61
Tableau B.7 - Méthodes semi-formelles
61
Tableau B.8 - Analyse statique
62
Tableau B.9 - Approche modulaire
62
Tableau C.1 - Propriétés relatives à l'intégrité systématique - Spécification des exigences pour la sécurité du logiciel
68
Tableau C.2 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel - Conception de l'architecture logicielle
71
Tableau C.3 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel - outils de support et langage de programmation
82
Tableau C.4 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel
83
Tableau C.5 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel - essai et intégration des modules logiciels
86
Tableau C.6 - Propriétés relatives à l'intégrité systématique - Intégration de l'électronique programmable
88
Tableau C.7 - Propriétés relatives à l'intégrité systématique - Validation de sécurité du logiciel
89
Tableau C.8 - Propriétés relatives à l'intégrité systématique - Modification du logiciel
90
Tableau C.9 - Propriétés relatives à l'intégrité systématique - Vérification du logiciel
92
Tableau C.10 - Propriétés relatives à l'intégrité systématique - Évaluation de la sécurité fonctionnelle
93
Tableau C.11 - Propriétés détaillées - Conception et règles de codage
95
Tableau C.12 - Propriétés détaillées - Analyse dynamique et essais
97
Tableau C.13 - Propriétés détaillées - Essais fonctionnels et boite noire
99
Tableau C.14 - Propriétés détaillées - Analyse des défaillances
101
Tableau C.15 - Propriétés détaillées - Modélisation
102
Tableau C.16 - Propriétés détaillées - Essais de fonctionnement
103
Tableau C.17 - Propriétés détaillées - Méthodes semi-formelles
104
Tableau C.18 - Propriétés relatives à l'intégrité systématique - Analyse statique
105
Tableau C.19 - Propriétés détaillées - Approche modulaire
107
Tableau E.1 - Catégories des exigences de la IEC 61508-2
111
Tableau E.2 - Exigences de la IEC 61508-2 pour le logiciel et leur pertinence typique pour certains types de logiciels
111
Tableau F.1 - Couplage de modules - définition des termes
115
Tableau F.2 - Types de couplage de modules
116

ZOOM SUR... le service Exigences

Pour respecter une norme, vous avez besoin de comprendre rapidement ses enjeux afin de déterminer son impact sur votre activité.

Le service Exigences vous aide à repérer rapidement au sein du texte normatif :
- les clauses impératives à satisfaire,
- les clauses non indispensables mais utiles à connaitre, telles que les permissions et les recommandations.

L’identification de ces types de clauses repose sur le document « Directives ISO/IEC, Partie 2 - Principes et règles de structure et de rédaction des documents ISO » ainsi que sur une liste de formes verbales constamment enrichie.

Avec Exigences, accédez rapidement à l’essentiel du texte normatif !

Avec Exigences, accédez rapidement à l'essentiel du texte normatif !

Besoin d’identifier, de veiller et de décrypter les normes ?

COBAZ est la solution simple et efficace pour répondre aux besoins normatifs liés à votre activité, en France comme à l’étranger.

Disponible sur abonnement, CObaz est LA solution modulaire à composer selon vos besoins d’aujourd’hui et de demain. Découvrez vite CObaz !

Demandez votre démo live gratuite, sans engagement

Je découvre COBAZ