Atelier CAP’TRONIC : Bonnes pratiques pour le développement en C

Formations





Accueil du site > fr > Formations > Ateliers - historique 2015 > Atelier CAP’TRONIC : Bonnes pratiques pour le développement en (...)
Du 19 au 20 novembre 2015Strasbourg
Mettre sur le marché un produit fiable et de qualité est une nécessité, tant du point de vue de l’image de marque de l’entreprise que de sa performance.
Que cela soit en électronique ou en logiciel, la mise en oeuvre de "bonnes pratiques" est un moyen simple et efficace pour développer et fiabiliser ses développements.
L’objectif de cette formation est de présenter aux participants un ensemble de connaissance et de bonnes pratiques en matière de programmation en langage C pour le développement des systèmes embarqués sans oublier une présentation des principaux outils librement disponibles. Cette formation permettra par la suite aux participants de déployer en entreprise les techniques et outils pour améliorer la qualité, la ré-utilisabilité et la maintenabilité du logiciel.
Programme

Jour 1

Introduction
De la conception au développement
1. Processus d’ingénierie (faisabilité, agile, cycle en V)Cadre normatif
2. Conséquence dans le processus de développement
Mieux collaborer
1. Traçabilité (exigences, tests, code, bugs)
2. Change request, Gestion des versions et des configurations
3. Coding Style (Google, K&R, Eclipse, mbed.org…)
Travaux pratiques

Jour 2

Le C, un langage dangereux ?
1. Restreindre le langage (MISRA)
2. Analyseurs statiques (cppcheck, splint, Frama-C, ...)
3. Analyseurs à l’exécution (Valgrind, Frama-C, ...)
4. Tests (unitaires, d’intégration, build nocturne, intégration continue)
Les architectures d’un système embarqué
1. Contraintes temporelles (tâches, ordonnanceur, processus)
2. BareMetal, OS, ou RTOS ?
Travaux pratiques (Exploration d’architecture et réflexions sur
l’analyse temporelle avec CPAL)

Les intervenants :

RTaW est une société issue de l’INRIA et de l’industrie automobile (PSA, GM) qui propose une expertise, sous la forme de prestations de services et d’une offre logicielle, dans le domaine de la sûreté de fonctionnement et de l’optimisation des architectures électroniques embarquées dans les véhicules.

A ce titre, RTaW contribue à l’état de l’art dans la conception des calculateurs et des réseaux embarqués ainsi que du développementde logiciels, notamment à l’aide de techniques de vérification formelle et d’ingénierie dirigée par les modèles. RTaW travaille avec des grandscomptes dont ABB, Airbus, PSA, Renault et Thales edans les domaines de l’ingénierie système et de la vérification formelle. Références et
publications techniques sont disponibles sur le site web de la société. http://www.realtimeatwork.com

- Lionel Havet, ingénieur ENSICA de formation, a forgé son expérience des systèmes embarqués dans des groupes comme Sagem, Giat Industries, Alspace, Philips et General Motors. Il possède une expérience pratique du design des systèmes de contrôle et du développement de systèmes embarqués critiques.

- Loïc Fejoz de formation docteur/ingénieur, possède une expertise en ingénierie système, et plus particulièrement SysML. Il est de plus développeur de plusieurs logiciels chez RTaW. Ses compétences sont validées par 3 certifications SysML OMG jusqu’au niveau « OCSMP Model Builder Intermediate » ainsi que par une formation « Maîtrise des risques et sûreté de fonctionnement » délivrée par CAB Innovation.

Pré-requis

Le participant doit posséder des bases en programmation (idéalement en C).
Le participant devra venir avec son propre ordinateur avec les logiciels suivants afin de se connecter sur l’ordinateur du formateur :
- PuTTY http://www.putty.org/
- FileZilla https://filezilla-project.org/

Pour être autonome, il peut installer sur sa machine ceux-ci :
- Git
- un compilateur C
- cppcheck ou splint ou Frama-C ©

Participation aux frais :


- Pour les PME adhérentes CAP’TRONIC : prise en charge totale du coût de l’inscription dans la limite de 10 hommes/jour de formation dans l’année d’adhésion. L’inscription sera validée à réception d’un chèque de caution de 100 €TTC par personne, qui sera renvoyé au participant après l’atelier. En cas d’absence non remplacée à l’atelier, la caution sera encaissée et une facture sera établie. Chèque de caution à retourner par courrier à : JESSICA France – Direction Inter-Régionale PNE - CEA SACLAY/NANO INNOV - Bât. 863 – Point courrier 44 – 91191 GIF SUR YVETTE CEDEX.

- Si vous êtes une PME non adhérente, vous pouvez adhérer à l’association JESSICA France pour un montant de 600,00 €TTC, pour cela contactez l’ingénieur CAP’TRONIC.

- Pour les entreprises non éligibles (*), les PME non adhérentes : 400 € HT/jour/personne ; 800 € HT soit 960 € TTC (TVA 20 %) pour les 2 journées et par personne.

- Pour les centres de compétences publics, membres actifs de JESSICA France  : Nous contacter.

- Pour les centres de compétences publics, qui ne sont pas membres actifs de JESSICA France : Nous contacter.

(*) Critères d’éligibilité : Toute PME de droit français, de taille inférieure à 2000 personnes n’étant pas détenue à plus de 50% par un groupe de plus de 2000 personnes.

Remarque : Cet atelier est éligible au financement par votre Organisme Paritaire Collecteur Agréé (OPCA) ou au DIF

Lieu de l’événement :

Hôtel Beaucour
5 rue des bouchers
67000 Strasbourg

Inscription :


Atelier complet
Pour tout renseignement concernant les inscriptions, vous pouvez contacter Florence CAGNARD- 01 69 08 60 54
Crédits © JESSICA FRANCE 2005 - 2016
Le programme CAP’TRONIC est financé par le Ministère de l’Economie et des Finances.