Logo de la rubrique ATELIER CAP’TRONIC : Sureté de fonctionnement du logiciel

ATELIER CAP’TRONIC : Sureté de fonctionnement du logiciel

Du 27 novembre 2012 09:00 au 29 novembre 2012 17:00 Grenoble

Pour connaitre les prochaines sessions de formation en Sûreté de fonctionnement, cliquez ici




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

Les inscriptions sont closes. Pour connaitre les prochaines sessions de formation en Sûreté de fonctionnement, cliquez ici