Paper Info
Title
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.
Year
DOI
Venue
2013
10.1109/IROS.2013.6696493
IROS
Keywords
Field
DocType
control engineering computing,fault trees,formal verification,mobile robots,safety,safety-critical software,FTA tools,Proteus project,RobotML modeling environment,availability,dependability requirements,domain specific language,fault tree analysis,formal verification,mobile robot,model-driven engineering approach,model-driven safety assessment,reliability,robotic systems,safety aspect,safety assessment,safety-critical RS,security
Domain-specific language,Robotic systems,Dependability,Systems engineering,Computer science,Safety engineering,Fault tree analysis,RSS,Mobile robot,Formal verification
Conference
ISSN
Citations 
PageRank 
2153-0858
14
0.75
References 
Authors
6
4
Name
Order
Citations
PageRank
Nataliya Yakymets1276.27
S. Dhouib2141.08
Hadi Jaber3171.88
Agnes Lanusse48612.03