Table des matières. Chapitre 1. Introduction Objectif Rappel Synthèse Bibliographie...

Transcription

1 Table des matières Chapitre 1. Introduction Objectif Rappel Synthèse Bibliographie Chapitre 2. Du système au logiciel Introduction Système de contrôle et de commande Système Application logicielle Qu est-ce que le logiciel? Différents types de logiciels L application logicielle dans son contexte Conclusion Bibliographie Chapitre 3. Normes ferroviaires Introduction Normes génériques Présentation Niveaux de sécurité Historique entre CENELEC et IEC Référentiel CENELEC Présentation... 35

2 6 Normes CENELEC et IEC Description Mise en œuvre Sécurité du logiciel Sécurité versus disponibilité Norme EN CENELEC Introduction Gestion du SSIL Comparaison des versions 2001 et Conclusion Bibliographie Chapitre 4. Risque et niveau de sécurité Introduction Définitions de base Mise en sécurité Qu est-ce que la sécurité? Maîtrise de la sécurité Intégrité de la sécurité Détermination du SIL Table de SIL Allocation des SIL Gestion des SIL Software SIL Processus itératif Identification des exigences de sécurité Dans les normes CEI/IEC et CEI/IEC Graphe de risque LOPA Bilan Conclusion Bibliographie Chapitre 5. Assurance du logiciel Introduction Prérequis Assurance qualité Introduction Management de l assurance qualité... 90

3 Table des matières Réalisation d une application logicielle Plan d assurance qualité du logiciel (PAQL) Organisation Organisation type Gestion des compétences Maîtrise de la gestion de la configuration Management de l assurance sécurité Vérification et validation Introduction Vérification Validation Evaluation indépendante Qualification des outils Conclusion Annexe A : liste des documents qualité à produire Annexe B : structure d un plan d assurance qualité logiciel Bibliographie Chapitre 6. Management des exigences Introduction Phase d acquisition des exigences Introduction Elucidation des exigences Processus d analyse et de documentation Vérification et validation des exigences Spécification des exigences Caractérisation des exigences Caractérisation de la spécification des exigences Expression des exigences Validation des exigences Réalisation des exigences Processus Vérification Traçabilité Gestion des changements Gestion des exigences Activités Deux approches Mise en place d outils

4 8 Normes CENELEC et IEC Conclusion Bibliographie Chapitre 7. Préparation des données Introduction Rappel Problématique Système paramétré par les données Introduction Caractérisation des données Inhibition de service Synthèse Du système au logiciel Besoin Ce que ne dit pas le référentiel CENELEC Processus de préparation des données Contexte Présentation de la section 8 de la norme 50128: Processus de préparation des données Maîtrise du processus de préparation des données Vérification Phase de spécification Phase d architecture Production des données Intégration de l application et acceptation des tests Validation et évaluation de l application Procédure et outils de préparation de l application Développement du logiciel générique Conclusion Annexe A : documentation à produire Bibliographie Chapitre 8. Application générique Introduction Processus de réalisation d une application logicielle Réalisation d une application générique Phase de spécification Phase d architecture et de conception des composants

5 Table des matières Phase de conception du composant Phase de codage Réalisation des tests de composant Phase d intégration du logiciel Phase de tests d ensemble du logiciel Petit retour d expérience Conclusion Annexe A : langage Ada Annexe B : langage C Introduction Difficulté du C MISRA-C Exemple de règle Annexe C : langage orienté objet, présentation Annexe D : documentation à produire Bibliographie Chapitre 9. Modélisation et formalisation Introduction Modélisation Objectifs Différents types de modélisation Modèle Prise en compte des techniques et méthodes formelles Définitions UML Petite introduction aux méthodes formelles Rappel Utilisation dans le ferroviaire Synthèse Mise en œuvre des méthodes formelles Processus classiques Processus prenant en compte les méthodes formelles Problématique Maintenance de l application logicielle Conclusion Bibliographie

6 10 Normes CENELEC et IEC Chapitre 10. Qualification des outils Introduction Concept de qualification Problématique CENELEC 50128: DO IEC ISO CENELEC 50128: Introduction Dossier de qualification Processus de qualification Mise en œuvre du processus de qualification Adéquation au besoin Méthode de conception En cas d incompatibilité La génération de code Gestion des versions Identification des versions Analyse des défauts Changement de version Processus de qualification Dossier de qualification Au final Qualification des outils non commerciaux Conclusion Bibliographie Chapitre 11. Maintenance et déploiement Introduction Besoins Gestion des défauts Maîtrise des évolutions Déploiement Problématique Mise en œuvre En réalité Maintenance du logiciel

7 Table des matières Problématique Mise en œuvre Ligne de produits Conclusion Annexe : documentation à produire Bibliographie Chapitre 12. Evaluation et certification Introduction Evaluation Principes CENELEC 50128: Cross-acceptance Certification Certification de produit Certification de logiciel Maîtrise des évolutions Conclusion Annexe : documentation à produire Bibliographie Conclusion Glossaire Index