Olivier H. Roux

Maître de conférences (HDR) -- Assistant Professor

Address:

IRCCyN - UMR CNRS 6597
1, rue de la Noë
B.P. 92101
44321 Nantes Cedex 3
France

Tel: de l'étranger: +33 2 40 37 69 76 - de France: 02 40 37 69 76

Fax: de l'étranger: +33 2 40 37 69 30 - de France: 02 40 37 69 30

Email: pas-de-spam.olivier-h.roux@irccyn.ec-nantes.fr (retirer "pas-de-spam.")

Ne pas confondre avec Olivier (F.) Roux (également membre de l'IRCCyN)

Enseignement (MCF à l'IUT de Nantes - dep. GEII)

Transmission de l'information
Electronique
Programmation
Micro-informatique et automatisme

Recherche (IRCCyN)

Mes travaux portent sur l'étude des réseaux de Petri temporels et de certaines extensions nécessaires à la vérification ou au contrôle d'applications temps réel.

- Expressivité et décidabilité des réseaux de Petri temporels

Expressivité de différentes extensions temporelles des réseaux de Petri (temps sur les places, les arcs, les transitions)
Expressivité des réseaux de Petri temporels par rapport aux automates temporisés en termes de bisimulation et d'acceptation de langages temporisés
Etude de la décidabilité de problèmes tels que l'accessibilité, le langage vide, l'inclusion de langage, TCTL (...) sur les réseaux de Petri temporels.

- Vérification des réseaux de Petri temporels.

Etude d'abstractions de l'espace d'états des réseaux de Petri basées sur les classes d'états ou les zones.
Vérification (model-checking) de propriétés TCTL sur les réseaux de Petri temporels (voir l'outil Roméo).

- Contrôle des systèmes temporisés

Contrôle des réseaux de Petri temporels.
Contrôle de la non-interférence dans le contexte temporisé.

- Réseaux de Petri à chronomètres (stopwatches)

Etude de la (non) décidablité de l'accessibilité des réseaux de Petri à chronomètres (stopwatches) y compris lorsque le réseau est borné.
semi-algorithmes de calcul de l'espace d'états symboliques
surapproximations de l'espace d'états

- Réseaux de Petri temporels - temps discret

Etude d'algorithmes et structures de données spécialement adaptées à la vérification des réseaux de Petri et des réseaux de Petri temporels avec arcs (et hyperarcs) inhibiteurs en considérant un temps discret.

Contrats, projets et groupes de recherche

Contrats

Responsable du contrat Sodius (2006-2009) : Etude des problèmes de simulation et de vérification des eFFBD. Réalisation d'une passerelle preservant les comportements (bisimulation) vers les réseaux de Petri temporels.
Responsable du contrat Dassault Aviation (2005-2006) : Le but est, à partir d'une formalisation dans un langage de description d'architecture (AADL) de la gestion d'alimentation d'un système avionique (prenant en compte le temps), de faire une traduction de cette formalisation en réseaux de Petri temporels afin d'en extraire un jeu de règles de traduction.

Projets

Je suis impliqué dans :

ANR DOTS (2007-2011): Distributed Open and Timed Systems (Systèmes Distribués, Ouverts, Temporisés). Thématique de recherches : Vérification formelle, Systèmes embarqués, Model checking, Contrôle et Non-interférence. Participants : IRCCyN (Nantes), IRISA (Rennes), LaBRI (Bordeaux), LAMSADE (Paris), and LSV (Cachan).
Action de Recherche Collaborative INRIA (TP)I (2010-2011): (Timed/Probabilistic) Interfaces. Thème de recherche : systèmes embarqués complexes définis de manière modulaire. Participants : IRISA, Aalborg University, ITI Copenhagen et IRCCyN.
ACI CORTOS (2003-2006): Control and Observation of Real-Time Open Systems. Thématique de recherches : Synthèse de contrôleur, Systèmes temps-réel, Automates temporisés, Vérification de systèmes ouverts et Observation. Participants : IRCCyN (Nantes), LSV (Cachan) and VERIMAG (Grenoble).
Projet européen ITEA EAST-EEA (2001-2004) qui implique les constructeurs automobiles (français et allemands, principalement), les équipementiers et des universitaires, et traite de l'architecture électronique embarquée.

Groupe de recherche CNRS

Co-animation du pole Systèmes embarqués hautes performances du GDR ASR.
Co-animation de l'action transversale CNRS AFSEC (depuis 2006) du GDR ASR : Approches formelles des Systèmes Embarqués Communicants.
Participation au GDR ARP thème STS jusqu'en 2001 puis STRQDS (Systèmes Temps réel et qualité de service) de 2002 à 2006.

Outil

L'ensemble de ces travaux sur les réseaux de Petri conduit à des implémentations qui sont intégrés dans l'atelier logiciel Roméo (une version expérimentale pour plate-formes Linux, MAC OSX et Windows est actuellement disponible sur le site web de Roméo). L'atelier logiciel Roméo consiste en une interface graphique écrite en tcl/tk et un module de calcul écrit en C++. Les résultats obtenus sont (lorsqu'il s'agit d'un automate temporisé) fournis sous la forme de fichiers au format d'Uppaal ou de Kronos.

Publications

Quelques publications ici

Google scholar
DBLP

Evénements passés et à venir

Petri Nets 2010 - PC member
DOTS'10 - PC member
VECoS'10 - PC member
APNOC'10 - PC member
SUMo'10 - PC member
MSR'09 - PC chair and organizer
TiSto'09 - PC co-chair
APNOC'09 - PC member
ETR'09 - PC member
MSR'07 - PC member
ETR'07 - PC member and co-organizer