- 3
- 2
- 1
- 1
Jérémie Guiochet
7
Documents
Identifiants chercheurs
- jeremie-guiochet
- 0000-0002-1285-8974
- Google Scholar : https://scholar.google.fr/citations?user=yxa9u84AAAAJ&hl=fr&oi=ao
- IdRef : 074324012
Présentation
Jérémie Guiochet is professor in computer science at 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](https://www.laas.fr/projects/HAZOPUML/) 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 Kaaniche](http://homepages.laas.fr/kaaniche/), [David Powell](http://homepages.laas.fr/dpowell/), [Gilles Motet](http://homepages.laas.fr/gmotet)
#### 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](https://www.laas.fr/projects/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 Waeselynck](http://homepages.laas.fr/waeselyn/), [David Powell](http://homepages.laas.fr/dpowell/), [Marc-Olivier Killijian](http://homepages.laas.fr/mkilliji/index.html), [Jean Arlat](http://homepages.laas.fr/arlat/), [Matthieu Roy](http://homepages.laas.fr/mroy/), [Felix Ingrand](http://homepages.laas.fr/felix), [Simon Lacroix](http://homepages.laas.fr/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](http://homepages.laas.fr/mkilliji/index.html)
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 4
- 3
- 2
- 2
- 1
- 1
- 7
- 1
- 2
- 2
- 1
- 1
|
A Model for Safety Case Confidence Assessment34th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Sep 2015, Delft, Netherlands. ⟨10.1007/978-3-319-24255-2_23⟩
Communication dans un congrès
hal-01228861v1
|
|
Model-Based Safety Analysis of Human-Robot Interactions: the MIRAS Walking Assistance RobotInternational Conference on Rehabilitation Robotics (ICORR), Jun 2013, Seattle, United States. pp.1-7
Communication dans un congrès
hal-00839296v1
|
|
Applying Existing Standards to a Medical Rehabilitation Robot: Limits and ChallengesWorkshop 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
Communication dans un congrès
hal-01282195v1
|
|
Human-robot interactions: model-based risk analysis and safety case constructionEmbedded Real Time Software and Systems (ERTS2 2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02192419v2
|
Model-Based Risk Analysis Of Human-Robot Interactions And Safety Argument ConstructionModel Based Safety Assessment Workshop (MBSAW), Mar 2011, Toulouse, France
Communication dans un congrès
hal-01285183v1
|
|
Utilisation des réseaux bayésiens et de l'approche de Fenton pour l'estimation de probabilité d'occurrence d'événements2013
Rapport
hal-00823620v1
|
|
Dependability modelling of a fault tolerant duplex system using AADL and GSPNs[Research Report] 05315, LAAS-CNRS. 2005
Rapport
hal-01295346v1
|