NF EN 61508-3
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é.
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é.
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é".
- AVANT-PROPOS2
- INTRODUCTION6
-
1 Domaine d'application8
-
2 Références normatives11
-
3 Définitions et abréviations12
-
4 Conformité à la présente norme12
-
5 Documentation12
-
6 Exigences supplémentaires pour la gestion du logiciel de sécurité12
-
7 Exigences concernant le cycle de vie de sécurité du logiciel13
-
8 Evaluation de la sécurité fonctionnelle47
- Annexe A (normative) Guide de sélection de techniques et mesures49
- Annexe B (informative) Tableaux détaillés58
- Annexe C (informative) Propriétés relatives à la capabilité systématique du logiciel63
- Annexe D (normative) Manuel de sécurité d'article conforme - exigences supplémentaires pour les composants logiciels108
- Annexe E (informative) Relation entre la IEC 61508-2 et la IEC 61508-3111
- Annexe F (informative) Techniques de réalisation de non interférence entre les composants logiciels d'un seul ordinateur113
- Annexe G (informative) Indications relatives à la personnalisation des cycles de vie associés aux systèmes dirigés par les données118
- Annexe ZA (normative) Références normatives à d'autres publications internationales avec les publications européennes correspondantes122
- Bibliographie123
- Figure 1 - Structure générale de la série IEC 6150810
- Figure 2 - Cycle de vie de sécurité global11
- Figure 3 - Cycle de vie de sécurité du système E/E/PE16
- Figure 4 - Cycle de vie de sécurité du logiciel16
- Figure 5 - Relation et domaine d'application pour la IEC 61508-2 et la IEC 61508-317
- Figure 6 - Capabilité systématique du logiciel et cycle de vie de développement17
- Figure G.1 - Variabilité de complexité des systèmes dirigés par les données119
- Tableau 1 - Cycle de vie de sécurité du logiciel - présentation18
- Tableau A.1 - Spécification des exigences pour la sécurité du logiciel50
- Tableau A.2 - Conception et développement du logiciel - conception de l'architecture du logiciel50
- Tableau A.3 - Conception et développement du logiciel - outils de support et langage de programmation52
- Tableau A.4 - Conception et développement du logiciel - conception détaillée52
- Tableau A.5 - Conception et développement du logiciel - essai et intégration des modules logiciels53
- Tableau A.6 - Intégration de l'électronique programmable54
- Tableau A.7 - Validation de sécurité du logiciel54
- Tableau A.8 - Modification55
- Tableau A.9 - Vérification du logiciel56
- Tableau A.10 - Evaluation de la sécurité fonctionnelle57
- Tableau B.1 - Règles de conception et de codage58
- Tableau B.2 - Analyse dynamique et essai59
- Tableau B.3 - Essais fonctionnels et boite noire59
- Tableau B.4 - Analyse de défaillance60
- Tableau B.5 - Modélisation60
- Tableau B.6 - Essais de fonctionnement61
- Tableau B.7 - Méthodes semi-formelles61
- Tableau B.8 - Analyse statique62
- Tableau B.9 - Approche modulaire62
- Tableau C.1 - Propriétés relatives à l'intégrité systématique - Spécification des exigences pour la sécurité du logiciel68
- Tableau C.2 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel - Conception de l'architecture logicielle71
- Tableau C.3 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel - outils de support et langage de programmation82
- Tableau C.4 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel83
- Tableau C.5 - Propriétés relatives à l'intégrité systématique - Conception et développement du logiciel - essai et intégration des modules logiciels86
- Tableau C.6 - Propriétés relatives à l'intégrité systématique - Intégration de l'électronique programmable88
- Tableau C.7 - Propriétés relatives à l'intégrité systématique - Validation de sécurité du logiciel89
- Tableau C.8 - Propriétés relatives à l'intégrité systématique - Modification du logiciel90
- Tableau C.9 - Propriétés relatives à l'intégrité systématique - Vérification du logiciel92
- Tableau C.10 - Propriétés relatives à l'intégrité systématique - Évaluation de la sécurité fonctionnelle93
- Tableau C.11 - Propriétés détaillées - Conception et règles de codage95
- Tableau C.12 - Propriétés détaillées - Analyse dynamique et essais97
- Tableau C.13 - Propriétés détaillées - Essais fonctionnels et boite noire99
- Tableau C.14 - Propriétés détaillées - Analyse des défaillances101
- Tableau C.15 - Propriétés détaillées - Modélisation102
- Tableau C.16 - Propriétés détaillées - Essais de fonctionnement103
- Tableau C.17 - Propriétés détaillées - Méthodes semi-formelles104
- Tableau C.18 - Propriétés relatives à l'intégrité systématique - Analyse statique105
- Tableau C.19 - Propriétés détaillées - Approche modulaire107
- Tableau E.1 - Catégories des exigences de la IEC 61508-2111
- Tableau E.2 - Exigences de la IEC 61508-2 pour le logiciel et leur pertinence typique pour certains types de logiciels111
- Tableau F.1 - Couplage de modules - définition des termes115
- Tableau F.2 - Types de couplage de modules116
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 !
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