Séminaire Genie Electrique et ReSMIQ - ouvert à tous

Présentation des activités de recherche en systèmes embarqués à l'ONERA (France), par
le professeur Frédéric Boniol.

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