Formation MISRA C


Formation MISRA C
  • Référence : 2.08.04.0006 (Intra-entreprise)
  • Durée : 2 jours

Le but de cette formation est de :
- Se sensibiliser avec le consortium MISRA et le standard MISRA C:2012.
- Mettre en œuvre les règles MISRA C:2012 par la pratique.
- Adopter des techniques de codage en C sécuritaires.


Objectifs de la formation

Le but de cette formation est de :
  • Se sensibiliser avec le consortium MISRA et le standard MISRA C:2012.
  • Mettre en œuvre les règles MISRA C:2012 par la pratique.
  • Adopter des techniques de codage en C sécuritaires.
Au travers de cette formation, vous apprendrez :
  • Structure du consortium MISRA.
  • Publications : MISRA-C:1998, MISRA-C:2004 et MISRA C:2012.
  • Contexte de l’utilisation du C dans la conception de logiciels embarqués.
  • Evaluation des risques liés à l’utilisation du C.
  • Mise en place du standard MISRA C:2012 dans le cycle de développement logiciel de l’entreprise.
  • Organisation et classification des règles du standard MISRA C:2012.
  • Mise en place des règles du standard MISRA C:2012 par la pratique.
  • Utilisation d’outils de test de conformité (ex : LDRA Testbed Code Review).

Langue :

Anglais

Durée de la formation

Public concerné

Prérequis

2 jours (14 heures)
Les responsables de projets, ingénieurs et techniciens souhaitant adopter des techniques de codage en C sécuritaires et conformes au standard MISRA C:2012.
La connaissance du langage C est indispensable.

Contact Service formation

Email : formation@isit.fr
Tél : 05 61 30 69 08

« Enregistré sous le numéro 73 31 04675 31. Cet enregistrement ne vaut pas agrément de l’Etat » Art.L6352-12 du Code du travail Circ. N°2006-10 du 16/03/06
I.S.I.T. est référencée au DATADOCK depuis le 28 juin 2017.

Formations associées

Formation Assurance Qualité et Méthodologie de test du logiciel

Formation Assurance Qualité et Méthodologie de test du logiciel

Ce cours, au travers d’un voyage initiatique très complet, permet d’avoir une bonne vision des enjeux et tâches associés à la mise en œuvre d’une stratégie d’Assurance Qualité et Méthodologie de test du logiciel.  


En savoir +

Formation outils LDRA - Version complète

Formation outils LDRA Version complète

La vérification et la validation d'un logiciel représentent une des phases la plus importante du cycle de développement d’un logiciel. Définir une stratégie de revue de code, de test et de validation est la garantie d’une amélioration de la qualité des logiciels.

 


En savoir +

Analyse statique syntaxique de code LDRA TBvision Static / LDRArules

LDRA_static

L'analyse statique de LDRA TBvision Static (intégré à la LDRA tool suite®) et de LDRArules (outil stand-alone) permet de s'assurer qu'un ensemble de règles de codage et de normes de programmation uniformes est appliqué, que le code source C/C++/Java/Ada est correctement structuré, et enfin que  la qualité du logiciel est suffisante, au travers de mesures de la clarté, maintenabilité, testabilité, complexité du code source… LDRA TBvision Static  / LDRArules permettent donc de garantir un meilleur niveau de qualité du code sans impacter le temps de développement.


En savoir +