| oC1 | Effective MISRA C |
MISRA C:2023, including guidelines for safety and security supporting all published versions of the C standard
|
Objectives
|
- Le cours est destiné aux développeurs, ingénieurs et architectes ainsi qu'aux ingénieurs V&V et chefs de projet. Le contenu est destiné vers les personnes ayant une compréhension pratique du langage de programmation C; cependant, aucune connaissance préalable de MISRA C n'est requise. Le cours, qui privilégie autant que possible les approches participatives, est basé sur les méthodologies suivantes : cours/conférences, discussions, questions et réponses, démonstrations, sessions pratiques, exercices. Un examen final optionnel est également prévu.
- Le contenu est destiné aux personnes ayant une compréhension pratique du langage de programmation C ; cependant, aucune connaissance préalable de MISRA C n'est requise.
- Cours théorique
- Support de cours au format PDF (en anglais).
- Cours dispensé via le système de visioconférence Teams.
- Le formateur répond aux questions des stagiaires en direct pendant la formation et fournit une assistance technique et pédagogique.
- Au début de chaque demi-journée une période est réservée à une interaction avec les stagiaires pour s'assurer que le cours répond à leurs attentes et l'adapter si nécessaire
- Les prérequis indiqués ci-dessus sont évalués avant la formation par l'encadrement technique du stagiaire dans son entreprise, ou par le stagiaire lui-même dans le cas exceptionnel d'un stagiaire individuel.
- Les progrès des stagiaires sont évalués par des quizz proposés en fin des sections pour vérifier que les stagiaires ont assimilé les points présentés
- En fin de formation, une attestation et un certificat attestant que le stagiaire a suivi le cours avec succès.
- En cas de problème dû à un manque de prérequis de la part du stagiaire, constaté lors de la formation, une formation différente ou complémentaire lui est proposée, en général pour conforter ses prérequis, en accord avec son responsable en entreprise le cas échéant.
Plan du cours
- Review of undefined, unspecified and implementation-defined behavior in C
- How the compilers may take advantage of undefined behavior
- Review of explicit and implicit casts
- Balancing
- Promotion
- Arithmetic conversions
- Review of enumerated, integer and floating-point types: representation and operations.
- Review of common integer pitfalls
- Overflow
- Sign error
- Extension
- Truncation
- Review of common floating-point pitfalls
- Error propagation
- Comparison
- Excess precision
- Review of arrays, strings, pointer types and associated programming errors
- access outside bounds
- Null-termination
- Truncation
- Off-by-one errors
- Introduction to MISRA
- The purpose of MISRA C and its role in improving code quality
- The MISRA C essential type system and other preliminary notions
- MISRA C:2012 guidelines related to not fully defined behavior of C
- Test on not fully defined behavior of C and related MISRA C guidelines
- Other important MISRA C:2012 guidelines.
- MISRA C:2012 guidelines for security
- Test on MISRA C violations and the best ways to deal with them.
- Properly formulating defensible claims of MISRA compliance.
- Automatic verification of compliance to the MISRA C rules
- Available tools
- Tools proper configuration and use.
- Demonstrative analysis of the MISRA C violations in real software projects
- Along with the correct remediation measures.
Durée
20 heures
Prix
2400 € HT
Calendrier
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 a été conçu spécifiquement pour être dispensé à distance. Nos formateurs sont bilingues et assurent le cours en français ou en anglais.
Les sessions inter-entreprises programmées sont ouvertes dès deux inscrits. Sous condition d'un dossier complet, les inscriptions sont acceptées jusqu'à deux jours ouvrés avant le début de la formation.
Une version adaptée à un cours en présentiel est disponible sous la référence C1 - Effective MISRA C
Dernière mise à jour du plan de cours : 30 septembre 2024
L'inscription à nos formations est soumise à nos Conditions Générales de Vente