Sécurité fonctionnelle des systèmes embarquésRisques et systèmes industriels et IA (RSIIA) (MRI)

Présentation systématique de la sûreté de fonctionnement logiciel Acquérir une perception globale des questions soulevées par la sûreté des systèmes critiques à logiciel prépondérant, quelque soit le métier considéré (ferroviaire, automobile, avionique, défense, sécurité incendie, énergie…) Connaître les normes de références, les bonnes pratiques, les outils et méthodes standard. Comprendre comment les contenus de différents cours prérequis peuvent être mis en œuvre pour traiter un problème de sûreté logiciel.

Présentation générale de la problématique de la sûreté de fonctionnement logiciel Processus d'acceptation et mise en service Différence entre sécurité et sûreté

Normes de Sûreté de Fonctionnement Normes sectorielle : avionique, automobile, nucléaire, Médical ,processus industriels et machines, ferroviaire.

Cycle de vie Système et activité de sûreté de fonctionnement logiciel les niveau de SIL (Safety Intégrity Level) les activités de vérifications

Plans Méthodologiques / Organisation principes de bases de la qualité, Plan d'assurance qualité du logiciel support pour les activité de vérifications en fonction des exigences FMDS description détaillée des activités, analyse et moyens

Sûreté de Fonctionnement tout au long du cycle de vie du logiciel niveau de SIL attendu performances exigences FDM répartition des tâche pour atteindre les objectifs de sécurité Types d'analyse et analyses de sécurité

Phase de spécification le système et ses missions mode d'utilisation du systèmes spécification des exigences fonctionnelles et non fonctionnelles Phases de conception Spécification des modules : décomposition et description des modules matrice de traçabilité SwDS/SwMDS

Activité de test, vérification, validation les techniques et outils Couvertures : structurelle, fonctionnelle

Calculatrice autorisée.

Cottet, Francis ; Grolleau, Emmanuel, "Systèmes temps réel de contrôle-commande : conception et implémentation", Dunod

Brenier, Henri, "Les spécifications fonctionnelles : automatismes industriels et temps réel", Dunod De Geeter, Jean-Marie, "Approche du temps réel industriel", Ellipses

Cottet, Francis, "Ordonnancement temps réel : cours et exercices corrigés", Hermès

Nussbaumer, Henri, "Informatique industrielle. 2, Introduction à l'informatique du temps réel", Presses polytechniques et universitaires romandes Hersch, Roger D, "Informatique industrielle : microprocesseurs et interfaces temps-réel", Presses polytechniques et universitaires romandes