Modélisation et programmation des systèmes embarqués critiques: la voie synchrone

Séminaire Génie Electrique et ReSMIQ - ouvert à tous

Frédéric Boniol
ONERA, DTIM

Résumé du mini-cours: 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.


Biographie: 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...).