 |
 |
 |
 |
 |
 |
 |
 |
 |
Methodologie
La Sûreté de Fonctionnement des logiciels intégrés dans un système complexe dépend quasi exclusivement de la complétude de la définition des besoins, de la conception, des Tests Unitaires, d'Intégration et de la validation dans le système.
SURLOG propose un ensemble de méthodes pour :
- Spécifier les exigences de Sûreté de Fonctionnement du logiciel,
- Mettre en œuvre les tests du logiciel,
- Auditer le processus de développement du logiciel,
- Détecter l'impact des dysfonctionnements du logiciel sur le système
Une erreur bénigne dans un module enfoui dans le logiciel, une mauvaise interprétation des besoins fonctionnels du système, une interface erronée du logiciel avec son environnement, peuvent entraîner des risques nuisant gravement à la Sécurité Fonctionnelle du système.
C'est pourquoi le métier de SURLOG est de mettre en œuvre les Techniques d'Évaluation de Vérification et de Validation de la Sûreté de Fonctionnement du logiciel pour :
- Contrôler la complétude du code d'un logiciel (LCC),
- Vérifier la couverture des tests du logiciel,
- Analyser l'impact des modifications du logiciel,
- Analyser les Modes de Défaillance du logiciel et leurs Effets sur le système (AMDE, AEEL),
- Prouver formellement un logiciel.
