Model-driven safety assessment of robotic systems

摘要: 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 propose a methodology associated framework assessment of in early phases development. The relies upon model-driven engineering approach describes preliminary safety-critical using fault tree (FT) analysis (FTA). supports domain specific language called RobotML includes facilities (i) to automatically generate manually construct FTs perform both qualitative quantitative FTA, (ii) make semantic connections formal verification FTA tools, (iii) represent results modeling environment. case study, illustrate proposed by considering mobile robot developed scope Proteus project.