Concepts et principes de la SdF du logiciel
- Le champ d'application de la SdF et les enjeux.
- Définition du risque.
- Principales caractéristiques.
- Nature des exigences pour le logiciel.
Travaux pratiques
Identification des principales exigences de Sûreté de Fonctionnement du logiciel.
Enjeux et problématiques de la SdF du logiciel
- Construction et terminologie de la SdF du logiciel.
- Assurance de la SdF.
- Le Plan de SdF. Les éléments constitutifs.
Travaux pratiques
Construction de la Sûreté de Fonctionnement du logiciel.
Etude système
- Sécurité innocuité.
- Attribution niveau SIL (selon CEI 61508).
- Notion d'indépendance (selon CEI 61508, ISO 26262).
- Exigence SdF. Exigence fiabilité.
Travaux pratiques
Spécification d'une fonction de sécurité selon CEI 61508.
Fiabilité du logiciel
- Définition. Les déclencheurs et entrants à la fiabilité du logiciel (normes et référentiels). Métrologie.
- Les différents types de logiciels.
- Pourquoi et quand évaluer la fiabilité ? Exemples.
- Fiabilité expérimentale, sa mise en œuvre.
Travaux pratiques
Estimation de la fiabilité d'un logiciel.
Sécurité (innocuité) du logiciel
- Barrière de sécurité.
- Démarche selon la norme CEI 61508.
- Démarche selon la norme STD 882E.
Travaux pratiques
Programme de sécurité (innocuité) selon STD 882E.
AMDEC
- Théorie de l'AMDEC du logiciel : analyse des modes de défaillance, de leurs effets et de leur criticité.
- Les analyses phase par phase.
- L'analyse des mécanismes de défaillance.
- L'évaluation de la criticité.
- Les propositions d'actions correctives.
- La présentation et l'interprétation des résultats.
- AMDE du logiciel.
- Différence avec l'AEEL (Analyse des Effets des Erreurs de Logiciel).
Travaux pratiques
Réalisation d'une analyse AEEL.
COTS
- Intégration de composants COTS.
- COTS pour les systèmes critiques (sécurité innocuité).
- Exemple d'un processus d'étude de sécurité intégrant un COTS.
- Dispositifs architecturaux.
Conclusion
- Les aspects normatifs. Les pratiques industrielles.
- Les principales limites de la méthode AMDEC.