Sûreté de fonctionnement du logiciel

• Historique de la SdF et notions de la SDF (Fiabilité, Disponibilité, Sécurité…),
• Normes applicables dans le domaine des systèmes complexes,
• Impact de la sécurité sur les organisations/indépendances en fonction des niveaux de sécurité visés
• Poids de la sécurité dans les projets.
  Intégration de la sécurité dans les grandes étapes du cycle de développement de ces systèmes :
• Spécification du système au logiciel
• Architecture de l’électronique au logiciel
• Codage, les règles FMDS de codage
• Tests et couvertures de tests du logiciel
  Méthodes et outils d’évaluation des logiciels critiques :
• Lecture critique de Code
• Analyse statique des règles FMDS du code
• AEEL/AMDEC du logiciel

Séminaire gratuit, inscription obligatoire