+ +
- -
Systèmes d'Exploitation
Calendrier  Détails
Programmation
 
Calendrier  Détails
Processeurs ARM
 
Calendrier  Détails
Processeurs PowerPC
 
 
 
 
Calendrier  Détails
Communications
 
 
Calendrier  Détails
+ +
> >
- -

Dernières Nouvelles

Webinaire Linux Embarqué avec System Workbench for Linux sur SoC STMicroelectronics STM32MP1 (gratuit)

Contrôle moteur par des gestes avec System Workbench for Linux sur un MCU STM32MP1 (présentation vidéo)

 
ac6 >> ac6-training >> Programmation >> Temps réel >> Sureté des Systèmes Critiques Télécharger le catalogue Télécharger la page Ecrivez nous Version imprimable

C8 Sureté des Systèmes Critiques

formateur
Objectifs
  • Comprendre les enjeux de la sécurité de fonctionnement
  • Découvrir les méthodes de preuves formelles
  • Appréhender les normes de développement applicables
    • IEC 61508
    • DO-254
    • DO-178B et C
  • Comprendre le processus de certification
Pré-requis
  • Connaissance de base de la réalisation de systèmes embarqués et temps-réel

Premier Jour
Sécurité de fonctionnement
  • Analyse des risques
  • Techniques d’analyse
    • Modes de défauts et analyse des effets
    • Analyse de l’arbre des défaillances
  • Certification de la sécurité
  • Technique de prévention des défaillances
    • Systèmes à sécurité inhérente
    • Limitation de l’effet des défaillances
  • Sécurité et fiabilité
Preuves formelles
  • Nécessité d’une spécification formelle
  • Méthodes de spécifications formelles
Exemple : :  les preuves par invariants, pré et post-conditions
Les normes de la sureté de fonctionnement logiciel
  • Norme CEI 61508
    • Les niveaux d’intégrité de sécurité (SIL 1 à 4)
    • Validation
  • Norme DO-178 (B & C) et DO-254
    • Les niveaux de criticité (A à E)
    • Qualification des outils
  • Les autres normes
Second Jour
Le processus de certification
  • Organismes de certification
    • FAA
    • AESA
    • JAA
  • Procédures de certification
  • Différents type de certificats
    • Type Certificate (TC)
    • Supplemental Type Certificate
  • Les TSO (Technical Service Order)
  • Le rôle des DER (Designated Engineering Representative)
    • Différence entre la FAA et l’AESA
  • Le chemin vers une certification réussie
La norme DO-178B
  • Le modèle de développement DO-178B
    • DO-178B et DO-254
    • Le cycle en fuseau
    • Les processus du cycle de vie
    • Différence entre vérification et test
  • Le processus de développement
    • Support au développement
    • Développement
    • Assurance qualité
    • Certification
  • Le cadre de vérification
    • Revues
    • Analyses
    • Tests
  • La traçabilité des exigences
    • Liens avec les tests
    • Couverture de tests
  • DO-178B et produits sur étagère
Troisième Jour
La norme DO-178C
  • Pourquoi une nouvelle norme
    • Objectif de la DO-178C
    • Stratégie de définition
    • Structure de la norme DO-178C
  • Les différences par rapport à la DO-178B
    • Clarifications de la norme
    • Changements apportés au Coeur du codument
    • Nouveaux elements
  • Les suppléments
    • DO-330 : Qualification des outils
    • DO-331 : Développement par les modèles
    • DO-332 : Technologies objet
    • DO-333 : Méthodes formelles