BEGIN:VCALENDAR
VERSION:2.0
PRODID:http://murmitoyen.com/events/vanille/
X-WR-TIMEZONE:America/Montreal
BEGIN:VEVENT
UID:69e09083a0eef
DTSTAMP:20260416T033219
DTSTART:20130301T093000
SEQUENCE:0
TRANSP:OPAQUE
DTEND:20130301T093000
URL:http://murmitoyen.com/events/vanille/detail/181597
LOCATION:Polytechnique Montréal - Pavillon Lassonde\, 2700\, chemin de la 
 Tour\, Montréal\, QC\, Canada\, H3T 1J4
SUMMARY:Modélisation et programmation des systèmes embarqués critiques: 
 la voie synchrone
DESCRIPTION:Séminaire Génie Electrique et ReSMIQ - ouvert à tous  Fréd
 éric Boniol ONERA\, DTIM  Résumé du mini-cours: Les systèmes informati
 ques 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 s
 ein de ces véhicules et de ces équipements une place de plus en plus cen
 trale. 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évelop
 pement de ces systèmes informatiques\, dits « embarqués »\, a permis l
 a 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 l
 imite de stabilité. Ces systèmes «embarqués» sont donc critiques\, et
  nécessitent une garantie de bon fonctionnement. Pour la partie informati
 que\, 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 in
 génieurs Airbus pour la conception et la programmation des systèmes de c
 ontrôle commande repose sur la famille des langages synchrones. L’objec
 tif de ce séminaire est de discuter ce choix et montrer sa pertinence.   
 Biographie: Frédéric Boniol\, Professeur de l'Université de Toulouse (F
 rance)\, est actuellement maître de recherche à l'ONERA (Institut de rec
 herche 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 (Su
 paero)\, il obtient un doctorat en informatique en 1997\, puis une habilit
 ation à diriger les recherches en 2005\, sur le thème de la programmatio
 n synchrone pour les logiciels embarqués critiques. Il a développé des 
 recherches sur la vérification formelle de systèmes embarqués\, puis pl
 us récemment sur la modélisation et l'analyse du comportement temps rée
 l des architectures avioniques\, en particulier des architectures IMA (Int
 egrated Modular Avionics). Il conduit ces travaux dans plusieurs projets d
 e recherche\, à la fois avec des partenaires académiques\, et des parten
 aires industriels (Airbus\, Thales\, Dassault-Aviation\, Continental...).
END:VEVENT
BEGIN:VTIMEZONE
TZID:America/Montreal
X-LIC-LOCATION:America/Montreal
END:VTIMEZONE
END:VCALENDAR