Objectifs
|
- Connaissance de base de la réalisation de systèmes embarqués et temps-réel
- Cours théorique
- Support imprimé et PDF (en anglais).
- Assistance du formateur tout au long de la formation.
- Chaque session débute par un point avec les stagiaires.
- Tout ingénieur ou technicien en systèmes embarqués possédant les prérequis ci-dessus.
- Les prérequis sont évalués avant la formation.
- Les progrès sont évalués par des quizz en fin de sections.
- Chaque stagiaire reçoit une attestation de réussite.
- En cas de prérequis manquant, une formation différente ou complémentaire est proposée.
Plan du cours
- 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é
- Nécessité d’une spécification formelle
- Méthodes de spécifications formelles
| Exemple : : | les preuves par invariants, pré et post-conditions | |
- 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
- 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
- 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
- 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
Plus d'information
Pour vous enregistrer ou pour toute information supplémentaire, contactez nous par email à l'adresse info@ac6-formation.com.
Les inscriptions aux sessions de formation sont acceptées jusqu'à une semaine avant le début de la formation. Pour une inscription plus tardive nous consulter
Vous pouvez aussi remplir et nous envoyer le bulletin d'inscription
Ce cours peut être dispensé dans notre centre de formation près de Paris ou dans vos locaux, en France ou dans le monde entier.
Les sessions inter-entreprises programmées sont ouvertes dès deux inscrits. Sous condition d'un dossier complet, les inscriptions sont acceptées jusqu'à une semaine avant le début de la formation.
Dernière mise à jour du plan de cours : 20 mai 2026
L'inscription à nos formations est soumise à nos Conditions Générales de Vente