Specifier et contrôler les exigences de SDF du logiciel
OBJECTIFS DE LA METHODE 
Aider le Maître d’Ouvrage d'un système logiciel qui doit satisfaire à des critères de sûreté de fonctionnement (Fiabilité, Maintenabilité, Disponibilité, Sécurité), à :
- Sélectionner les exigences les plus pertinentes compte tenu du type de système, de la criticité des fonctions de ce système, du référentiel normatif applicable,
- Exprimer les exigences de sûreté du logiciel (produit, processus) devant figurer dans le Cahier des Charges ou la Spécification technique,
- Préparer l'analyse des réponses des constructeurs à ces exigences.
DEMARCHE 

RESULTATS 
- Description des niveaux d'intégrité de sûreté applicables aux différents constituants du logiciel, à partir de la connaissance des analyses de sûreté de niveau système,
- Identification détaillée des critères de Sûreté de Fonctionnement à retenir, des Événements Redoutés, des fonctions de sûreté et de leur criticité,
- Définition du contenu requis pour le Plan de Sûreté Logiciel et le Plan de Validation de la Sûreté du Logiciel,
- Définition des exigences portant sur le cycle de vie de sûreté du logiciel, les processus (gestions de documentation, de configuration, des modifications, de la qualité,…) et l'organisation (indépendance des équipes, formation, outillage de développement, bancs de tests,…),
- Définition des exigences sur le contenu des documents relatifs au logiciel sûr de fonctionnement (Documents de Spécifications, d'Architecture, de Conception détaillée, de Codage, de Tests unitaires, d'Intégration et de Validation),
- Définition des Clauses Techniques de Sûreté du Logiciel à intégrer au Cahier des Charges,
- Grille d'analyse des réponses des constructeurs à ces clauses techniques.

