- Vous êtes ici :
- Accueil > Actualités
Accueil de chercheurs sur les projets soutenus
La fondation propose l'accueil de chercheurs et scientifiques de haut niveau, internationalement reconnus pour des séjours de quelques mois ou plus, ainsi que des post-doctorants pour de plus longs séjours...
en savoir plusBourse Amelia Earhart
La fondation STAE est partenaire dans l'attribution des bourses "Zonta Amelia Earhart Fellowship"
en savoir plus- 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
118 route de Narbonne - CS 84504 - 31054 TOULOUSE Cedex 4 Tél. : 05 61 28 02 80 et 81 - Fax : 05 61 02 80 90