• JOUR 1 : Développement de logiciels sûrs

    • Logiciels et Sûreté de Fonctionnement : Particularités liées au logiciel & Principes Sûreté de Fonctionnement (SdF)
    • Exemple d’architecture informatique
    • Interaction « logiciel / matériel » : Application au logiciel
    • Logiciel et SdF : Application au logiciel
    • Application certifiable : Contexte, Norme IEC 61508, Evaluation & Certification
    • Gestion du développement : Evitement des fautes
    • Gestion des Exigences
    • Introduction à la conception de logiciel “correct“ : Méthode B, SCADE...


  • JOUR 2 : Vérification & Validation

    • Techniques de Vérification et Validation des logiciels

    • Techniques de sécurisation de l’application logicielle :

      • Principes
      • Spécification des erreurs
      • Recouvrement
      • Programmation défensive
    • Diversité
    • Redondance
    • UML & Système certifiable : Application critique sûre de fonctionnement, Application certifiable, Contraintes de développement, UML & applications critiques, Exemple d’utilisation