Média
Partenaires
Recherche
Activités

Titre: Modélisation et programmation des systèmes embarqués critiques: la voie synchrone
Conférencier: Frédéric Boniol , ONERA, France
Lieu: École Polytechnique de Montréal, Pavillon Lassonde, M-2103 ,
Date et heure:
vendredi le 01 mars 2013 de 09:30 à 12:30

Résumé: Les systèmes informatiques sont aujourd’hui omniprésents dans les aéronefs, les véhicules terrestres, les vaisseaux spatiaux, jusqu’aux automatismes embarqués dans les équipements médicaux. Ces systèmes informatiques occupent au sein de ces véhicules et de ces équipements une place de plus en plus centrale. Ils assurent par exemple le pilotage et la navigation des aéronefs, la stabilisation et le suivi de trajectoire des vaisseaux spatiaux, le contrôle et l’asservissement de robots de chirurgie, etc. Le développement de ces systèmes informatiques, dits « embarqués », a permis la réalisation d’engins qui, sans eux, ne seraient pas pilotables. C’est le cas par exemple du système de commande de vol d’un avion en limite de stabilité. Ces systèmes «embarqués» sont donc critiques, et nécessitent une garantie de bon fonctionnement. Pour la partie informatique, cette garantie de bon fonctionnement ne peut être apportée que par des méthodes de conception, de programmation, et de vérification (au sens large) rigoureuses, précises et formelles. Le choix fait par les ingénieurs Airbus pour la conception et la programmation des systèmes de contrôle commande repose sur la famille des langages synchrones. L’objectif de ce séminaire est de discuter ce choix et montrer sa pertinence.

Le séminaire sera organisé en cinq parties :

1. Introduction du problème en s’appuyant sur l’exemple du système des commandes de vol d’un avion commercial de type Airbus

2. La programmation du système de commande de vol par les ingénieurs Airbus : comment, quelle chaine de développement, et avec quels langages ?

3. Les langages synchrones, et en particulier le langage synchrone flot de donnée Lustre/SCADE.

4. Vers un langage d'architecture synchrone temps réel.

5. Perspectives.
- Vers des calculateurs commande de vol multi ou many coeurs programmés en Lustre/SCADE + Prelude au niveau architectural.
- Vers un affaiblissement du « détermisme » au niveau architecture.

Note biographique: Frédéric Boniol, Professeur de l'Université de Toulouse (France), est actuellement maître de recherche à l'ONERA (Institut de recherche français pour les systèmes aéronautiques et spatiaux). Il dirige l'équipe de recherche sur les systèmes informatiques embarqués. Diplômé de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace (Supaero), il obtient un doctorat en informatique en 1997, puis une habilitation à diriger les recherches en 2005, sur le thème de la programmation synchrone pour les logiciels embarqués critiques. Il a développé des recherches sur la vérification formelle de systèmes embarqués, puis plus récemment sur la modélisation et l'analyse du comportement temps réel des architectures avioniques, en particulier des architectures IMA (Integrated Modular Avionics). Il conduit ces travaux dans plusieurs projets de recherche, à la fois avec des partenaires académiques, et des partenaires industriels (Airbus, Thales, Dassault-Aviation, Continental...).

Voyez tous les cour intensifs