Olivier H. Roux Professeur Responsable de l'équipe Systèmes Temps Réel Address: IRCCyN / École Centrale de Nantes 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 professeur à l'École Centrale de Nantes et membre de l'IRCCyN)

Enseignement (École Centrale de Nantes)

• Systèmes temps réel
• Modélisation et vérification
• Automatisme

Recherche (IRCCyN)

- Expressivité de modèles temporisés

- Model-checking et contrôle des reseaux de Petri temporels et à chronomètres (stopwatches)

- Extension parametrique des réseaux de Petri temporels et à chronomètres et des automates temporisés

Contrats, projets et groupes de recherche

Contrats industriels

• BA Systèmes (2012-2015) : Contrôle temps réel d'une flotte d'AGV (Automated Guided Vehicle).
• SeeForSys (2011-2014) : Modelisation formelle et synthèse de pilotes de périphériques pour systèmes embarqués.
• 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.
• 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

• ANR IMPRO (2011-2014): Implementability and Robustness of Timed Systems. Partners : IRCCyN (Nantes), IRISA (Rennes), LIP6 (Paris), LSV (Cachan), LIAFA (Paris) and LIF (Marseille).
• 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

Publications

Evénements passés et à venir

Dernière mise à jour le 17 decembre 2012 par Olivier Roux