Comprendre la Sûreté de Fonctionnement logiciel

• Comprendre les spécificités du logiciel d’un point de vue Sûreté de Fonctionnement.
• Connaitre les concepts de base de la SDF logiciel.
• Comprendre l’approche des normes de la SdF logiciel.
• Comprendre les activités nécessaires à l’implémentation d’un Système Informatique.
• Connaitre plusieurs méthodes pour éviter la défaillance d’un Système Informatique.
• Expliquer les étapes de suivi d’une implémentation et la démarche d’audit.

Jour 1

POURQUOI LA SDF DU LOGICIEL?
• Définitions générales,
• Objectifs de la SdF,
• Qu’est-ce qu’un logiciel critique ?
• Interaction entre la SdF logiciel et le système,
• Particularités du logiciel.

APPROCHE NORMÉE
• Quelques normes de la SdF logicielle,
• Approche des normes SdF logicielle,
• Objectifs pour quelques normes SdF logicielles.

CYCLE DE DÉVELOPPEMENT SYSTÈME / LOGICIEL
• Cycle en V,
• L’intégrité du logiciel
• Activités SdF associées au cycle en V.

GESTION DES FLUX ET CANTONNEMENT DES ERREURS
• Couplage de contrôles,
• Couplages de données,
• Contrôle de l’intégrité de la donnée.

SPÉCIFICATION ET CONCEPTION
• Règles de spécification,
• Règles de conception,
• Traçabilité et couverture.

Exercices

Jour 2

IMPLÉMENTATION
• Règles de développement,
• Les choix de développement,
• Mécanismes de surveillance et de protection.

VÉRIFICATION ET VALIDATION
• Validation et vérification,
• Revues,
• La démonstration de la robustesse du logiciel,
• La démonstration du déterminisme du logiciel.

LES ACTIVITÉS SUPPORT DE LA SDF DU LOGICIEL
• La gestion de configuration,
• L’assurance qualité du logiciel,
• La démonstration de conformité du logiciel,
• La démarche de suivi et d’audit.

LES CONSIDÉRATIONS COMPLÉMENTAIRES
• La problématique des COTS,
• La gestion des logiciels préalablement développés,
• La gestion des outils,
• Les données de paramétrage,
• Les moyens de conformité alternatifs.

VIRTUALISATION

MÉTHODOLOGIE AGILE

Exercices

Ingénieur SdF, Responsable logiciel, Architecte logiciel, Concepteur logiciel, Développeur logiciel, Ingénieur V&V, Ingénieur système, Chef de projet.

Maîtriser le contenu du cours MDR_01.