|
Didier Lime
|
| Ph.D. - Maître de Conférences |
|
|
| |
See the english version of this page
Recherche
Je m'intéresse principalement aux techniques formelles d'analyse et de
contrôle des systèmes temps réel et - ou - embarqués. Plus précisément :
- Les automates temporisés, les réseaux de Petri temporels et leurs
extensions hybrides
- Les liens entre ces modèles
- Le calcul de leur espace d'états
- La synthèse de contrôleurs (optimaux) dans le cadre des jeux temporisés (à
coûts)
Outils logiciels
Je participe au développement de deux logiciels :
- Romeo :
Un outil pour la simulation, la vérification et le contrôle des réseaux de
Petri temporels (cf [GMLR05,LRST09]) ;
- Uppaal-Tiga : Une extension
d'Uppaal pour la synthèse de contrôleurs
temporisés pour des systèmes modélisés sous la forme de jeux temporisés (cf. [CDF+05,BCD+07]).
Projets
Je suis le coordonnateur du projet ANR BLANC 2010 "Implementabilité and Robusesse des Systèmes Temprorisés" (ImpRo).
Je suis, ou j'ai été, impliqué dans les projets suivants :
- "Distributed Open Timed Systems" (DOTS, un projet du programme ANR SETI 2006),
- "Control and Observation of Real-Time Open Systems" (ACI CORTOS),
Publications
Voici la liste de mes publications
ainsi que le fichier BibTex correspondant.
Enseignement
J'enseigne à l'École Centrale
de Nantes les sujets suivants :
- Systèmes d'exploitation
- Compilation
- Algorithmique et Programmation (C)
- Programmation orientée objet (Java et C++)
- Systèmes temps réel
J'enseigne également la Modélisation et Vérification dans le Master ASP de l'École Centrale de Nantes.
Il y a quelques années, j'ai également enseigné à l'École des
Mines de Nantes :
- Systèmes et réseaux
- Programmation fonctionnelle (Haskell)
Liens utiles
Des gens
Mes co-auteurs:
-
Gerd Behrmann,
Alexandre David,
Kim G. Larsen et
Jiri Srba
(Université d'Aalborg, Danemark)
- Jean-François Raskin
(Université Libre de Bruxelles, Belgique)
-
John Mullins (École Polytechnique de Montréal, Québec, Canada)
-
Jamil Ahmad (National University of Sciences and Technology, Islamabad, Pakistan)
-
Louis-Marie Traonouez (Université de Florence, Italie)
-
Olivier H. Roux,
Franck Cassez,
Morgan Magnin,
Charlotte Seidner,
Gilles Benattar et
Olivier Roux
(IRCCyN, Nantes, France)
-
Bernard Berthomieu et
François Vernadat
(LAAS, Toulouse, France)
-
Béatrice Bérard et
Mathieu Sassolas
(LIP6, Paris, France)
-
Claude Jard et
Bartosz Grabiec
(IRISA, Rennes, France)
-
Serge Haddad (LSV, Cachan,
France)
-
Emmanuel Fleury (LaBRI,
Bordeaux, France)
-
Gilles Bernot et
Jean-Paul Comet (I3S,
Sophia-Antipolis, France)
-
Guillaume Gardey, Agnès Cougnard.
Des sites web
Des outils logiciels