img-logo-Inria

Analysis, synthesis and control of concurrent systems

Benoit Caillaud

(S4 project)

Habilitation defense

Inria Rennes-Bretagne Atlantique

March 23th 2011

img-benoit-baudry

img-logo-pdf Les transparents

 

Analysis, control and synthesis of concurrent systems :
My research interests cover the realization by algorithmic methods of concurrent systems from partial and heterogeneous specifications. I have contributed to the design of methods, algorithms and tools capable of synthesizing reactive software from one or several incomplete descriptions of the system's expected behavior, regarding several viewpoints: functionality, control, architecture, and quantitative performances. My talk will cover several aspects of my work:
(I) Contract-based design, interface theorie
(II) Heterogeneous systems, partially asynchronous realizations of synchronous specifications
(III) synthesis and control of communicating and concurrent systems.
Analyse, contrôle et synthèse des systèmes concurrents :
Dans mon exposé je présente une partie de mes travaux de recherche qui ont pour objet la réalisation par des méthodes effectives des systèmes concurrents et répartis, en partant de spécifications de haut niveau, partielles et hétérogènes. Je me suis attaché à concevoir des méthodes, des algorithmes et des outils permettant la conception ou la synthèse de logiciel réactif à partir de la combinaison de plusieurs spécifications, décrivant le comportement attendu du système, selon plusieurs points de vues : fonctionnel, contrôle, architectural, et quantitatif. Mes travaux de recherche se déclinent selon trois axes :
(I) conception par contrats, théorie des interfaces
(II) systèmes hétérogènes, réalisations partiellement asynchrones de spécifications synchrones
(III) synthèse et contrôle des systèmes concurrents et communicants.



img-telephone-petit télécharger la vidéo ( 104 Mo - format MP4)

L'ensemble des HDR
(enregistrées depuis 2001)

Retour vidéothèque

Alain Crenn - Gestion des pages web Vidéothèque

© 2011 Inria-Rennes-Bretagne Atlantique