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