Règles de Codage et métriques qualité pour la sûreté et la Cybersécurité des logiciels critiques

 

Objectifs

La mise en place de règles de codage est la technique d’Assurance Qualité Logiciel la plus communément utilisée. Cependant, les clients se questionnent régulièrement sur ce sujet :
- « J’applique des règles de bon sens, mais est-ce suffisant ? Sinon, quelles règles de codage ajouter, ou de manière générale, comment créer mon propre standard ? »
- « Mon projet nécessite une certification de sûreté de fonctionnement logiciel (IEC 61508, DO-178, …), quelles règles de codage dois-je vérifier ? »
- « Mon client me demande d’appliquer les règles MISRA, mais comment appliquer plus de 150 règles en même temps ? Est-ce même possible et raisonnable ? »
- « On me demande d’améliorer la qualité de mon code et de le rendre moins complexe : oui, mais comment faire ? »
Les consultants ISIT se sont posé les mêmes questions depuis la création de la division Assurance Qualité Logiciel il y a plus de 10 ans, dans le cadre de projets embarqués internes ou clients ; et ils ont des réponses pratiques à vous apporter !

Résumé

Au travers de cette formation, vous apprendrez :

  •  Quel est le but d’une règle de codage ?
  •  Que demandent véritablement les normes de sûreté de fonctionnement logiciel (IEC 61508, DO-178, EN 50128, ISO 26262, IEC 62304) ?
  •  Evolution du standard MISRA C/Cfidens_, et présentation des règles les plus importantes ;
  •  Autres standards: Power of 10, JPL, JSFfidens_ …
  •  Standard de codage de cybersécurité (CERT-C/Cfidens_, ISO C Secure) : que demandent-ils, en quoi les règles diffèrent-elles de MISRA ?
  •  Comment choisir et vérifier efficacement ses règles de codage ?
  •  Qu’est-ce que la qualimétrie ou métrologie logiciel ?
  •  A quoi servent les métriques de qualité logiciel et comment les calculer ?
  •  Métriques : quelles limites choisir suivant son projet ?

Pédagogie et supports

  • Un support de cours est remis à chaque stagiaire.
  •  Les formations seront effectuées dans des salles adaptées (salles de réunion)
  •  Compétence du formateur : Plus de 5 ans d’expérience en tant que consultant Assurance Qualité Logiciel dans le secteur des dispositifs médicaux, ou chef de projet et/ou responsables d’activités de tests dans les domaines du développement logiciel, des méthodologies d’Assurance Qualité Logiciel et/ou des techniques de tests logiciels critiques.

Modalité de suivi du stagiaire

Un mini quiz est remis aux participants pour vérifier la compréhension de la formation .Un premier questionnaire de satisfaction est prévu à la fin de la formation, puis un deuxième 2 mois après.

 Pré-requis

Notions sur les languages  C et/ou Cfidens_

Public concerné

Cette formation s’adresse aux chefs de projets, ingénieurs qualité ou développeurs logiciels qui souhaitent ou doivent appliquer des règles de codage, et savoir comment les vérifier efficacement

 

Référence de la formation inter : 1.01.04.0017

Tarif : 1 390€ ht

Durée de la formation : 2 jours (14 heures)

 

Contacter notre service commercial
au 01 40 06 01 68

 

TOULOUSE

Du 27 au 28 mars 2019

LYON

Du 23 au 24 octobre 2019