Sûreté de fonctionnement du logiciel
Jeudi 14 mars 2013 09:00-17:30
Besançon (25)

PROGRAMME
Introduction à la Sûreté de Fonctionnement (SdF/FMDS) des systèmes électroniques et électroniques programmables :
- 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
Intervenant : Julien Cancelier - SERMA Ingénierie
Séminaire gratuit, inscription obligatoire
Contact et inscription : Serge VIDAL
Plan d’accès