Skip to Main content Skip to Navigation
Conference papers

Model-Driven Safety Assessment of Robotic Systems

Abstract : Robotic systems (RSs) are often used for performing critical tasks with little or no human intervention. Such RSs must satisfy certain dependability requirements including reliability, availability, security and safety. In this paper, we focus on the safety aspect and propose a methodology and associated framework for safety assessment of RSs in the early phases of development. The methodology relies upon model-driven engineering approach and describes a preliminary safety assessment of safety-critical RSs using fault tree (FT) analysis (FTA). The framework supports a domain specific language for RSs called RobotML and includes facilities (i) to automatically generate or manually construct FTs and perform both qualitative and quantitative FTA, (ii) to make semantic connections with formal verification and FTA tools, (iii) to represent FTA results in the RobotML modeling environment. In the case study, we illustrate the proposed methodology and framework by considering a mobile robot developed in the scope of the Proteus project.
Document type :
Conference papers
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01810068
Contributor : Önder Gürcan <>
Submitted on : Thursday, June 7, 2018 - 2:21:38 PM
Last modification on : Monday, February 10, 2020 - 6:14:14 PM
Long-term archiving on: : Saturday, September 8, 2018 - 1:58:44 PM

File

06696493.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : cea-01810068, version 1

Collections

CEA | DRT | LIST

Citation

Nataliya Yakymets, Saadia Dhouib, Hadi Jaber, Agnes Lanusse. Model-Driven Safety Assessment of Robotic Systems. 2013 (IEEE/RSJ) International Conference on Intelligent Robots and Systems, Nov 2013, Tokyo, Japan. ⟨cea-01810068⟩

Share

Metrics

Record views

86

Files downloads

246