Olivier H. Roux Professeur Adresse: LS2N / É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@ec-nantes.fr (retirer "pas-de-spam.")

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

Responsabilités administratives et scientifiques

Contrats et projets

Contrats industriels

• HUAWEI Technologies France SASU (2020-2023) : Méthodes formelles pour la synthèse d'OS temps réel embarqués multicoeur.
• Renault (2015-2018) : Conception et Validation inter-systèmes pour véhicules autonomes.
• 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 PRC BisoUS (2023-2026):Better Synthesis for Underspecified quantitative Systems (BisoUS) : LS2N (Nantes), IRISA (Rennes), LMF (Paris-Saclay) et LIPN (Paris 13).
• ANR PRCI (France-Singapour) ProMiS (2020-2024): Provable Mitigation of Side Channel through Parametric Verification (ProMiS) : LORIA (Nancy), LS2N (Nantes), SMU (Singapor) and SUTD (Singapor).
• ANR PACS (2014-2019): Parametric Analyses of Concurrent Systems. Partners : LIPN (Paris 13), IRCCyN (Nantes), LINA (Nantes) and LIAFA (Paris Diderot).
• CominLabs Project EPOC (2013-2016) : Energy proportional and opportunistic Computing systems), aims at focusing on energy-aware task execution from the hardware to application's components in the context of a mono-site data center (all resources are in the same physical location) which is connected to the regular electric Grid and to renewable energy sources (such as windmills or solar cells). Partners : LINA (Nantes), IRCCyN (Nantes), Telecom-Bretagne, Lab-STICC (Brest).
• FUI FREENIVI (2013-2017): Plateforme logicielle libre dédiée à la conception des systèmes embarqués pour le secteur automobiles. Partenaires : OPEN WIDE, ESG Automotive, IRT SystemX, IRCCyN (Ecole Centrale Nantes), LIAFA (Paris Diderot).
• Paris scientifiques régionaux AFSEC PDL (2013-2017) : Approche Formelle des Systèmes Embarqués Communicants en Pays de la Loire. Partners : LINA, IRCCyN.
• 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.

Outil

Publications

Evénements passés et à venir

Dernière mise à jour le 8 mars 2024 par Olivier Roux