[en] Software development for robots is a knowledge intensive exercise. To capture this knowledge explicitly and formally in the form of various domain models, roboticists have recently employed model-driven engineering (MDE) approaches. However, these models are merely seen as a way to support humans during the robot's software design process. We argue that the robots themselves should be first-class consumers of this knowledge to autonomously adapt their software to the various and changing run-time requirements induced, for instance, by the robot's tasks or environment. Motivated by knowledge-enabled approaches, we address this problem by employing a graph-based knowledge representation that allows us not only to persistently store domain models, but also to formulate powerful queries for the sake of run time adaptation. We have evaluated our approach in an integrated, real-world system using the neo4j graph database and we report some lessons learned. Further, we show that the graph database imposes only little overhead on the system's overall performance.
Disciplines :
Computer science
Author, co-author :
Hochgeschwender, Nico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Schneider, Sven
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)
Bruyninckx, Herman
Kraetzschmar, Gerhard
External co-authors :
yes
Language :
English
Title :
Graph-based Software Knowledge: Storage and Semantic Querying of Domain Models for Run-Time Adaptation
Publication date :
December 2016
Event name :
IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR)
Event organizer :
IEEE
Event place :
San Francisco, United States
Event date :
Dec 13-16, 2016
Audience :
International
Main work title :
IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots SIMPAR, San Francisco, Dec 2016
D. Brugali, "Model-driven software engineering in robotics: Models are designed to use the relevant things, thereby reducing the complexity and cost in the field of robotics, " Robotics Automation Magazine, IEEE, vol. 22, no. 3, pp. 155-166, Sept 2015.
A. R. da Silva, "Model-driven engineering: A survey supported by the unified conceptual model, " Computer Languages, Systems, Structures, vol. 43, pp. 139-155, 2015.
A. Nordmann, N. Hochgeschwender, D. Wigand, S. Wrede, "A survey on domain-specific modeling and languages in robotics, " Journal of Software Engineering for Robotics (JOSER), vol. 7, no. 1, pp. 75-99, 2016.
"Robotics 2020: Multi-annual roadmap for robotics in europe, " http://sparc-robotics. eu/wp-content/uploads/2014/05/H2020-Robotics-Multi-Annual-Roadmap-ICT-2016. pdf, 2015, accessed: 2016-08-25.
M. Tenorth and M. Beetz, "KnowRob-A Knowledge Processing Infrastructure for Cognition-enabled Robots, " International Journal of Robotics Research (IJRR), vol. 32, pp. 566-590, 2013.
A. Saxena, A. Jain, O. Sener, A. Jami, D. K. Misra, H. S. Koppula, "Robo Brain: Large-Scale Knowledge Engine for Robots, " International Symposium on Robotics Research (ISRR), 2015.
S. Lemaignan and R. Alam, "Explicit knowledge and the deliberative layer: Lessons learned, " in IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2013.
G. K. Kraetzschmar, A. Shakhimardanov, J. Paulus, N. Hochgeschwender, M. Reckhaus, "Specifications of architectures, modules, modularity, interfaces for the brocre software platform and robot control architecture workbench, " 2010, BRICS Project Deliverable D2. 2.
S. Garrido-Jurado, R. Muñoz Salinas, F. J. Madrid-Cuevas, M. J. Maŕn-Jiménez, "Automatic generation and detection of highly reliable fiducial markers under occlusion, " Pattern Recogn., vol. 47, no. 6, pp. 2280-2292, June 2014.
N. Hochgeschwender, M. Olivares-Mendez, H. Voos, G. Kraetzschmar, "Context-based Selection and Execution of Robot Perception Graphs, " in Emerging Technologies Factory Automation (ETFA), 2015 IEEE 20th Conference on, 2015.
P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis, Design Language, 1st ed. Addison-Wesley Professional, 2012.
A. Steck, A. Lotz, C. Schlegel, "Model-driven Engineering and Run-time Model-usage in Service Robotics, " in Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering. New York, NY, USA: ACM, 2011, pp. 73-82.
G. Blair, N. Bencomo, R. B. France, "Models@ run. time, " Computer, vol. 42, pp. 22-27, 2009.
L. Gherardi and N. Hochgeschwender, "RRA: Models and Tools for Robotics Run-time Adaptation, " in Intelligent Robots and Systems (IROS), 2015 IEEE/RSJ International Conference on, Sept 2015, pp. 1777-1784.
L. Gherardi and D. Brugali, "Modeling and reusing robotic software architectures: The hyperflex toolchain, " in Robotics and Automation (ICRA), 2014 IEEE International Conference on, May 2014, pp. 6414-6420.
N. Hochgeschwender, L. Gherardi, A. Shakhimardanov, G. Kraetzschmar, D. Brugali, H. Bruyninckx, "A Model-Based Approach to Software Deployment in Robotics, " in Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)., 2013.
D. Alonso, C. Vicente-Chicote, F. Ortiz, J. Pastor, B. Alvarez, "V3cmm: a 3-view component meta-model for model-driven robotic software development, " Journal of Software Engineering for Robotics, vol. 1, no. 1, pp. 3-17, 2010.
S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi, M. Ziane, "Robotml, a domain-specific language to design, simulate and deploy robotic applications, " in Proceedings of the Third International Conference on Simulation, Modeling, Programming for Autonomous Robots, ser. SIMPAR'12. Springer, 2012, pp. 149-160.
N. Hochgeschwender, S. Schneider, H. Voos, G. K. Kraetzschmar, "Declarative Specification of Robot Perception Architectures, " in Proceedings of the 4th International Conference on Simulation, Modeling and Programming for Autonomous Robots, D. Brugali, J. F. Broenink, T. Kroeger, B. A. MacDonald, Eds. Springer International Publishing, 2014, pp. 291-302.
J. O. Kephart and D. M. Chess, "The vision of autonomic computing, " Computer, vol. 36, no. 1, pp. 41-50, Jan. 2003.
T. Niemueller, G. Lakemeyer, S. Srinivasa, "A generic robot database and its application in fault analysis and performance evaluation, " in Intelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on, Oct 2012, pp. 364-369.
C. Schlegel, A. Steck, D. Brugali, A. Knoll, "Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering, " in Proceedings of the International Conference on Simulation, Modeling, Programming for Autonomous Robots (SIMPAR), 2010.
U. Thomas, G. Hirzinger, B. Rumpe, C. Schulze, A. Wortmann, "A new skill based robot programming language using uml/p statecharts, " in Robotics and Automation (ICRA), 2013 IEEE International Conference on, May 2013, pp. 461-466.
T. J. de Haas, T. Laue, T. Röfer, "A scripting-based approach to robot behavior engineering using hierarchical generators, " in Robotics and Automation (ICRA), 2012 IEEE International Conference on, May 2012, pp. 4736-4741.
G. Biggs, T. Sakamoto, K. Fujiwara, K. Anada, "Experiences with model-centred design methods and tools in safe robotics, " in Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on, Nov 2013, pp. 3915-3922.
omg, Meta Object Facility (MOF) Core Specification Version 2. 0, 2006, accessed: 2016-02-25. [Online]. Available: http://www. omg. org/cgi-bin/docformal/2006-01-01
J. F. Inglés-Romero, A. Lotz, C. Vicente-Chicote, C. Schlegel, "Dealing with run-time variability in service robotics: Towards a DSL for non-functional properties, " CoRR, vol. abs/1303. 4296, 2013. [Online]. Available: http://arxiv. org/abs/1303. 4296
F. Fleurey and A. Solberg, "A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems, " in Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, ser. MODELS '09. Springer, 2009, pp. 606-621.
L. Kunze, T. Roehm, M. Beetz, "Towards semantic robot description languages, " in IEEE International Conference on Robotics and Automation (ICRA), Shanghai, China, May, 9-13 2011, pp. 5589-5595.