UTE C46-063
UTE C46-063

UTE C46-063

April 2000
Reference document Cancelled

Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3 : software requirements

Main informations

Collections

National standards and national normative documents

Publication date

April 2000

Number of pages

49 p.

Reference

UTE C46-063

ICS Codes

25.040.40   Industrial process measurement and control

Classification index

C46-063U

Print number

1 - mai 2000

International kinship

IEC 61508-3:1998
Standard replaced by (1)
NF EN 61508-3
NF EN 61508-3
March 2002
Standard Cancelled
Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3 : software requirements

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é".

Table of contents
  • AVANT-PROPOS
    4
  • INTRODUCTION
    5
  • 1 Domaine d'application
    7
  • 2 Références normatives
    10
  • 3 Définitions et abréviations
    10
  • 4 Conformité à la présente norme
    10
  • 5 Documentation
    10
  • 6 Système de gestion de la qualité du logiciel
    11
  • 6.1 Objectifs
    11
  • 6.2 Prescriptions
    11
  • 7 Prescriptions concernant le cycle de vie de sécurité du logiciel
    12
  • 7.1 Généralités
    12
  • 7.2 Spécification des prescriptions de sécurité du logiciel
    18
  • 7.3 Planification de la validation de sécurité du logiciel
    21
  • 7.4 Conception et développement du logiciel
    22
  • 7.5 Intégration de l'électronique programmable (matériel et logiciel)
    28
  • 7.6 Procédures d'exploitation et de modification du logiciel
    30
  • 7.7 Validation de sécurité du logiciel
    30
  • 7.8 Modification du logiciel
    31
  • 7.9 Vérification du logiciel
    33
  • 8 Evaluation de la sécurité fonctionnelle
    38
  • Annexe A (normative) Guide de sélection de techniques et mesures
    39
  • Annexe B (normative) Tableaux détaillés
    45
  • Annexe C (informative) Bibliographie
    49
  • Tableau 1 Cycle de vie de sécurité du logiciel : présentation
    15
  • Tableau A.1
    Spécification des prescriptions de sécurité du logiciel (voir 7.2) 40
  • Tableau A.2
    Conception et développement du logiciel : conception de l'architecture du logiciel (voir 7.4.3) 40
  • Tableau A.3
    Conception et développement du logiciel : outils supports et langage de programmation (voir 7.4.4) 41
  • Tableau A.4
    Conception et développement du logiciel : conception détaillée (voir 7.4.5 et 7.4.6) 41
  • Tableau A.5
    Conception et développement du logiciel : test et intégration des modules logiciels (voir 7.4.7 et 7.4.8) 42
  • Tableau A.6
    Intégration de l'électronique programmable (matériel et logiciel) (voir 7.5) 42
  • Tableau A.7
    Validation de sécurité du logiciel (voir 7.7) 42
  • Tableau A.8
    Modification du logiciel (voir 7.8) 43
  • Tableau A.9
    Vérification du logiciel (voir 7.9) 43
  • Tableau A.10 Evaluation de sécurité fonctionnelle (voir article 8)
    44
  • Tableau B.1
    Règles de conception et de codage (référencées dans le tableau A.4) 45
  • Tableau B.2
    Analyse dynamique et test (référencés dans les tableaux A.5 et A.9) 45
  • Tableau B.3
    Tests fonctionnel et boîte noire (référencés dans les tableaux A.5 et A.9) 46
  • Tableau B.4
    Analyse de défaillance (référencée dans le tableau A.10) 46
  • Tableau B.5
    Modélisation (référencée dans le tableau A.7) 46
  • Tableau B.6
    Modélisation du fonctionnement (référencé dans les tableaux A.5 et A.6) 47
  • Tableau B.7
    Méthodes serni-formelles (référencées dans les tableaux A.1, A.2 et A.4) 47
  • Tableau B.8
    Analyse statique (référencée dans le tableau A.9) 47
  • Tableau B.9
    Approche modulaire (référencée dans le tableau A.4) 48
  • Figure 1 Structure globale de la présente norme
    9
  • Figure 2 Cycle de vie de sécurité d'un E/E/PES (en phase de réalisation)
    13
  • Figure 3 Cycle de vie de sécurité du logiciel (en phase de réalisation)
    13
  • Figure 4 Relations entre la IEC 61508-2 et la IEC 61508-3 et leurs domaines d'application respectifs
    14
  • Figure 5 Intégrité de sécurité du logiciel et cycle de vie de développement (modèle en V)
    14
  • Figure 6 Relation entre les architectures matérielle et logicielle pour l'électronique programmable
    18
Need to identify, monitor and decipher standards?