IP5565 - POO orientée certification en C++

IP5565 - POO orientée certification en C++

Objectifs

Objectif général :

A la fin de ce cours, les élèves seront capables
- d'expliquer les contraintes pour la réalisation d'applications certifiables à l'aide d'un language orienté objet.
- de réaliser des programmes simple en C++ respectant ces contraintes.
- de s'intégrer dans un projet de développement de système critique répondant à ces exigences.

Objectifs détaillés :

A la fin de ce cours, les élèves sauront
- citer et expliquer la nature des documents DO-178/ED-12 et DO-332/ED-217
- coder des fonctionnalités d'un système critique avec un langage OO en appliquant :
- les règles de la DO-332//ED-217, notamment celles issues de l'annexe B "FAQ" de la DO-332/ED-217, de la #8 à la #39
- les préconisations de "MISRA C++" et "AUTOSAR Guidelines for the use of the C++14 language in critical and safety-related systems"
- les règles de codage issues de "C++ Core Guidelines" et "JSF-AV"
- transcrire ces règles en C++-17 (au pire C++-14), et en Java 1.8
- vérifier l'application de ces règles en utilisant l'analyse des compilateurs (p. ex. clang-tidy)
- lier les exigences de bas-niveau avec le code
- expliquer l'intérêt de, et savoir mettre en oeuvre la notion d'abstraction gratuite en C++

Place dans le cursus

après IENAC19_APPR_S9_IP5560 Introduction à la programmation orientée objet en C++

Volume horaire (h)

  • Cours magistraux : 4
  • Travaux pratiques : 16
Ce cours fait partie de la formation

En bref

Crédits ECTS : Cf UE

Nombre d'heures 20

Contact(s)

Stéphane CONVERSY

Tél : +33 5 62 17 40 19

Email : stephane.conversy @ enac.fr