A Survey on Domain-specific Modeling and Languages in Robotics

The development of advanced robotic systems is challenging as expertise from multiple domains needs to be integrated conceptually and technically. Model-driven engineering promises an efficient and flexible approach for developing robotics applications that copes with this challenge. Domain-specific modeling allows to describe robotics concerns with concepts and notations closer to the respective problem domain. This raises the level of abstraction and results in models that are easier to understand and validate. Furthermore, model-driven engineering allows to increase the level of automation, e.g. through code generation, and to bridge the gap between modeling and implementation. The anticipated results are improved efficiency and quality of the robotics systems engineering process. Within this contribution, we survey the available literature on domain-specific modeling and languages that target core robotics concerns. In total 137 publications were identified that comply with a set of defined criteria, which we consider essential for contributions in this field. With the presented survey, we provide an overview on the state-of-the-art of domain-specific modeling approaches in robotics. The surveyed publications are investigated from the perspective of users and developers of model-based approaches in robotics along a set of quantitative and qualitative research questions. The presented quantitative analysis clearly indicates the rising popularity of applying domain-specific modeling approaches to robotics in the academic community. Beyond this statistical analysis, we map the selected publications to a defined set of robotics subdomains and typical development phases in robotic systems engineering as reference for potential users. Furthermore, we analyze these contributions from a language engineering viewpoint and discuss aspects such as the methods and tools used for their implementation as well as their documentation status, platform integration, typical use cases and the evaluation strategies used for validation of the proposed approaches. Finally, we conclude with recommendations for discussion in the model-driven engineering and robotics community based on the insights gained in this survey.

[1]  Bernhard Rumpe,et al.  A new skill based robot programming language using UML/P Statecharts , 2013, 2013 IEEE International Conference on Robotics and Automation.

[2]  James A. Hendler,et al.  A motion description language and a hybrid architecture for motion planning with nonholonomic robots , 1995, Proceedings of 1995 IEEE International Conference on Robotics and Automation.

[3]  Adriana Tapus,et al.  Solution Space Modeling for Robotic Systems , 2014 .

[4]  Ehud Rivlin,et al.  AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision , 1999, Auton. Robots.

[5]  James L. Crowley,et al.  A man machine interface for a mobile robot , 1993, Proceedings of 1993 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS '93).

[6]  Damien Cassou,et al.  Using the DiaSpec design language and compiler to develop robotics systems , 2011, ArXiv.

[7]  Bruce A. MacDonald,et al.  Evaluating a reactive semantics for robotics , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[8]  Oscar Ljungkrantz,et al.  Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[9]  Leland L. Beck,et al.  A Survey of Software Engineering Practice: Tools, Methods, and Results , 1983, IEEE Transactions on Software Engineering.

[10]  Kjeld Jensen,et al.  Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots , 2014, SIMPAR.

[11]  Ulrik Pagh Schultz,et al.  Generalized programming of modular robots through kinematic configurations , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[12]  Matthias Jüngel,et al.  XABSL - A Pragmatic Approach to Behavior Engineering , 2006, 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[13]  Richard C. Gronback.  Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit , 2009 .

[14]  Herman Bruyninckx,et al.  The 5C-based architectural Composition Pattern: lessons learned from re-developing the iTaSC framework for constraint-based robot programming , 2014 .

[15]  Geoffrey Biggs,et al.  A Survey of Robot Programming Systems , 2010 .

[16]  Ufuk Topcu,et al.  Automaton-guided controller synthesis for nonlinear systems with temporal logic , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[17]  Herman Bruyninckx,et al.  The BRICS component model: a model-based development paradigm for complex robotics software systems , 2013, SAC '13.

[18]  Ronald C. Arkin,et al.  Specification and execution of multiagent missions , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[19]  Andreas Angerer,et al.  Towards a graphical language for quadrotor missions , 2014, ArXiv.

[20]  Bruce A. MacDonald,et al.  RoboStudio: A visual programming environment for rapid authoring and customization of complex services on a personal service robot , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[21]  Jeffrey G. Gray,et al.  A model-driven approach to support engineering changes in industrial robotics software , 2012, MODELS'12.

[22]  Tianmiao Wang,et al.  A component based design framework for robot software architecture , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[23]  Andres J. Ramirez,et al.  Automatic derivation of utility functions for monitoring software requirements , 2011, MODELS'11.

[24]  Konrad Kulakowski,et al.  Modeling Robot Behavior with CCL , 2012, SIMPAR.

[25]  Günther Palm,et al.  Hierarchical behavior organization , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[26]  Damian M. Lyons,et al.  Automatic Verification of Autonomous Robot Missions , 2014, SIMPAR.

[27]  Holger Voos,et al.  Towards a Robot Perception Specification Language , 2014, ArXiv.

[28]  Henrik Gordon Petersen,et al.  Applying Simulation and a Domain-Specific Language for an Adaptive Action Library , 2014, SIMPAR.

[29]  Neil T. Dantam,et al.  The Motion Grammar for physical human-robot games , 2011, 2011 IEEE International Conference on Robotics and Automation.

[30]  Andreas Angerer,et al.  Robotics API: object-oriented software development for industrial robots , 2013 .

[31]  Erann Gat.  ALFA: a language for programming reactive robotic control systems , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[32]  Darwin G. Caldwell,et al.  A Domain Specific Language for kinematic models and fast implementations of robot dynamics algorithms , 2013, ArXiv.

[33]  Henrik I. Christensen,et al.  Planning with a task modeling framework in manufacturing robotics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[34]  Michael Beetz,et al.  Towards semantic robot description languages , 2011, 2011 IEEE International Conference on Robotics and Automation.

[35]  Piotr Sliz,et al.  A Quick Guide to Software Licensing for the Scientist-Programmer , 2012, PLoS Comput. Biol..

[36]  Gerard T. McKee,et al.  Resource modelling and combination in modular robotics systems , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[37]  Youngjin Hong,et al.  3D Virtual Prototyping of Home Service Robots Using ASADAL/OBJ , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[38]  Enrico Giunchiglia,et al.  Nonmonotonic causal theories , 2004, Artif. Intell..

[39]  A.R. Graves,et al.  Distributed generic control for multiple types of telerobot , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[40]  Henrik Gordon Petersen,et al.  Towards Error Handling in a DSL for Robot Assembly Tasks , 2014, ArXiv.

[41]  Thomas M. Roehr,et al.  Reconfigurable Integrated Multirobot Exploration System (RIMRES): Heterogeneous Modular Reconfigurable Robots for Space Exploration , 2014, J. Field Robotics.

[42]  Matthieu Herrb,et al.  GenoM3: Building middleware-independent robotic components , 2010, 2010 IEEE International Conference on Robotics and Automation.

[43]  Esra Erdem,et al.  A case study on the Tower of Hanoi challenge: Representation, reasoning and execution , 2013, 2013 IEEE International Conference on Robotics and Automation.

[44]  Satoshi Iwaki,et al.  Development of Motion Data Description Language for Robots Based on eXtensible Markup Language - Realization of Better Understanding and Communication via Networks , 2002, J. Robotics Mechatronics.

[45]  Alberto Rodrigues da Silva,et al.  Model-driven engineering: A survey supported by the unified conceptual model , 2015, Comput. Lang. Syst. Struct..

[46]  Herman Bruyninckx,et al.  Pure Coordination using the Coordinator--Configurator Pattern , 2013, ArXiv.

[47]  Paul Hudak,et al.  A language for declarative robotic programming , 1999, Proceedings 1999 IEEE International Conference on Robotics and Automation (Cat. No.99CH36288C).

[48]  Brahim Bouzouia,et al.  A three-layer workcell control architecture design , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[49]  Esra Erdem,et al.  Combining high-level causal reasoning with low-level geometric reasoning and motion planning for robotic manipulation , 2011, 2011 IEEE International Conference on Robotics and Automation.

[50]  Matthew T. Mason,et al.  Compliance and Force Control for Computer Controlled Manipulators , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[51]  Maria L. Gini,et al.  XRobots: A flexible language for programming mobile robots based on hierarchical state machines , 2012, 2012 IEEE International Conference on Robotics and Automation.

[52]  Gregory D. Hager,et al.  Specifying behavior in C++ , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[53]  C. Thomas Wu,et al.  It's time to make mobile robots programmable , 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).

[54]  Gregory D. Hager,et al.  Functional reactive programming as a hybrid system framework , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[55]  Fernando Torres Medina,et al.  EJS+EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operation , 2011, Robotics Auton. Syst..

[56]  Gerhard K. Kraetzschmar,et al.  Deliverable D-2 . 2 : Specifications of Architectures , Modules , Modularity , and Interfaces for the BROCRE Software Platform and Robot Control Architecture Workbench , 2010 .

[57]  Hadas Kress-Gazit,et al.  Explaining Impossible High-Level Robot Behaviors , 2013, IEEE Transactions on Robotics.

[58]  Chris Crawford,et al.  Work in Progress: Enabling robot device discovery through robot device descriptions , 2013, ArXiv.

[59]  José Luis Gordillo.  L/sub E/: a high level language for specifying vision verification tasks , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[60]  Cyril S. Ku,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[61]  Piotr Trojanek.  Model-driven engineering approach to design and implementation of robot control system , 2013, ArXiv.

[62]  Robert J. Winter Cpt.  Agile Software Development: Principles, Patterns, and Practices , 2014 .

[63]  Gerhard K. Kraetzschmar,et al.  Structured Design and Development of Domain-Specific Languages in Robotics , 2014, SIMPAR.

[64]  Herman Bruyninckx,et al.  Domain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications , 2013, ArXiv.

[65]  Oskar von Stryk,et al.  Cooperation of heterogeneous, autonomous robots: A case study of humanoid and wheeled robots , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[66]  Eckhard Freund,et al.  State oriented modeling as enabling technology for projective virtual reality , 2001, Proceedings 2001 IEEE/RSJ International Conference on Intelligent Robots and Systems. Expanding the Societal Role of Robotics in the the Next Millennium (Cat. No.01CH37180).

[67]  Andreas Angerer,et al.  On reverse-engineering the KUKA Robot Language , 2010, ArXiv.

[68]  Reid G. Simmons,et al.  An autonomous mobile manipulator for assembly tasks , 2010, Auton. Robots.

[69]  Claes Wohlin,et al.  Experimentation in software engineering: an introduction , 2000 .

[70]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[71]  Matthieu Herrb,et al.  A tool for the specification and the implementation of operating modules in a distributed robot architecture , 1999 .

[72]  Christian Schlegel,et al.  Managing execution variants in task coordination by exploiting design-time models at run-time , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[73]  Giuseppina Lucia Casalaro,et al.  Model-Driven Engineering for Mobile Robot Systems: A systematic mapping study , 2015 .

[74]  Adriana Tapus,et al.  SafeRobots: A model-driven Framework for developing Robotic Systems , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[75]  Karl Henrik Johansson,et al.  Motion and action planning under LTL specifications using navigation functions and action description language , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[76]  S. Mitra,et al.  Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cells , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[77]  Seth Copen Goldstein,et al.  Distributed Watchpoints: Debugging Large Multi-Robot Systems , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[78]  A. K. Ramadorai,et al.  A generic kinematics software package , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[79]  Peter H. Feiler,et al.  Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .

[80]  Ève Coste-Manière,et al.  The MAESTRO language and its environment: specification, validation and control of robotic missions , 1997, Proceedings of the 1997 IEEE/RSJ International Conference on Intelligent Robot and Systems. Innovative Robotics for Real-World Applications. IROS '97.

[81]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[82]  Dominik Henrich,et al.  A GOTO-based concept for intuitive robot programming , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[83]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[84]  Joris De Schutter,et al.  eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphs , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[85]  A Straw,et al.  Guide to the Software Engineering Body of Knowledge , 1998 .

[86]  Herman Bruyninckx,et al.  Coordinating Robotic Tasks and Systems with rFSM Statecharts , 2012 .

[87]  Eelco Visser,et al.  DSL Engineering - Designing, Implementing and Using Domain-Specific Languages , 2013 .

[88]  Ian Horswill.  Functional Programming of Behavior-Based Systems , 2000, Auton. Robots.

[89]  Hadas Kress-Gazit,et al.  LTLMoP: Experimenting with language, Temporal Logic and robot control , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[90]  Stefano Stramigioli,et al.  Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation , 2014, SIMPAR.

[91]  Giorgio Metta,et al.  A representation of robotic behaviors using component port arbitration , 2014, ArXiv.

[92]  Hadas Kress-Gazit,et al.  Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[93]  Francisco J. Ortiz,et al.  A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-Forge , 2014, SIMPAR.

[94]  Oussama Khatib,et al.  Springer Handbook of Robotics , 2007, Springer Handbooks.

[95]  Bertrand Meyer,et al.  Simple concurrency for robotics with the Roboscoop framework , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[96]  Tewfik Ziadi,et al.  RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications , 2012, SIMPAR.

[97]  Herman Bruyninckx,et al.  A model-based approach to software deployment in robotics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[98]  Jordan B. Pollack,et al.  Evolution of generative design systems for modular physical robots , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[99]  Gerhard K. Kraetzschmar,et al.  Declarative specification of task-based grasping with constraint validation , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[100]  Hadas Kress-Gazit,et al.  From structured english to robot motion , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[101]  Félix Ingrand,et al.  An execution control system for autonomous robots , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[102]  Raja Chatila,et al.  Plan execution monitoring and control architecture for mobile robots , 1995, IEEE Trans. Robotics Autom..

[103]  Joris De Schutter,et al.  Rapid application development of constrained-based task modelling and execution using domain specific languages , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[104]  Sebastián Uchitel,et al.  Controller synthesis: From modelling to enactment , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[105]  Sebastian Wrede,et al.  A Domain-Specific Language for Rich Motor Skill Architectures , 2013, ArXiv.

[106]  Johannes F. Broenink,et al.  Simulation, Modeling, and Programming for Autonomous Robots , 2014, Lecture Notes in Computer Science.

[107]  Andreas Pott,et al.  BRICS - Best practice in robotics , 2010, ISR/ROBOTIK.

[108]  J. Buchli,et al.  Model based code generation for kinematics and dynamics computations in robot controllers , 2012 .

[109]  Herman Bruyninckx,et al.  Towards a Domain Specific Language for a Scene Graph based Robotic World Model , 2014, ArXiv.

[110]  Franck Fleurey,et al.  A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems , 2009, MoDELS.

[111]  Marco Di Natale,et al.  Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven Approach , 2014, SIMPAR.

[112]  Christian Schlegel,et al.  Dealing with Run-Time Variability in Service Robotics: Towards a DSL for Non-Functional Properties , 2013, ArXiv.

[113]  Reid G. Simmons,et al.  A task description language for robot control , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[114]  Charles Lesire,et al.  A Modeling Framework for Software Architecture Specification and Validation , 2014, SIMPAR.

[115]  Akim Demaille,et al.  Events! (Reactivity in urbiscript) , 2010, ArXiv.

[116]  Davide Brugali,et al.  Modeling and reusing robotic software architectures: The HyperFlex toolchain , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[117]  Jukka Riekki,et al.  A distributed architecture for executing complex tasks with multiple robots , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[118]  Francisco José Ortiz Zaragoza,et al.  V3CMM: a 3-view component meta-model for model-driven robotic software development , 2010 .

[119]  Kiyoshi Fujiwara,et al.  Experiences with model-centred design methods and tools in safe robotics , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[120]  Pablo Bustos,et al.  Improving the lifecycle of robotics components using Domain-Specific Languages , 2013, ArXiv.

[121]  Ulrik Pagh Schultz,et al.  A virtual machine-based approach for fast and flexible reprogramming of modular robots , 2009, 2009 IEEE International Conference on Robotics and Automation.

[122]  Alexander Kossiakoff,et al.  Systems Engineering Principles and Practice , 2020 .

[123]  Kang G. Shin,et al.  Reconfigurable software for open architecture controllers , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[124]  Herman Bruyninckx,et al.  A specification of generic robotics software components: future evolutions of G/sup en//sub o/M in the Orocos context , 2002, IEEE/RSJ International Conference on Intelligent Robots and Systems.

[125]  Christian Schlegel,et al.  Towards Quality of Service and Resource Aware Robotic Systems through Model-Driven Software Development , 2010, ArXiv.

[126]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[127]  Per Runeson,et al.  Guidelines for conducting and reporting case study research in software engineering , 2009, Empirical Software Engineering.

[128]  Tom Henderson,et al.  Logical sensor systems , 1984, J. Field Robotics.

[129]  Kenji Suzuki,et al.  Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usability , 2014, Robotics Auton. Syst..

[130]  Joanne H. Walker,et al.  Grammatical evolution of a robot controller , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[131]  Hans C. Woithe,et al.  A programming architecture for smart autonomous underwater vehicles , 2009, 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[132]  Alois Knoll,et al.  Design Abstraction and Processes in Robotics: From Code-Driven to Model-Driven Engineering , 2010, SIMPAR.

[133]  Siegfried Bocionek,et al.  Generating expert systems for configuration tasks , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[134]  Gerhard K. Kraetzschmar,et al.  A Platform-independent Programming Environment for Robot Control , 2010, ArXiv.

[135]  Rüdiger Dillmann,et al.  Automatic robot programming from learned abstract task knowledge , 2007, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[136]  Andreas Angerer,et al.  A Graphical Language for Real-Time Critical Robot Commands , 2013, ArXiv.

[137]  Ulrik Pagh Schultz,et al.  Towards Interactive, Incremental Programming of ROS Nodes , 2014, ArXiv.

[138]  Bran Selic,et al.  The UML – MARTE Standardized Profile , 2008 .

[139]  Jeremy Kubica,et al.  Creating a smarter membrane: automatic code generation for modular self-reconfigurable robots , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[140]  Phongchai Nilas,et al.  An innovative high-level human-robot interaction for disabled persons , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.

[141]  Sagar Chaki,et al.  Model-Driven Verifying Compilation of Synchronous Distributed Applications , 2014, MoDELS.

[142]  Fumio Mizoguchi,et al.  Logic specifications for multiple robots based on a current programming language , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).

[143]  Edwin P. D. Pednault,et al.  ADL and the State-Transition Model of Action , 1994, J. Log. Comput..

[144]  Michael Beetz,et al.  Combining Declarative, Procedural and Predictive Knowledge to Generate and Execute Robot Plans Efficiently and Robustly , 2008 .

[145]  Thomas C. Henderson,et al.  Instrumented logical sensor systems , 1998 .

[146]  Monica Anderson,et al.  RDIS: Generalizing domain concepts to specify device to framework mappings , 2012, 2012 IEEE International Conference on Robotics and Automation.

[147]  Darwin G. Caldwell,et al.  Code generation of algebraic quantities for robot controllers , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[148]  Fumin Zhang,et al.  Control of small formations using shape coordinates , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[149]  Damian M. Lyons,et al.  Getting it right the first time: Robot mission guarantees in the presence of uncertainty , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[150]  Wei Tang.  Meta Object Facility , 2018, Encyclopedia of Database Systems.

[151]  Kiyoshi Fujiwara,et al.  Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL , 2014, SIMPAR.

[152]  Simon Lacroix,et al.  Managing plans: Integrating deliberation and reactive execution schemes , 2010, Robotics Auton. Syst..

[153]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[154]  James W. Howatt,et al.  A project-based approach to programming language evaluation , 1995, SIGP.

[155]  David Johan Christensen,et al.  Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research , 2013, ArXiv.

[156]  Nicholas Roy,et al.  The Motion Grammar: Linguistic Perception, Planning, and Control , 2012 .

[157]  Stephen Cameron,et al.  A formal semantics for multiple vehicle task and motion planning , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[158]  Edith Parrott,et al.  SysML Distilled: A Brief Guide to the Systems Modeling Language , 2014 .

[159]  Ruzena Bajcsy,et al.  Experiments in behavior composition , 1997, Robotics Auton. Syst..

[160]  Thomas Röfer,et al.  A scripting-based approach to robot behavior engineering using hierarchical generators , 2012, 2012 IEEE International Conference on Robotics and Automation.

[161]  Irfan A. Essa,et al.  Linguistic transfer of human assembly tasks to robots , 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[162]  Holger Voos,et al.  Declarative Specification of Robot Perception Architectures , 2014, SIMPAR.

[163]  Friedrich M. Wahl,et al.  Automatic decomposition of planned assembly sequences into skill primitives , 2001, IEEE Trans. Robotics Autom..

[164]  Malte Wirkus.  Towards Robot-independent Manipulation Behavior Description , 2014, ArXiv.

[165]  Aaron D. Ames,et al.  Correct Software Synthesis for Stable Speed-Controlled Robotic Walking , 2013, Robotics: Science and Systems.

[166]  Ian Sommerville,et al.  Software Engineering (7th Edition) , 2004 .

[167]  Maria Gini,et al.  An Overview of XRobots : A Hierarchical State Machine Based Language , 2011 .

[168]  Junku Yuh,et al.  Task description language for underwater robots , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[169]  Stanley T. Birchfield,et al.  Program synthesis by examples for object repositioning tasks , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[170]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[171]  Matthieu Herrb,et al.  Design of a modular architecture for autonomous robot , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[172]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[173]  Gaurav S. Sukhatme,et al.  Adaptive teams of autonomous aerial and ground robots for situational awareness , 2007, J. Field Robotics.

[174]  Turhan Özgür.  Comparison of Microsoft DSL Tools and Eclipse Modeling Frameworks for Domain-Specific Modeling in the context of Model-Driven Development , 2007 .

[175]  Christian Goerick,et al.  Intelligent system architectures - comparison by translation , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[176]  Christian Goerick,et al.  A language for formal design of embedded intelligence research systems , 2011, Robotics Auton. Syst..

[177]  Joris De Schutter,et al.  Reusable hybrid force-velocity controlled motion specifications with executable Domain Specific Languages , 2011, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[178]  Holger Giese,et al.  Integrated Software Development for Embedded Robotic Systems , 2012, SIMPAR.

[179]  Eugene Syriani,et al.  A Visual Modeling Language for RDIS and ROS Nodes Using AToM3 , 2012, SIMPAR.

[180]  Jean-Christophe Baillie,et al.  URBI: towards a universal robotic low-level programming language , 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[181]  Sebastian Wrede,et al.  A Survey on Domain-Specific Languages in Robotics , 2014, SIMPAR.