Sûreté de fonctionnement du logiciel : un facteur de la "fiabilisation" des systèmes électroniques

Séminaires





Accueil du site > fr > Séminaires > Séminaires - historique 2012 > Sûreté de fonctionnement du logiciel : un facteur de la "fiabilisation" des (...)
Mardi 19 juin 2012TALENCE (33)
Le logiciel est aujourd’hui omniprésent dans les systèmes embarqués qui nous entourent. Les fonctions que prennent en charge ces logiciels sont de plus en plus critiques au regard de la sécurité des personnes, de l’environnement ou des biens. Il est indispensable pour les développeurs d’avoir en tête des notions de qualité et de sûreté de fonctionnement pour prendre le moins de risque possible dès le début du développement.
Il faut pour cela, appréhender les normes (automobile, nucléaire, ferroviaire, aéronautique…), les méthodes et outils utilisés pour l’évaluation des logiciels critiques.

Lors de ce séminaire, nous apporterons beaucoup d’importance aux échanges afin de faire un parallèle avec les approches généralement mieux maîtrisées des participants à savoir le Hardware. Nous aborderons également des points plus généraux en terme d’organisation à mettre en place (qualité, indépendance des équipes), surcoûts liés à l’intégration de la sécurité en fonction des niveaux de sécurité visés.

PROGRAMME

Accueil 9h00

- 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épendance en fonction des niveaux de sécurité visés,
• Poids de la sécurité dans les projets.

Déjeuner sur place

- 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

- Questions/réponses tout le long de la journée

Intervenant : Julien CANCELIER, Expert en Sûreté de Fonctionnement des Logiciels – Société SERMA INGENIERIE. Il intervient aujourd’hui en tant que formateur, auditeur ou analyste sur des systèmes critiques dans les domaines du ferroviaire, du médical, de l’automobile, de l’aéronautique.

Personnes concernées : Responsables Développement logiciel, Responsables Qualité, Chefs de Projets

Date et lieu : 19 juin 2012 de 09h00 à 17h00 – ENSEIRB MATMECA - 1 avenue du Dr Albert Schweitzer - 33400 TALENCE

Prix : Les frais de ce séminaire sont pris en charge par le programme CAP’TRONIC (*)

Inscription obligatoire en ligne
Crédits © JESSICA FRANCE 2005 - 2016
Le programme CAP’TRONIC est financé par le Ministère de l’Economie et des Finances.