Olivier H. Roux Full Professor Head of the Real Time Systems group Address: IRCCyN / École Centrale de Nantes 1, rue de la Noë B.P. 92101 44321 Nantes Cedex 3, France Tel: from abroad: +33 2 40 37 69 76 - from France: 02 40 37 69 76 Fax: from abroad: +33 2 40 37 69 30 - from France: 02 40 37 69 30 Email: no-spam.olivier-h.roux@irccyn.ec-nantes.fr (remove "no-spam.")

Not to be confused with Olivier (F.) Roux (also professor at École Centrale de Nantes and member of IRCCyN)

Teaching (École Centrale de Nantes)

• Real-Time Systems
• Automatisms
• Micro-informatics

Research (IRCCyN)

- Expressiveness of Timed models

- Model-checking and control of Time Petri Nets and Stopwatch Petri Nets

- Parametric extensions of Time Petri Nets, Stopwatch Petri Nets and Timed Automata

Contracts, projects and research groups

Industrial contracts

• BA Systemes (2012-2015): Real Time Control of AGV (Automated Guided Vehicle).
• SeeForSys (2011-2014): Formal modeling and synthesis of drivers for embedded systems.
• Sodius (2006-2009): Study of problems of simulation and model-checking of eFFBD via Time Petri Nets.
• Dassault Aviation (2005-2006): Starting from an AADL model of an avionics system (with timed constraints), the goal is to translate this model into Time Petri Net in order to extract a set of translation rules.

Projects

• 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-2010): Distributed Open and Timed Systems. Research topics: Formal Verification, Embedded Systems, Model checking, Control and Non-interference. Partners : IRCCyN (Nantes), IRISA (Rennes), LaBRI (Bordeaux), LAMSADE (Paris), and LSV (Cachan).
• ARC INRIA (TP)I (2010-2011): (Timed/Probabilistic) Interfaces. Research topics: complex embedded systems - components and interfaces. Partners: IRISA, Aalborg University, ITI Copenhagen et IRCCyN.
• ACI CORTOS (2003-2006) : Control and Observation of Real-Time Open Systems. Research topics: Controller synthesis, Real-time systems, Timed automata, Verification of open systems and Observation. Partners : IRCCyN (Nantes), LSV (Cachan) and VERIMAG (Grenoble).
• European project ITEA EAST-EEA (2001-2004). This automotive-project is funded by the European Union and consists of major European automotive manufacturers, first-tier suppliers and research departments.

CNRS research groups

• Co-leader of GDR ASR program: High performence embedded systems.
• Co-leader of inter GDR program: AFSEC (Formal approaches for communicating embedded systems).
• GDR ARP program: STRQDS (Real Time Systems QoS).

Tool

Publications

Upcoming & Past Events

Last updated December 17, 2012 by Olivier Roux