STAE TOULOUSE

L'actualité de la formation

Vérification et Validation des systèmes de commande et guidage des systèmes aéronautiques

Le 28 juin 2012, Conférence.

par Eric Féron,
Professeur Georgia Institute of Technology, Atlanta, USA

le 9 juillet 2012, à 10H00
ENSEEIHT, Salle des thèses - C002
2 Rue Charles Camichel - Toulouse

La vérification et la validation des systèmes de
commande et de guidage des avions modernes exigent la remise en cause des méthodes actuelles (fondées essentiellement sur la simulation et le test du système final), et la prise en compte non seulement des logiciels, mais aussi des modèles ayant servi à développer ces systèmes.

Dans cet exposé, nous présenterons deux systèmes : d'une part, un asservissement typique d'avions de ligne et d'autre part, le prototype d'une nouvelle génération de systèmes anti-collision.

Dans les deux cas, nous montrerons que l'existence de fonctions "barrières" permettant de borner le comportement de ces systèmes est essentielle à leur vérification et validation.

Nous décrirons par ailleurs le prototype d'un environnement d'autocodage de systèmes de contrôle et commande qui implante automatiquement les éléments de preuve de correction qui facilitent grandement la vérification exhaustive de ces systèmes.

Eric Féron est actuellement invité par le RTRA STAE - Sciences et Technologies pour l'Aéronautique et l'Espace - dans le cadre du chantier IFSE - Ingénierie Formelle des Systèmes Embarqués -
en collaboration avec l'IRIT, le LAAS et l'ONERA.



Renseignements et inscriptions

Retour