Sensibilisation à la Sûreté de Fonctionnement logiciel

PROGRAMME :

Introduction à la démarche Sûreté de Fonctionnement :

Particularités liées au logiciel

Définitions et modèles mathématiques

Etat de l’art de la Sûreté de Fonctionnement logiciel

Principes généraux

Principales normes : DO 178B, CEI 61508 et ses déclinaisons

Cycle de vie des logiciels et lien avec les cycles de vie système

Cycle de vie logiciel

Démarche de SdF logiciel et cycle de vie

Expression de besoins en SdF logiciel et système,

Exigences quantitatives

Exigences qualitatives

Evénements redoutés logiciel

Construction de la Sûreté de Fonctionnement logiciel

Analyse de Sûreté de Fonctionnement logiciel

Architecture logicielle sûre de fonctionnement

Classification des logiciels

Mise en œuvre des choix de conception

Règles de développement

Vérification et Validation de la Sûreté de Fonctionnement logiciel

Vérification des activités de construction

Validation de la Sûreté de Fonctionnement et vérification des tests

Evaluation de la SdF logiciel,

Collecte de données

Utilisation des modèles et limites

Plan de Sûreté de Fonctionnement des logiciels.

Contenu du plan de Sûreté de Fonctionnement

Elaboration et tenue à jour du plan de Sûreté de Fonctionnement

Dossier de Sûreté de Fonctionnement logiciel

Sûreté de Fonctionnement et réutilisation

Logiciels spécifiques réutilisés

Composants logiciels sur étagère

Qualification des outils de développement de logiciels sûrs de fonctionnement

Compléments sur la normalisation

Autres normes et domaines

Certification en Sûreté de Fonctionnement logiciel

Conclusion

Un texte ! Vous pouvez le remplir avec du contenu, le déplacer, le copier ou le supprimer.

Un texte ! Vous pouvez le remplir avec du contenu, le déplacer, le copier ou le supprimer.

Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam.