[en] In this paper, a safety oriented model based software engineering process for autonomous robots is proposed. Herein, the main focus is on the modeling of the safety case based on the standard ISO/DIS 13482. Combined with a safe multilayer robot software architecture it allows to trace the safety requirements and to model safety relevant properties on the early design stages in order to build a reliable chain of evidence. The introduced engineering processes consist of the Domain Engineering, which is dealing with the development of a set of interlinked formalized safety cases and software components. Finally, the proposed engineering process is demonstrated on the example of the assembly assistant robot and ROS (Robot Operating System).
Gribov, Vladislav ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Engineering Research Unit
Voos, Holger ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Engineering Research Unit ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Language :
English
Title :
Safety oriented software engineering process for autonomous robots
Publication date :
September 2013
Event name :
18th IEEE Int. Conference on Emerging Technologies and Factory Automation ETFA 2013
Event organizer :
IEEE
Event place :
Cagliari, Italy
Event date :
Sept. 2013
Audience :
International
Main work title :
18th IEEE Int. Conference on Emerging Technologies and Factory Automation ETFA 2013, Cagliari, Italy, Sept. 2013
ISO/DIS 13482 robots and robotic devices-safetyrequirements for non-industrial robots-non-medicalpersonal care robot, 2011.
D. Alonso, C. Chicote-Yicente, O. Francisco, J. Pastor,and B. Alvarez. y 3CMM: a 3-view componentmeta-model for model-driven robotic software development.1, 2010.
A. Brooks, T. Kaupp, A. Makarenko, S. Williams,and A. Oreback. Orca: A component model andrepository. In D. Brugali, editor, Software Engineeringfor Experimental Robotics, volume 30, pages 231251.Springer Berlin Heidelberg, Berlin, Heidelberg,2007.
H. Bruyninckx, P. Soetens, and B. Koninckx. Thereal-time motion control core of the oro cos project.In Robotics and Automation, 2003. Proceedings.ICRA '03. IEEE International Conference on, volume2, pages 2766-2771 vol. 2, Sept. 2003.
DIN EN ISO 10218-1. Robots for industrial environments-safety requirements-part 1: Robot. Technicalreport, DIN German Institute for Standardization,Berlin, July 2009.
H. Giese, M. Tichy, and D. Schilling. Compositionalhazard analysis of UML component and deploymentmodels. In M. Heisel, P. Liggesmeyer, andS. 'Wittmann, editors, Computer Safety, Reliability,and Security, volume 3219 of Lecture Notes in ComputerScience, pages 166-179. Springer Berlin / Heidelberg,2004.
I. Habli. Model-Based Assurance of Safety-CriticalProduct Lines. PhD thesis, Department of ComputerScience, University of York, 2009.
C. Harper and G. Yirk. Towards the developmentof international safety standards for a human robotinteraction. International Journal of Social Robotics,2(3):229-234, June 2010.
T. P. Kelly. Arguing Safety-A Systematic Approachto Managing Safety Cases. PhD thesis, 1998.
G. K. Kraetzchmar, A. Shakhimardiv, J. Paulus,N. Hochgeschwender, and M. Reckhaus. Best Practicein Robotics. Deliverable D-2. 2: Specifications ofArchitectures, Modules, Modularity, and Interfacesfor the BROCTE Software Platform and Robot ControlArchitecture 'Workbench, 2010.
R. Lutz. Extending the product family approach tosupport safe reuse. JOURNAL OF SYSTEMS ANDSOFTWARE, 53:207-217, 2000.
R. Lutz. Software engineering for safety: a roadmap.Proceedings of the Conference on The Future of SoftwareEngineering, pages 213-226, 2000. ACM ID:336556.
Morgan Quigley, Ken Conley, Brian P. Gerkey, JoshFaust, Tully Foote, Jeremy Leibs, Rob vVheeler, andAndrew Y. Ng. ROS: an open-source robot operatingsystem. 2009.
I. A. D. Nesnas. The CLARAty project: Coping withhardware and software heterogeneity. In D. Brugali,editor, Software Engineering for ExperimentalRobotics, volume 30, pages 31-70. Springer BerlinHeidelberg, Berlin, Heidelberg, 2007.
OMG. Robotic interaction service (RoIS). TechnicalReport Version 1. 0, OMG, Feb. 2013.
R. Panesar-Walawege, M. Sabetzadeh, andL. Briand. Using Model-Driven engineering formanaging safety evidence: Challenges, vision andexperience. In Software Certification (WoSoCER),2011 First International Workshop on, pages 7-12,Dec. 2011.
R. K. Panesar-Walawege, M. Sabetzadeh, andL. Briand. Supporting the verification of complianceto safety standards via model-driven engineering:Approach, tool-support and empirical validation. Informationand Software Technology, 55(5):836-864,May 2013.
C. Schlegel, A. Steck, D. Brugali, and A. Knoll. Designabstraction and processes in robotics: FromCode-Driven to Model-Driven engineering. InN. Ando, S. Balakirsky, T. Hemker, M. Reggiani,and O. Stryk, editors, Simulation, Modeling, andProgramming for Autonomous Robots, volume 6472,pages 324-335. Springer Berlin Heidelberg, Berlin,Heidelberg, 2010.
B. Siciliano and O. Khatib. Springer Handbook ofRobotics. Springer, 1 edition, June 2008.
K. Thramboulidis and S. Scholz. Integrating the3+1 SysML view model with safety engineering. In2010 IEEE Conference on Emerging Technologiesand Factory Automation (ETFA), pages 1-8. IEEE,Sept. 2010.