Keywords

Co-authors

Researcher identifiers

Export Publications

Export the displayed publications:
Number of documents

61

Jérémie Guiochet CV


Dr. Jérémie Guiochet is an associate professor in University of Toulouse. His research activities take place at LAAS-CNRS. He received an Engineer degree in electronics and computer sciences at ENSEIRB, and a Ph.D. in 2003 from the INSA, Toulouse, France. He provides courses in Computer Science, Industrial Computing, Dependabilty and Risk Management. His research work is conducted in the LAAS-CNRS in the dependable computing and fault tolerance group (TSF) and relates to safety assessment, fault removal and tolerance in safety critical autonomous systems.

http://homepages.laas.fr/guiochet/

 

Risk analysis and safety argumentation for autonomous systems

We investigate which system behavior models and human-system interaction models are appropriate for early risk analysis of autonomously-adapting systems (mostly robotics system). We particularly focus on modeling languages like UML associated with risk analysis methods.
See HAZOP-UML page.

We also also investigate how uncertainties could be modeled and managed in a develomment process or an safety argumentation (safety case), integrating formal probabilistic models as Markov and Bayesian networks, or belief theory. 

Other LAAS researchers :Mohamed KaanicheDavid PowellGilles Motet

Defenses and tests for autonomous systems 

The counterpart of autonomous adaptation is the confidence that can be placed on the underlying mechanisms. In particular: 

a) what defenses can be provided as countermeasures against the threats introduced by autonomous adaptation? Our research on this theme focus on the safety of autonomous robot systems based on the use of safety monitors.
See SMOF page.

b) how to perform tests of autonomous systems, considering the infinate entry set, and that running hazardous scenarios is not possible ? We develop a method based on testing autonomous system in virtual words. 

Other LAAS researchers: Hélène WaeselynckDavid PowellMarc-Olivier KillijianJean ArlatMatthieu RoyFelix IngrandSimon Lacroix

Geo-Privacy risk analysis

Specific methods and risk criteria should be developped to analyse risks in the geoprivacy domain. We particularly focus on methods for integrating quantitative estimation (coming from provable security) to qualitative analysis. 

Other LAAS researchers :Marc-Olivier Killijian


Journal articles11 documents

  • Clément Robert, Thierry Sotiropoulos, Jérémie Guiochet, Hélène Waeselynck, Simon Vernhes. The virtual lands of Oz: testing an agribot in simulation. Empirical Software Engineering, Springer Verlag, In press. ⟨hal-02436216⟩
  • Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. Safety Case Confidence Propagation Based on Dempster-Shafer theory. International Journal of Approximate Reasoning, Elsevier, 2019, 107, pp.46-64. ⟨10.1016/j.ijar.2019.02.002⟩. ⟨hal-02012942⟩
  • Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. Modelling Confidence in Railway Safety Case. Safety Science, Elsevier, 2018, pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩. ⟨hal-01661045⟩
  • Mathilde Machin, Jérémie Guiochet, Hélène Waeselynck, Jean-Paul Blanquart, Matthieu Roy, et al.. SMOF - A Safety MOnitoring Framework for Autonomous Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE, 2018, 48 (5), pp.702-715. ⟨10.1109/TSMC.2016.2633291⟩. ⟨hal-01394139⟩
  • Jérémie Guiochet, Mathilde Machin, Hélène Waeselynck. Safety-critical advanced robots: A survey. Robotics and Autonomous Systems, Elsevier, 2017, 94, pp.43-52. ⟨10.1016/j.robot.2017.04.004⟩. ⟨hal-01394136⟩
  • Jérémie Guiochet. Hazard analysis of human–robot interactions with HAZOP–UML. Safety Science, Elsevier, 2016, 84, pp. 225-237. ⟨10.1016/j.ssci.2015.12.017⟩. ⟨hal-01271565⟩
  • Jesús Friginal, Sébastien Gambs, Jérémie Guiochet, Marc-Olivier Killijian. Towards privacy-driven design of a dynamic carpooling system. Pervasive and Mobile Computing, Elsevier, 2014, 14, pp.71-82. ⟨10.1016/j.pmcj.2014.05.009⟩. ⟨hal-01242263⟩
  • Viviane Pasqui, Ludovic Saint-Bauzel, Cong Zong, Xavier Clady, Philippe Decq, et al.. Projet MIRAS : Robot d'assistance à la déambulation avec interaction multimodale. IRBM, Elsevier Masson, 2012, 33 (2), pp.165-172. ⟨hal-01282234⟩
  • Jérémie Guiochet, Gilles Motet, Bertrand Tondu, Claude Baron. Sécurité des systèmes de la robotique médicale. Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, Sécurité et gestion des risques, SE2. ⟨hal-01292664⟩
  • Bertrand Tondu, Serge Ippolito, Jérémie Guiochet, Alain Daidié. A Seven-degrees-of-freedom Robot-arm Driven by Pneumatic Artificial Muscles for Humanoid Robots. The International Journal of Robotics Research, SAGE Publications, 2005, 24 (4), p.257-274. ⟨10.1177/0278364905052437⟩. ⟨hal-01292939⟩
  • Mahmoud Nassar, Bernard Coulette, Jérémie Guiochet, Sophie Ebersold, Bouchra El Asri, et al.. Vers un profil UML pour la conception de composants multivues. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2005, 11 (4), ⟨10.3166/objet.11.4.83-113⟩. ⟨hal-01292934⟩

Conference papers41 documents

  • Clément Robert, Jérémie Guiochet, Hélène Waeselynck. Testing a non-deterministic robot in simulation - How many repeated runs ?. The fourth IEEE International Conference on Robotic Computing (IRC 2020), Mar 2020, Taichung, Taiwan. 8p. ⟨hal-02444350⟩
  • Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Kalou Cabrera, Sofia Cassel, et al.. Tuning permissiveness of active safety monitors for autonomous systems. Nasa Formal Methods, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_23⟩. ⟨hal-01637277v2⟩
  • Lola Masson, Jérémie Guiochet, Hélène Waeselynck, Augustin Desfosses, Marc Laval. Synthesis of safety rules for active monitoring: application to an airport light measurement robot. IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.11⟩. ⟨hal-01465734⟩
  • Rui Wang, Jérémie Guiochet, Gilles Motet. Confidence Assessment Framework for Safety Arguments. SafeComp 2017, Sep 2017, Trento, Italy. 14p. ⟨hal-01533221⟩
  • Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand. Can robot navigation bugs be found in simulation? An exploratory study. 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p. ⟨hal-01534235⟩
  • Rui Wang, Jérémie Guiochet, Gilles Motet, Walter Schön. D-S Theory for Argument Confidence Assessment. 4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩. ⟨hal-01372016⟩
  • Rui Wang, Jérémie Guiochet, Gilles Motet. A Framework for Assessing Safety Argumentation Confidence. 8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩. ⟨hal-01372049⟩
  • Lola Masson, Jérémie Guiochet, Hélène Waeselynck. Case Study Report : Safety rules synthesis for an autonomous robot. Fast abstracts at International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Sep 2016, Trondheim, Norway. ⟨hal-01370269⟩
  • Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level. 12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden. ⟨hal-01328909⟩
  • Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-checking and Game Theory for the Synthesis of Safety Rules. IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), Jan 2015, Daytona Beach, United States. ⟨hal-01207657⟩
  • Mathilde Machin, Fanny Dufossé, Jérémie Guiochet, David Powell, Matthieu Roy, et al.. Model-Checking and Game theory for Synthesis of Safety Rules. 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, United States. pp.36-43, ⟨10.1109/HASE.2015.15⟩. ⟨hal-01164981⟩
  • Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck. Test de la navigation de systèmes autonomes dans des mondes virtuels. Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France. ⟨hal-01282148⟩
  • Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche. A Model for Safety Case Confidence Assessment. 34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩. ⟨hal-01228861⟩
  • Mathilde Machin, Fanny Dufossé, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, et al.. Specifying Safety Monitors for Autonomous Systems using Model-checking. International Conference on Computer Safety, Reliability and Security (SafeComp 2014), Sep 2014, Florence, Italy. ⟨hal-01207152⟩
  • Regina Moraes, Hélène Waeselynck, Jérémie Guiochet. UML-Based Modeling of Robustness Testing. 15th IEEE International Symposium on High Assurance Systems Engineering (HASE2014), Jan 2014, Miami, United States. pp.168-175, ⟨10.1109/HASE.2014.31⟩. ⟨hal-01282159⟩
  • Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell. Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance Robot. International Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7. ⟨hal-00839296⟩
  • Jesús Friginal, Jérémie Guiochet, Marc-Olivier Killijian. Towards a Privacy Risk Assessment Methodology for Location-Based Systems. 10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS), Dec 2013, Tokyo, Japan. pp.748-753, ⟨10.1007/978-3-319-11569-6_65⟩. ⟨hal-01281790⟩
  • Mathilde Machin, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck. Specifying safety monitors for autonomous systems. Safecomp 2013 FastAbstract, Sep 2013, Toulouse, France. pp.NC. ⟨hal-00841711v2⟩
  • Christian Artigues, Yves Deswarte, Jérémie Guiochet, Marie-José Huguet, Marc-Olivier Killijian, et al.. AMORES: an architecture for mobiquitous resilient systems. ARMOR'12, Apr 2012, Sibiu, Romania. Article N°7 (7p.), ⟨10.1145/2222436.2222443⟩. ⟨hal-00736020⟩
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Safety Trigger Conditions for Critical Autonomous Systems. The 18th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2012), Nov 2012, Niigata, Japan. 10p., ⟨10.1109/PRDC.2012.22⟩. ⟨hal-01282203⟩
  • Quynh Anh Do Hoang, Jérémie Guiochet, David Powell, Mohamed Kaâniche. Human-robot interactions: model-based risk analysis and safety case construction. Embedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France. ⟨hal-02192419v2⟩
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy. Elicitation of Executable Safety Rules for Critical Autonomous Systems. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p. ⟨hal-01282237⟩
  • Jérémie Guiochet, Quynh Anh Do Hoang, Mohamed Kaâniche, David Powell. Applying Existing Standards to a Medical Rehabilitation Robot: Limits and Challenges. Workshop FW5: Safety in Human-Robot Coexistence & Interaction: How can Standardization and Research benefit from each other?, IEEE/RSJ Intern. Conference Intelligent Robots and Systems (IROS2012), Oct 2012, Vilamoura, Portugal. ⟨hal-01282195⟩
  • Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell. Définition de règles de sécurité-innocuité vérifiables en ligne pour des systèmes autonomes critiques. Journée Sécurité des Systèmes & Sureté des Logiciels (3SL), May 2011, Saint-Malo, France. ⟨hal-01285169⟩
  • Quynh Anh Do Hoang, Jérémie Guiochet, Mohamed Kaâniche, David Powell. Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument Construction. Model Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France. ⟨hal-01285183⟩
  • Damien Martin-Guillerez, Jérémie Guiochet, David Powell. Experience with a Model-based Safety Analysis Process for Autonomous Service Robot. 7th International Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), Jun 2010, Toulouse, France. ⟨hal-01285189⟩
  • Jérémie Guiochet, Damien Martin-Guillerez, David Powell. Experience with Model-Based User-Centered Risk Assessment for Service Robots. International High Assurance Systems Engineering Symposium (HASE), Nov 2010, San Jose, United States. 10p., ⟨10.1109/HASE.2010.10⟩. ⟨hal-01285192⟩
  • Damien Martin-Guillerez, Jérémie Guiochet, David Powell, Christophe Zanon. A UML-based method for risk analysis of human-robot interactions. 2nd International Workshop on Software Engineering for Resilient Systems (SERENE), Apr 2010, London, United Kingdom. pp. 32-41, ⟨10.1145/2401736.2401740⟩. ⟨hal-01285195⟩
  • Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart. Online Safety Monitoring Using Safety Modes. Workshop on Technical Challenges for Dependable Robots in Human Environments, May 2008, PASADENA, United States. pp.1-13. ⟨hal-00282444⟩
  • Jérémie Guiochet, David Powell, Étienne Baudin, Jean-Paul Blanquart. Surveillance en ligne de la sécurité basée sur les modes de sécurité. Lambda mu 16 - 16e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2008, Avignon, France. pp.1-7. ⟨hal-00282460⟩
  • Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, et al.. Planning with Diversified Models for Fault-Tolerant Robots. The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223. ⟨hal-01292650⟩
  • Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, et al.. Fault Tolerant Planning for Critical Robots. DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩. ⟨hal-01292653⟩
  • Rachid Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, R. Chatila, et al.. Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges. IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩. ⟨hal-01295366⟩
  • Benjamin Lussier, Alexandre Lampe, R. Chatila, Jérémie Guiochet, Félix Ingrand, et al.. Fault Tolerance in Autonomous Systems: How and How Much?. 4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan. ⟨hal-01292930⟩
  • Jérémie Guiochet, Claude Baron. UML based risk analysis - Application to a medical robot. Quality Reliability and Maintenance 5th International Conference, Oxford, UK, Apr 2004, Oxford, United Kingdom. ⟨hal-01276661⟩
  • Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy. Toward a Human-Centered UML for Risk Analysis - Application to a medical robot. 18th IFIP World Computer Congress (WCC), Human Error, Safety and Systems Development (HESSD04), IFIP/WCC, Aug 2004, Toulouse, France. ⟨hal-01276662⟩
  • Jérémie Guiochet, G Motet, C Baron. Generic error model of human-robot interaction. 3rd IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments, Manchester, UK, Sep 2004, Manchester, United Kingdom. ⟨hal-01276665⟩
  • Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy. Toward a human-centered UML for risk analysis. IFIP WCC, 2004, Toulouse, France. pp.177-191. ⟨hal-00003461⟩
  • Jérémie Guiochet, C Baron. UML Based FMECA in Risk Analysis. ESMc'2003, University of Naples II, Naples, Italy, Oct 2003, Naples, Italy. ⟨hal-01276635⟩
  • Jérémie Guiochet, Bertrand Tondu, Claude Baron. Integration of UML in human factors analysis for safety of a medical robot for tele-echography. IEEE/RSJ International Conference on Intelligent Robots and Systems, Intelligent Robots and Systems for Human Security, Health, and Prosperty IROS 2003, Las Vegas, USA, IEEE/RSJ, Oct 2003, Las Vegas, United States. pp.3212-3217, ⟨10.1109/IROS.2003.1249651⟩. ⟨hal-01276631⟩
  • Jérémie Guiochet, Adriana Vilchis. Safety Analysis of a Medical Robot for Tele-echography. 2nd IARP IEEE/RAS joint workshop on Technical Challenge for Dependable Robots in Human Environments, Toulouse, France, Oct 2002, Toulouse, France. ⟨hal-01276607⟩

Reports7 documents

  • Benjamin Lussier, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell. Fault tolerant planning: towards dependable autonomous robots. [Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015. ⟨hal-01271568⟩
  • Jesús Friginal, Jérémie Guiochet, Marc-Olivier Killijian. AMORES L1.2 - A Privacy Risk Assessment Methodology for Location-Based Systems. [Research Report] AMORES1.2/1.0 ; Rapport LAAS n° 16048, LAAS-CNRS. 2014. ⟨hal-01282191⟩
  • Mathilde Machin, Jérémie Guiochet, David Powell, Hélène Waeselynck. Introduction à la synthèse de superviseur. [Rapport de recherche] 13067, LAAS-CNRS. 2013. ⟨hal-00804879⟩
  • Quynh Anh Do Hoang, Jérémie Guiochet, Mohamed Kaâniche, David Powell. Utilisation des réseaux bayésiens et de l'approche de Fenton pour l'estimation de probabilité d'occurrence d'événements. 2013. ⟨hal-00823620⟩
  • Étienne Baudin, Jean-Paul Blanquart, Jérémie Guiochet, David Powell. Independent Safety Systems for Autonomy : State of the Art and Future Directions. [Research Report] 07710, LAAS-CNRS. 2007. ⟨hal-01292675⟩
  • Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche, Jérémie Guiochet. Dependability modelling of a fault tolerant duplex system using AADL and GSPNs. [Research Report] 05315, LAAS-CNRS. 2005. ⟨hal-01295346⟩
  • Jérémie Guiochet, David Powell. Etude et analyse de différents dispositifs externes de sécurité-innocuité de type safety bag. [Rapport de recherche] 05551, LAAS-CNRS. 2005. ⟨hal-01292945⟩

Theses1 document

  • Jérémie Guiochet. Maîtrise de la sécurité des systèmes de la robotique de service - Approche UML basée sur une analyse du risque système. Autre [cs.OH]. INSA de Toulouse, 2003. Français. ⟨tel-00007610⟩

Habilitation à diriger des recherches1 document

  • Jérémie Guiochet. Trusting robots : Contributions to dependable autonomous collaborative robotic systems. Embedded Systems. Université de Toulouse 3 Paul Sabatier, 2015. ⟨tel-01276555⟩