ATELIER CAP’TRONIC : Sureté de fonctionnement du logiciel

Formations





Accueil du site > fr > Formations > Ateliers - historique 2012 > ATELIER CAP’TRONIC : Sureté de fonctionnement du logiciel
Du 27 novembre 2012 09:00 au 29 novembre 2012 17:00Grenoble
Objectifs :
- Cerner les exigences normatives pour spécifier, définir l’architecture et contrôler les logiciels
sûrs de fonctionnement
- Présenter les bonnes pratiques pour la spécification, l’architecture et la conception des Logiciels
- Maîtriser les techniques de tests et de validation des logiciels.
PROGRAMME


JOUR 1


- Bref historique
- Normes applicables des différents domaines (CEI 61508, ISO 26262, EN 50128, DO178B...)
- Plan Qualité Logiciel
- Cycle de développement et bonnes pratiques


JOUR 2


- Règles de conception à privilégier au niveau architecture, conception détaillée et codage (modularité, programmation défensive, COTS...)
- Règles de programmation du langage C (fonctions, instructions, données)
- Règles de présentation du code pour la qualité (lisibilité, traçabilité...)
- Présentation des activités de test (organisation, couverture structurelle et fonctionnelle des tests)
- Vérification du Logiciel (analyse documentaire, traçabilité, lecture croisée, analyse statique...)


JOUR 3


- Tests bas-niveau (tests unitaires, tests d’intégration logiciel/logiciel)
- Tests haut-niveau (tests d’intégration logiciel/matériel, tests de validation)
- Méthodes d’évaluation (LCC, AEEL, revue de tests...)
- Outils utilisés (analyse statique de code, tests unitaires et d’intégration, modélisation, gestion de configuration, compilateurs, traçabilité...)
- Présentation d’un outil d’analyse statique


Intervenant : Julien CANCELIER, Expert en Sûreté de Fonctionnement des Logiciels – Société SERMA INGENIERIE



Prérequis minimum pour la participation à l’atelier :
Bonne connaissance du développement et de la programmation

Cet atelier s’adresse aux Chefs de Projet Logiciel, Responsables Qualité Logiciel, Développeurs, Vérificateurs et Valideurs.

De nombreux exemples et exercices seront proposés tout au long du déroulement de l’atelier ainsi que la présentation d’un outil d’analyse statique de code.

Fourniture du support de présentation (Powerpoint).


Lieu :
Université Joseph Fourier
17 rue Tour de L’eau
38400 St Martin d’Hères

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 – CEA Grenoble Bât. C1 – 17 rue des Martyrs – 38054 GRENOBLE CEDEX 09.
  • Si vous êtes une PME non adhérente, vous pouvez adhérer à l’association JESSICA France pour un montant de 598,00 €TTC, pour cela contactez l’ingénieur CAP’TRONIC.
  • Pour les entreprises non éligibles (*), les PME non adhérentes : 400 € HT/jour/personne
    1 200 € HT soit 1 435,20 € TTC (TVA 19,6 %) pour les trois 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

Contacts :
Serge VIDAL – 04 38 78 42 39 vidal@captronic.fr
Jean-Luc BAUDOUIN : baudouin@captronic.fr

Inscriptions : Janique PERNOUD : pernoud@captronic.fr

Avant le 20 novembre 2012

Crédits © JESSICA FRANCE 2005 - 2016
Le programme CAP’TRONIC est financé par le Ministère de l’Economie et des Finances.