NF EN 60880 : 2010

Avant-propos
INTRODUCTION
1 Domaine d'application et objet
2 Références normatives
3 Termes et définitions
4 Symboles et abréviations
5 Exigences générales pour les projets logiciel
6 Exigences du logiciel
7 Conception et réalisation
8 Vérification du logiciel
9 Aspects logiciels de l'intégration du système
10 Aspects logiciels du plan de validation
11 Modification du logiciel
12 Aspects logiciels de l'installation et de
   l'exploitation
13 Moyens de défense contre les défaillances
   logicielles de cause commune
14 Outils logiciels pour le développement de logiciels
15 Qualification de logiciels prédéveloppés
Annexe A (normative) - Cycle de vie et de sûreté
         du logiciel et détails des exigences du
         logiciel
Annexe B (normative) - Exigences et recommandations
         détaillées relatives à la conception et à la
         réalisation
Annexe C (informative) - Exemple d'ingénierie à
         base de logiciel orienté application
         (développement de logiciel avec un
         langage orienté application)
Annexe D (informative) - Langage, traducteur,
         éditeur de liens
Annexe E (informative) - Vérification et test du logiciel
Annexe F (informative) - Liste typique des
         documents relatifs au logiciel
Annexe G (informative) - Considérations sur les
         CCF et la diversification
Annexe H (informative) - Outils pour la production
         et la vérification des spécifications, de
         la conception et du code
Annexe I (informative) - Exigences concernant les
         logiciels prédéveloppés (PDS)
Annexe J (informative) - Correspondance entre la
         CEI 61513 et cette norme
Annexe ZA (normative) - Références normatives
          à d'autres publications internationales
          avec les publications européennes
          correspondantes