Responsable scientifique


Gérard BERRY
Directeur scientifique de la société ESTEREL Technology - Académie des sciences.

Fiche complète

Intervenants


Michel TURIN
Expert consultant systèmes numériques (GTI6). 30 ans d'expérience à EADS space.

Fiche complète

 

Connaître les dernières avancées sur les logiciels critiques.

 

Les logiciels temps réel doivent respecter des contraintes extrêmement strictes en matière de réactivité à des demandes de calcul. Leur conception et leur vérification font donc appel à des techniques formelles que les industriels du domaine aéronautique mettent désormais en œuvre aujourd’hui pour développer et certifier les systèmes numériques les plus critiques pour le fonctionnement opérationnel d’un avion. Ces méthodes s’appliquent aussi à d’autres applications critiques dans le nucléaire, l’automobile, l’énergie ou le transport en général.

 

 

Objectifs de la formation

  • Connaître les méthodes de conception et de vérification des logiciels critiques.
  • Maîtriser la sûreté d’un logiciel critique à toutes les phases de son développement.
  • Être sensibilisé aux problèmes de certification d’un logiciel critique.
  • Étudier des logiciels critiques du domaine aéronautique.

Le programme

Pour qui ?

  • Responsable du développement de systèmes numériques critiques
  • Responsable d’un atelier de développement logiciel
  • Architecte ou ingénieur logiciel temps réel
  • Ingénieur méthodes et qualité

Introduction au modèle synchrone
- Systèmes « temps réel » réactifs
- Introduction aux langages Lustre & SCADE
- Compilation d’une application temps réel
- Techniques de vérification et de preuves

 

Analyse statique de logiciels critiques
- Vérification de propriétés par interprétation abstraite
- Exemples d’applications industrielles

 

Applications et évolutions
- Applications aux circuits électroniques et au hardware embarqué
- Évolutions vers les systèmes distribués

 

Certification des logiciels critiques
- Notions de couverture de tests
- Processus de certification : pourquoi le modèle synchrone simplifie-t-il le problème de la vérification du code généré ?

 

Applications industrielles
- Études de cas chez Dassault Aviation
- Études de cas chez AIRBUS

 

• Je me préinscris

•Poser une question

•Téléchargement

La fiche complète en PDF

•En pratique

Dates des sessions :
25, 26 et 27 mars 2009

Langue : Français

Lieu : Paris

Durée : 3 jours

Tarif : 1700 € H.T. 

 

Renseignements : 01 55 80 50 52