Centrales nucléaires de puissance - Instrumentation et contrôle-commande importants pour la sûreté - Aspects logiciels des systèmes programmés réalisant des fonctions de catégorie A

<H1>Avant-propos 2</H1> <H1>INTRODUCTION 5</H1> <H1>1 Domaine d'application et objet 8</H1> <H1>2 Références normatives 8</H1> <H1>3 Termes et définitions 9</H1> <H1>4 Symboles et abréviations 14</H1> <H1>5 Exigences générales pour les projets logiciel 14</H1> <H2>5.1 Généralités 14</H2> <H2>5.2 Types de logiciel 16</H2> <H2>5.3 Principe de développement du logiciel 17</H2> <H2>5.4 Gestion du projet logiciel 19</H2> <H2>5.5 Plan d'assurance qualité logiciel 19</H2> <H2>5.6 Gestion de configuration 20</H2> <H2>5.7 Sécurité du logiciel 21</H2> <H1>6 Exigences du logiciel 23</H1> <H2>6.1 Spécification des exigences du logiciel 23</H2> <H2>6.2 Auto-surveillance 24</H2> <H2>6.3 Test périodique 24</H2> <H2>6.4 Documentation 25</H2> <H1>7 Conception et réalisation 25</H1> <H2>7.1 Principes pour la conception et la réalisation 26</H2> <H2>7.2 Langages, traducteurs et outils associés 28</H2> <H2>7.3 Recommandations détaillées 29</H2> <H2>7.4 Documentation 31</H2> <H1>8 Vérification du logiciel 31</H1> <H2>8.1 Processus de vérification du logiciel 31</H2> <H2>8.2 Activités de vérification du logiciel 32</H2> <H1>9 Aspects logiciels de l'intégration du système 36</H1> <H2>9.1 Aspects logiciels du plan d'intégration du système 37</H2> <H2>9.2 Intégration du système 38</H2> <H2>9.3 Vérification du système intégré 38</H2> <H2>9.4 Procédures de résolution de défaut 39</H2> <H2>9.5 Aspects logiciels du compte rendu de vérification du système intégré 39</H2> <H1>10 Aspects logiciels du plan de validation 40</H1> <H2>10.1 Aspects logiciels du plan de validation système 40</H2> <H2>10.2 Validation du système 40</H2> <H2>10.3 Aspects logiciels du compte rendu de validation du système 41</H2> <H2>10.4 Procédures de résolution de défaut 41</H2> <H1>11 Modification du logiciel 41</H1> <H2>11.1 Procédure de demande de modification 42</H2> <H2>11.2 Procédure d'exécution d'une modification du logiciel 43</H2> <H2>11.3 Modification du logiciel après livraison 44</H2> <H1>12 Aspects logiciels de l'installation et de l'exploitation 45</H1> <H2>12.1 Installation du logiciel sur site 45</H2> <H2>12.2 Sécurité informatique sur site 45</H2> <H2>12.3 Adaptation du logiciel aux conditions sur site 46</H2> <H2>12.4 Formation des opérateurs 46</H2> <H1>13 Moyens de défense contre les défaillances logicielles de cause commune 47</H1> <H2>13.1 Généralités 47</H2> <H2>13.2 Conception du logiciel pour éviter les CCF 48</H2> <H2>13.3 Sources et effets des CCF logicielles 48</H2> <H2>13.4 Mise en oeuvre de la diversité 49</H2> <H2>13.5 Pondération des inconvénients et des avantages liés à l'utilisation de la diversité 49</H2> <H1>14 Outils logiciels pour le développement de logiciels 49</H1> <H2>14.1 Généralités 49</H2> <H2>14.2 Sélection des outils 50</H2> <H2>14.3 Exigences applicables aux outils 51</H2> <H1>15 Qualification de logiciels prédéveloppés 56</H1> <H2>15.1 Généralités 56</H2> <H2>15.2 Exigences générales 56</H2> <H2>15.3 Processus d'évaluation et d'agrément 57</H2> <H2>15.4 Exigences liées à l'intégration dans le système et à la maintenance des PDS 65</H2> <H1>Annexe A (normative) Cycle de vie et de sûreté du logiciel et détails des exigences du logiciel 66</H1> <H1>Annexe B (normative) Exigences et recommandations détaillées relatives à la conception et à la réalisation 68</H1> <H1>Annexe C (informative) Exemple d'ingénierie à base de logiciel orienté application (développement de logiciel avec un langage orienté application) 81</H1> <H1>Annexe D (informative) Langage, traducteur, éditeur de liens 85</H1> <H1>Annexe E (informative) Vérification et test du logiciel 87</H1> <H1>Annexe F (informative) Liste typique des documents relatifs au logiciel 95</H1> <H1>Annexe G (informative) Considérations sur les CCF et la diversification 96</H1> <H1>Annexe H (informative) Outils pour la production et la vérification des spécifications, de la conception et du code 100</H1> <H1>Annexe I (informative) Exigences concernant les logiciels prédéveloppés (PDS) 103</H1> <

Voir plus Voir moins