NF EN 61508-3
Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3 : software requirements
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
The Requirements department helps you quickly locate within the normative text:
- mandatory clauses to satisfy,
- non-essential but useful clauses to know, such as permissions and recommendations.
The identification of these types of clauses is based on the document “ISO / IEC Directives, Part 2 - Principles and rules of structure and drafting of ISO documents ”as well as on a constantly enriched list of verbal forms.
With Requirements, quickly access the main part of the normative text!
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