NF EN 61508-3
NF EN 61508-3

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

Thématiques

Electrotechnologies

Date de parution

septembre 2011

Nombre de pages

127 p.

Référence

NF EN 61508-3

Codes ICS

25.040.40   Mesure et contrôle des processus industriels
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é.
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 !