Architectures and Programming
Architectures and Programming refers to the way a robotic system is designed on the software-level. It can be divided into architectural structure and architectural style. The structure is represented by how the system is split up into subsystems and how they interact with each other. The style however addresses the underlying computational concepts. This subdomain corresponds to Part A, Chapter 8 in the Handbook of Robotics.
Due to its large number of entries, the Architectures and Programming subdomain is further subdivided into its disciplines, see Architectures and Programming Disciplines.
114 publications
- 1985
- 1990
- 1995
- 2000
- 2005
- 2010
- 2015
Scenario Building
In the Scenario Building phase, environment features, constraints and characteristics are defined. Furthermore, the robot's task is defined. This includes the specification of customer acceptance tests to be performed in the specified and potentially generalized environment.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsJournal of IEEE Access website | Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione | 2016 | FLYAQ, Eclipse Virgo, Eclipse Modeling Framework | |
| Detzner2019Novel | A Novel Task Language for Natural Interaction in Human-Robot Systems for Warehouse Logistics2019 14th International Conference on Computer Science Education (ICCSE) | Peter Detzner, Thomas Kirks, Jana Jost | 2019 | ANTLR | custom (python-based) |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot controlIntelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit | 2010 | LTL | unknown |
| garcia2019high | High-level mission specification for multiple robotsProceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering websitedownload | Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomas Bures | 2019 | 'EMF Xtext', 'EMF Sirius', 'EMF Xtend') | |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| knoop2007automatic | Automatic robot programming from learned abstract task knowledgeIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Steffen Knoop, Michael Pardowitz, Rüdiger Dillmann | 2007 | unknown | |
| kunze2011towards | Towards semantic robot description languagesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Lars Kunze, Tobias Roehm, Michael Beetz | 2011 | OWL | |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robotsRobotics and Automation, IEEE Transactions on | Fabrice R Noreils, Raja G Chatila | 1995 | (E)BNF | unknown |
| raman2012avoiding | Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memoryIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Vasumathi Raman, Bingxin Xu, Hadas Kress-Gazit | 2012 | LTL | LTLMoP |
Functional Design
In the Functional Design phase, hardware requirements and top-level functionalities are derived based on the scenario definition. Furthermore, top-level functionalities are decomposed and dependencies among them are identified. Also an initial functional design stating which functionalities interact with each other is developed.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robotsSimulation, Modeling, and Programming for Autonomous Robots | Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz | 2014 | unknown | |
| anderson2012rdis | RDIS: Generalizing Domain Concepts to Specify Device to Framework MappingsRobotics and Automation (ICRA), 2012 IEEE International Conference on | Monica Anderson, Jason Bowman, Paul Kilgo | 2012 | ANTLR grammar | unknown |
| braberman2013controller | Controller synthesis: From modelling to enactmentProceedings of the 2013 International Conference on Software Engineering | Víctor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel | 2013 | MTSA | |
| buch2014applying | Applying Simulation and a Domain-Specific Language for an Adaptive Action LibrarySimulation, Modeling, and Programming for Autonomous Robots | Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz, Henrik Gordon Petersen | 2014 | (E)BNF | unknown |
| causse1993man | A man machine interface for a mobile robotIntelligent Robots and Systems' 93, IROS'93. Proceedings of the 1993 IEEE/RSJ International Conference on | Olivier Causse, James L Crowley | 1993 | (E)BNF | unknown |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsJournal of IEEE Access website | Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione | 2016 | FLYAQ, Eclipse Virgo, Eclipse Modeling Framework | |
| coste1997maestro | The maestro language and its environment: Specification, validation and control of robotic missionsIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Eve Coste-Maniere, Nicolas Turro | 1997 | unknown | unknown |
| Detzner2019Novel | A Novel Task Language for Natural Interaction in Human-Robot Systems for Warehouse Logistics2019 14th International Conference on Computer Science Education (ICCSE) | Peter Detzner, Thomas Kirks, Jana Jost | 2019 | ANTLR | custom (python-based) |
| dhouib2012robotml | Robotml, a domain-specific language to design, simulate and deploy robotic applicationsSimulation, Modeling, and Programming for Autonomous Robots | Saadia Dhouib, Selma Kchir, Serge Stinckwich, Tewfik Ziadi, Mikal Ziane | 2012 | UML/MOF | GMF |
| dittes2011intelligent | Intelligent system architectures-comparison by translationIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Benjamin Dittes, Christian Goerick | 2011 | unknown | |
| dittes2011language | A language for formal design of embedded intelligence research systemsRobotics and Autonomous Systems | Benjamin Dittes, Christian Goerick | 2011 | other | unknown |
| feniello2014program | Program synthesis by examples for object repositioning tasksIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Ashley Feniello, Hao Dang, Stan Birchfield | 2014 | unknown | none |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot controlIntelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit | 2010 | LTL | unknown |
| fleurey2009domain | A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsModel Driven Engineering Languages and Systems | Franck Fleurey, Arnor Solberg | 2009 | ecore | GMF |
| gherardi2014modeling | Modeling and reusing robotic software architectures: the hyperflex toolchainRobotics and Automation (ICRA), 2014 IEEE International Conference on | Luca Gherardi, Davide Brugali | 2014 | ecore | EMF/GMF |
| gordillo1991high | LE: a high level language for specifying vision verification tasksRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Jose L Gordillo | 1991 | unknown | unknown |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| henderson1984logical | Logical sensor systemsJournal of Robotic Systems | Tom Henderson, Esther Shilcrat | 1984 | (E)BNF | |
| hochgeschwender2013model | A model-based approach to software deployment in roboticsIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Nico Hochgeschwender, Luca Gherardi, Azamat Shakhirmardanov, Gerhard K Kraetzschmar, Davide Brugali, Herman Bruyninckx | 2013 | ecore | xtext |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operationRobotics and Autonomous systems | Carlos A Jara, Francisco A Candelas, Pablo Gil, Fernando Torres, Francisco Esquembre, Sebastián Dormido | 2011 | other | none |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kress2007structured | From structured english to robot motionIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Hadas Kress-Gazit, Georgios E Fainekos, George J Pappas | 2007 | LTL | none |
| lyons2013getting | Getting it right the first time: Robot mission guarantees in the presence of uncertaintyIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Damian M Lyons, Ronald C Arkin, Paramesh Nirmal, T-M Liu, J Deeb, et al. | 2013 | unknown | own development |
| nordmann2015modeling | Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific LanguagesInternational Conference on Robotics and Automation (ICRA) | Arne Nordmann, Sebastian Wrede, Jochen J. Steil | 2015 | MPS | |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |
| raman2013explaining | Explaining impossible high-level robot behaviorsRobotics, IEEE Transactions on | Vasumathi Raman, Hadas Kress-Gazit | 2013 | unknown | |
| ramaswamy2014saferobots | SafeRobots: A model-driven Framework for developing Robotic SystemsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Anand Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ramaswamy2016an | An Extensible Model-Based Framework for Robotics Software Development2017 First IEEE International Conference on Robotic Computing (IRC) | A. Ramaswamy, B. Monsuez, A. Tapus | 2016 | ||
| ramaswamy2017extensible | An Extensible Model-based Framework Development Methodology for Robotic SystemsJournal of Software Engineering for Robotics | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2017 | EMF | |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | unknown | |
| roehr2014reconfigurable | Reconfigurable integrated multirobot exploration system (RIMRES): heterogeneous modular reconfigurable robots for space explorationJournal of Field Robotics | Thomas M Roehr, Florian Cordes, Frank Kirchner | 2014 | ||
| schlegel2010design | Design abstraction and processes in robotics: From code-driven to model-driven engineeringSimulation, Modeling, and Programming for Autonomous Robots | Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll | 2010 | UML/MOF | GMF |
| thomas2013new | A New Skill Based Robot Programming Language Using UML/P StatechartsRobotics and Automation (ICRA), 2013 IEEE International Conference on | Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann | 2013 | other | Monticore |
Platform Building
In the Platform Building phase, the robot hardware is determined. This includes the selection and potential configuration of robot's sensors and actuators meeting the requirements defined in the functional design phase.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| anderson2012rdis | RDIS: Generalizing Domain Concepts to Specify Device to Framework MappingsRobotics and Automation (ICRA), 2012 IEEE International Conference on | Monica Anderson, Jason Bowman, Paul Kilgo | 2012 | ANTLR grammar | unknown |
| bordignon2011generalized | Generalized programming of modular robots through kinematic configurationsIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Mirko Bordignon, Kasper Stoy, Ulrik Pagh Schultz | 2011 | ||
| causse1993man | A man machine interface for a mobile robotIntelligent Robots and Systems' 93, IROS'93. Proceedings of the 1993 IEEE/RSJ International Conference on | Olivier Causse, James L Crowley | 1993 | (E)BNF | unknown |
| datta2012robostudio | Robostudio: A visual programming environment for rapid authoring and customization of complex services on a personal service robotIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Chandan Datta, Chandimal Jayawardena, I Han Kuo, Bruce A MacDonald | 2012 | unknown | Netbeans |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operationRobotics and Autonomous systems | Carlos A Jara, Francisco A Candelas, Pablo Gil, Fernando Torres, Francisco Esquembre, Sebastián Dormido | 2011 | other | none |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kim2003task | Task description language for underwater robotsIntelligent Robots and Systems, 2003.(IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on | Tae Won Kim, Junku Yuh | 2003 | (E)BNF | unknown |
| lesire2012mauve | Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.7th full day Workshop on Software Development and Integration in Robotics (ICRA2012-SDIR VII) | Charles Lesire, David Doose, Hugues Cassé | 2012 | ecore | xtext |
| ljungkrantz2007implementing | Implementing a control system framework for automatic generation of manufacturing cell controllersRobotics and Automation, 2007 IEEE International Conference on | Oscar Ljungkrantz, K Akesson, Johan Richardsson, Kristin Andersson | 2007 | XSD | |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming languageIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi | 1998 | unknown | unknown |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robotsRobotics and Automation, IEEE Transactions on | Fabrice R Noreils, Raja G Chatila | 1995 | (E)BNF | unknown |
| ramaswamy2014saferobots | SafeRobots: A model-driven Framework for developing Robotic SystemsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Anand Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ramaswamy2014solution | Solution space modeling for robotic systemsJournal for Software Engineering Robotics (JOSER) | Arun Kumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component & connector systemsJOURNAL OF SOFTWARE ENGINEERING IN ROBOTICS websitedownload | Jan Oliver Ringert, Roth Alexander, Rumpe Bernhard, Wortmann Andreas | 2015 | MontiArcAutomaton | |
| roehr2014reconfigurable | Reconfigurable integrated multirobot exploration system (RIMRES): heterogeneous modular reconfigurable robots for space explorationJournal of Field Robotics | Thomas M Roehr, Florian Cordes, Frank Kirchner | 2014 |
Capability Building
In the Capability Building phase, basic and composite components are constructed up to the application-level and constraints for their deployment are specified. This also includes the specification and eventually generation of additional knowledge required for component execution such as knowledge bases and training data.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| abdellatif2012rigorous | Rigorous design of robot software: A formal component-based approachRobotics and Autonomous Systems | Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra De Silva, Felix Ingrand | 2012 | unknown | |
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robotsSimulation, Modeling, and Programming for Autonomous Robots | Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz | 2014 | unknown | |
| aertbelien2014etasl | eTaSL/eTC: A constraint-based task specification language and robot controller using expression graphsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Erwin Aertbeliën, Joris De Schutter | 2014 | ||
| aggarwal1994specification | Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cellsRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sudhir Aggarwal, Sandeep Mitra, Sanjay S Jagdale | 1994 | unknown | unknown |
| alonso2010v3cmm | V3cmm: A 3-view component meta-model for model-driven robotic software developmentJournal of Software Engineering for Robotics | Diego Alonso, Cristina Vicente-Chicote, Francisco Ortiz, Juan Pastor, Barbara Alvarez | 2010 | ecore | EMF/GMF |
| anderson2012rdis | RDIS: Generalizing Domain Concepts to Specify Device to Framework MappingsRobotics and Automation (ICRA), 2012 IEEE International Conference on | Monica Anderson, Jason Bowman, Paul Kilgo | 2012 | ANTLR grammar | unknown |
| barth2012goto | A GOTO-based concept for intuitive robot programmingIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Katharina Barth, Dominik Henrich | 2012 | other | none |
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usabilityRobotics and Autonomous Systems | Vincent Berenz, Kenji Suzuki | 2014 | unknown | unknown |
| biggs2006specifying | Specifying robot reactivity in procedural languagesIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2006 | unknown | none |
| biggs2008evaluating | Evaluating a reactive semantics for roboticsIntelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2008 | none | |
| bordignon2011generalized | Generalized programming of modular robots through kinematic configurationsIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Mirko Bordignon, Kasper Stoy, Ulrik Pagh Schultz | 2011 | ||
| bouzouia1998three | A three-layer workcell control architecture designRobotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on | Brahim Bouzouia, Fawzi Guerroumi, Abdelmalek Boukhezar | 1998 | unknown | unknown |
| braberman2013controller | Controller synthesis: From modelling to enactmentProceedings of the 2013 International Conference on Software Engineering | Víctor Braberman, Nicolas D'Ippolito, Nir Piterman, Daniel Sykes, Sebastian Uchitel | 2013 | MTSA | |
| buch2014applying | Applying Simulation and a Domain-Specific Language for an Adaptive Action LibrarySimulation, Modeling, and Programming for Autonomous Robots | Jacob Pørksen Buch, Johan Sund Laursen, Lars Carøe Sørensen, Lars-Peter Ellekilde, Dirk Kraft, Ulrik Pagh Schultz, Henrik Gordon Petersen | 2014 | (E)BNF | unknown |
| burbidge2009grammatical | Grammatical evolution of a robot controllerIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Robert Burbidge, Joanne H Walker, Myra S Wilson | 2009 | (E)BNF | |
| causse1993man | A man machine interface for a mobile robotIntelligent Robots and Systems' 93, IROS'93. Proceedings of the 1993 IEEE/RSJ International Conference on | Olivier Causse, James L Crowley | 1993 | (E)BNF | unknown |
| chaki2014model | Model-Driven Verifying Compilation of Synchronous Distributed ApplicationsModel-Driven Engineering Languages and Systems | Sagar Chaki, James Edmondson | 2014 | (E)BNF | unknown |
| coste1997maestro | The maestro language and its environment: Specification, validation and control of robotic missionsIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Eve Coste-Maniere, Nicolas Turro | 1997 | unknown | unknown |
| dai2002specifying | Specifying behavior in C++Robotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Xiangtian Dai, Gregory Hager, John Peterson | 2002 | internal (c++) | |
| dantam2011motion | The motion grammar for physical human-robot gamesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Neil Dantam, P Koine, Mike Stilman | 2011 | other | unknown |
| dantam2012linguistic | Linguistic transfer of human assembly tasks to robotsIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Neil Dantam, Irfan Essa, Mike Stilman | 2012 | (E)BNF | unknown |
| datta2012robostudio | Robostudio: A visual programming environment for rapid authoring and customization of complex services on a personal service robotIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Chandan Datta, Chandimal Jayawardena, I Han Kuo, Bruce A MacDonald | 2012 | unknown | Netbeans |
| de2007distributed | Distributed watchpoints: Debugging large multi-robot systemsRobotics and Automation, 2007 IEEE International Conference on | Michael De Rosa, Jason Campbell, Padmanabhan Pillai, S Goldstein, Peter Lee, T Mowry | 2007 | (E)BNF | unknown |
| de2012scripting | A Scripting-Based Approach to Robot Behavior Engineering using Hierarchical GeneratorsRobotics and Automation (ICRA), 2012 IEEE International Conference on | Thijs Jeffry de Haas, Tim Laue, T Rofer | 2012 | unknown | unknown |
| dhouib2012robotml | Robotml, a domain-specific language to design, simulate and deploy robotic applicationsSimulation, Modeling, and Programming for Autonomous Robots | Saadia Dhouib, Selma Kchir, Serge Stinckwich, Tewfik Ziadi, Mikal Ziane | 2012 | UML/MOF | GMF |
| dittes2011intelligent | Intelligent system architectures-comparison by translationIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Benjamin Dittes, Christian Goerick | 2011 | unknown | |
| dittes2011language | A language for formal design of embedded intelligence research systemsRobotics and Autonomous Systems | Benjamin Dittes, Christian Goerick | 2011 | other | unknown |
| fayman1999av | AV-shell, an environment for autonomous robotic applications using active visionAutonomous Robots | Jeffrey A Fayman, Ehud Rivlin, Henrik I Christensen | 1999 | unknown | unknown |
| feniello2014program | Program synthesis by examples for object repositioning tasksIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Ashley Feniello, Hao Dang, Stan Birchfield | 2014 | unknown | none |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot controlIntelligent Robots and Systems (IROS), 2010 IEEE/RSJ International Conference on | Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit | 2010 | LTL | unknown |
| fleurey2009domain | A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsModel Driven Engineering Languages and Systems | Franck Fleurey, Arnor Solberg | 2009 | ecore | GMF |
| fleury1994design | Design of a modular architecture for autonomous robotRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1994 | unknown | Lex, Yacc |
| fleury1997g | GenoM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot ArchitectureIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1997 | unknown | unknown |
| freund2001state | State oriented modeling as enabling technology for projective virtual realityIntelligent Robots and Systems, 2001. Proceedings. 2001 IEEE/RSJ International Conference on | Eckhard Freund, Michael Schluse, Jürgen Rossmann | 2001 | unknown | unknown |
| gat1991alfa | Alfa: A language for programming reactive robotic control systemsRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Erann Gat | 1991 | unknown | |
| gherardi2014modeling | Modeling and reusing robotic software architectures: the hyperflex toolchainRobotics and Automation (ICRA), 2014 IEEE International Conference on | Luca Gherardi, Davide Brugali | 2014 | ecore | EMF/GMF |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| gordillo1991high | LE: a high level language for specifying vision verification tasksRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Jose L Gordillo | 1991 | unknown | unknown |
| graves1999distributed | Distributed generic control for multiple types of telerobotRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | Alan R Graves, Chris Czarnecki | 1999 | unknown | unknown |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| henderson1984logical | Logical sensor systemsJournal of Robotic Systems | Tom Henderson, Esther Shilcrat | 1984 | (E)BNF | |
| hochgeschwender2013model | A model-based approach to software deployment in roboticsIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Nico Hochgeschwender, Luca Gherardi, Azamat Shakhirmardanov, Gerhard K Kraetzschmar, Davide Brugali, Herman Bruyninckx | 2013 | ecore | xtext |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| hongxing2009component | A component based design framework for robot software architectureIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Wei Hongxing, Duan Xinming, Li Shiyi, Tong Guofeng, Wang Tianmiao | 2009 | (E)BNF | unknown |
| horswill2000functional | Functional programming of behavior-based systemsAutonomous Robots | Ian Douglas Horswill | 2000 | none | |
| hsieh2007adaptive | Adaptive teams of autonomous aerial and ground robots for situational awarenessJournal of Field Robotics | M Ani Hsieh, Anthony Cowley, James F Keller, Luiz Chaimowicz, Ben Grocholsky, Vijay Kumar, Camillo J Taylor, Yoichiro Endo, Ronald C Arkin, Boyoon Jung, et al. | 2007 | unknown | |
| ingrand2002execution | An execution control system for autonomous robotsRobotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Félix Ingrand, Frederic Py | 2002 | unknown | unknown |
| ingrand2007decisional | Decisional autonomy of planetary roversJournal of Field Robotics | Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier, Frederic Py | 2007 | unknown | |
| jara2011ejs+ | Ejs+ EjsRL: An interactive tool for industrial robots simulation, Computer Vision and remote operationRobotics and Autonomous systems | Carlos A Jara, Francisco A Candelas, Pablo Gil, Fernando Torres, Francisco Esquembre, Sebastián Dormido | 2011 | other | none |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemesRobotics and Autonomous Systems | Sylvain Joyeux, Frank Kirchner, Simon Lacroix | 2010 | unknown | unknown |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kim2003task | Task description language for underwater robotsIntelligent Robots and Systems, 2003.(IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on | Tae Won Kim, Junku Yuh | 2003 | (E)BNF | unknown |
| kovsecka1997experiments | Experiments in behavior compositionRobotics and Autonomous systems | Jana Košecká, Henrik I Christensen, Ruzena Bajcsy | 1997 | other | unknown |
| kress2007structured | From structured english to robot motionIntelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on | Hadas Kress-Gazit, Georgios E Fainekos, George J Pappas | 2007 | LTL | none |
| kubica2002creating | Creating a smarter membrane: Automatic code generation for modular self-reconfigurable robotsRobotics and Automation, 2002. Proceedings. ICRA'02. IEEE International Conference on | Jeremy Kubica, Eleanor Rieffel | 2002 | unknown | unknown |
| kulakowski2012modeling | Modeling robot behavior with CCLSimulation, Modeling, and Programming for Autonomous Robots | Konrad Kułakowski, Tomasz Szmuc | 2012 | ||
| kunze2011towards | Towards semantic robot description languagesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Lars Kunze, Tobias Roehm, Michael Beetz | 2011 | OWL | |
| lesire2012mauve | Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.7th full day Workshop on Software Development and Integration in Robotics (ICRA2012-SDIR VII) | Charles Lesire, David Doose, Hugues Cassé | 2012 | ecore | xtext |
| ljungkrantz2007implementing | Implementing a control system framework for automatic generation of manufacturing cell controllersRobotics and Automation, 2007 IEEE International Conference on | Oscar Ljungkrantz, K Akesson, Johan Richardsson, Kristin Andersson | 2007 | XSD | |
| loetzsch2006xabsl | XABSL-a pragmatic approach to behavior engineeringIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Martin Loetzsch, Max Risler, Matthias Jungel | 2006 | (E)BNF | unknown |
| lyons2013getting | Getting it right the first time: Robot mission guarantees in the presence of uncertaintyIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Damian M Lyons, Ronald C Arkin, Paramesh Nirmal, T-M Liu, J Deeb, et al. | 2013 | unknown | own development |
| mackenzie1995specification | Specification and execution of multiagent missionsIntelligent Robots and Systems 95.'Human Robot Interaction and Cooperative Robots', Proceedings. 1995 IEEE/RSJ International Conference on | Douglas C MacKenzie, Jonathan M Cameron, Ronald C Arkin | 1995 | unknown | MissionLab |
| maenpaa2004distributed | A distributed architecture for executing complex tasks with multiple robotsRobotics and Automation, 2004. Proceedings. ICRA'04. 2004 IEEE International Conference on | Topi Maenpaa, Antti Tikanmaki, Jukka Riekki, Juha Roning | 2004 | XSD | none |
| mallet2002specification | A specification of generic robotics software components: future evolutions of G en o M in the Orocos contextIntelligent Robots and Systems, 2002. IEEE/RSJ International Conference on | Anthony Mallet, Sara Fleury, Herman Bruyninckx | 2002 | (E)BNF | unknown |
| mallet2010genom3 | GenoM3: Building middleware-independent robotic componentsRobotics and Automation (ICRA), 2010 IEEE International Conference on | Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, Félix Ingrand | 2010 | unknown | own development |
| menga1991framework | A framework for object oriented design and prototyping of manufacturing systemsRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | G Menga, M Morisio, M Mancin | 1991 | unknown | unknown |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| mosemann2001automatic | Automatic decomposition of planned assembly sequences into skill primitivesRobotics and Automation, IEEE Transactions on | Heiko Mosemann, Friedrich M Wahl | 2001 | other | unknown |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming languageIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi | 1998 | unknown | unknown |
| nordmann2015modeling | Modeling of Movement Control Architectures based on Motion Primitives using Domain-Specific LanguagesInternational Conference on Robotics and Automation (ICRA) | Arne Nordmann, Sebastian Wrede, Jochen J. Steil | 2015 | MPS | |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robotsRobotics and Automation, IEEE Transactions on | Fabrice R Noreils, Raja G Chatila | 1995 | (E)BNF | unknown |
| o2014automatic | Automatic Verification of Autonomous Robot MissionsSimulation, Modeling, and Programming for Autonomous Robots | Matthew O’Brien, Ronald C Arkin, Dagan Harrington, Damian Lyons, Shu Jiang | 2014 | unknown | unknown |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |
| pembeci2003functional | Functional reactive programming as a hybrid system frameworkRobotics and Automation, 2003. Proceedings. ICRA'03. IEEE International Conference on | Izzet Pembeci, Gregory Hager | 2003 | none | |
| peterson1999language | A language for declarative robotic programmingRobotics and Automation, 1999. Proceedings. 1999 IEEE International Conference on | John Peterson, Gregory D Hager, Paul Hudak | 1999 | other | unknown |
| raman2013explaining | Explaining impossible high-level robot behaviorsRobotics, IEEE Transactions on | Vasumathi Raman, Hadas Kress-Gazit | 2013 | unknown | |
| ramaswamy2014saferobots | SafeRobots: A model-driven Framework for developing Robotic SystemsIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Anand Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ramaswamy2014solution | Solution space modeling for robotic systemsJournal for Software Engineering Robotics (JOSER) | Arun Kumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2014 | ecore | EMF/GMF |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | unknown | |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component & connector systemsJOURNAL OF SOFTWARE ENGINEERING IN ROBOTICS websitedownload | Jan Oliver Ringert, Roth Alexander, Rumpe Bernhard, Wortmann Andreas | 2015 | MontiArcAutomaton | |
| rugg1994formal | A formal semantics for multiple vehicle task and motion planningRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Neil Rugg-Gunn, Stephen Cameron | 1994 | other | |
| rusakov2014simple | Simple concurrency for robotics with the Roboscoop frameworkIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Andrey Rusakov, Jiwon Shin, Bertrand Meyer | 2014 | unknown | none |
| schlegel2010design | Design abstraction and processes in robotics: From code-driven to model-driven engineeringSimulation, Modeling, and Programming for Autonomous Robots | Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll | 2010 | UML/MOF | GMF |
| simmons1998task | A task description language for robot controlIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Reid Simmons, David Apfelbaum | 1998 | (E)BNF | unknown |
| steck2011managing | Managing execution variants in task coordination by exploiting design-time models at run-timeIntelligent Robots and Systems (IROS), 2011 IEEE/RSJ International Conference on | Andreas Steck, Christian Schlegel | 2011 | internal (lisp) | |
| sun2012model | A model-driven approach to support engineering changes in industrial robotics software | Yu Sun, Jeff Gray, Karlheinz Bulheller, Nicolaus von Baillou | 2012 | ||
| thomas2013new | A New Skill Based Robot Programming Language Using UML/P StatechartsRobotics and Automation (ICRA), 2013 IEEE International Conference on | Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze, Andreas Wortmann | 2013 | other | Monticore |
| tousignant2011overview | An overview of XRobots: A hierarchical state machine based languageICRA-2011 Workshop on Software Development and Integration in Robotics, Shanghai, China May | Steve Tousignant, Eric Van Wyk, Maria Gini | 2011 | silver | silver |
| tousignant2012xrobots | XRobots: A flexible language for programming mobile robots based on hierarchical state machinesRobotics and Automation (ICRA), 2012 IEEE International Conference on | Steve Tousignant, Eric Van Wyk, Maria Gini | 2012 | unknown | unknown |
| utz2005hierarchical | Hierarchical behavior organizationIntelligent Robots and Systems, 2005.(IROS 2005). 2005 IEEE/RSJ International Conference on | Hans Utz, Gerhard Kraetzschmar, Gerd Mayer, Günther Palm | 2005 | XSD | |
| wang2001reconfigurable | Reconfigurable software for open architecture controllersRobotics and Automation, 2001. Proceedings 2001 ICRA. IEEE International Conference on | Shige Wang, Kang G Shin | 2001 | unknown | unknown |
| woithe2009programming | A programming architecture for smart autonomous underwater vehiclesIntelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on | Hans C Woithe, Ulrich Kremer | 2009 | other | flex/bison |
System Deployment
In the System Deployment phase, top-level component(s) are packaged into a complete application system which defines a mapping of components and composites to computational units. Furthermore, features and procedures for system launch management are developed.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| alonso2010v3cmm | V3cmm: A 3-view component meta-model for model-driven robotic software developmentJournal of Software Engineering for Robotics | Diego Alonso, Cristina Vicente-Chicote, Francisco Ortiz, Juan Pastor, Barbara Alvarez | 2010 | ecore | EMF/GMF |
| bouzouia1998three | A three-layer workcell control architecture designRobotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on | Brahim Bouzouia, Fawzi Guerroumi, Abdelmalek Boukhezar | 1998 | unknown | unknown |
| datta2012robostudio | Robostudio: A visual programming environment for rapid authoring and customization of complex services on a personal service robotIntelligent Robots and Systems (IROS), 2012 IEEE/RSJ International Conference on | Chandan Datta, Chandimal Jayawardena, I Han Kuo, Bruce A MacDonald | 2012 | unknown | Netbeans |
| dhouib2012robotml | Robotml, a domain-specific language to design, simulate and deploy robotic applicationsSimulation, Modeling, and Programming for Autonomous Robots | Saadia Dhouib, Selma Kchir, Serge Stinckwich, Tewfik Ziadi, Mikal Ziane | 2012 | UML/MOF | GMF |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| hochgeschwender2013model | A model-based approach to software deployment in roboticsIntelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on | Nico Hochgeschwender, Luca Gherardi, Azamat Shakhirmardanov, Gerhard K Kraetzschmar, Davide Brugali, Herman Bruyninckx | 2013 | ecore | xtext |
| lesire2012mauve | Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.7th full day Workshop on Software Development and Integration in Robotics (ICRA2012-SDIR VII) | Charles Lesire, David Doose, Hugues Cassé | 2012 | ecore | xtext |
| loetzsch2006xabsl | XABSL-a pragmatic approach to behavior engineeringIntelligent Robots and Systems, 2006 IEEE/RSJ International Conference on | Martin Loetzsch, Max Risler, Matthias Jungel | 2006 | (E)BNF | unknown |
| mallet2002specification | A specification of generic robotics software components: future evolutions of G en o M in the Orocos contextIntelligent Robots and Systems, 2002. IEEE/RSJ International Conference on | Anthony Mallet, Sara Fleury, Herman Bruyninckx | 2002 | (E)BNF | unknown |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component & connector systemsJOURNAL OF SOFTWARE ENGINEERING IN ROBOTICS websitedownload | Jan Oliver Ringert, Roth Alexander, Rumpe Bernhard, Wortmann Andreas | 2015 | MontiArcAutomaton | |
| schlegel2010design | Design abstraction and processes in robotics: From code-driven to model-driven engineeringSimulation, Modeling, and Programming for Autonomous Robots | Christian Schlegel, Andreas Steck, Davide Brugali, Alois Knoll | 2010 | UML/MOF | GMF |
System Benchmarking
In the System Benchmarking phase, certain test procedures targeting different quality attributes are performed such as stress testing, safety and security testing, reliability and durability testing, and performance testing.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| abdellatif2012rigorous | Rigorous design of robot software: A formal component-based approachRobotics and Autonomous Systems | Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra De Silva, Felix Ingrand | 2012 | unknown | |
| de2007distributed | Distributed watchpoints: Debugging large multi-robot systemsRobotics and Automation, 2007 IEEE International Conference on | Michael De Rosa, Jason Campbell, Padmanabhan Pillai, S Goldstein, Peter Lee, T Mowry | 2007 | (E)BNF | unknown |
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and ReconfigurationProceedings of the 3rd Workshop on Model-Driven Robot Software Engineering website | Francesca Saglietti, Matthias Meitner | 2016 | unknown |
Product Deployment
In the Product Deployment phase, an application is tailored to a specific robot system. This includes also the installation of maintenance instrumentation and a final target platform system testing.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| fleurey2009domain | A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsModel Driven Engineering Languages and Systems | Franck Fleurey, Arnor Solberg | 2009 | ecore | GMF |
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and ReconfigurationProceedings of the 3rd Workshop on Model-Driven Robot Software Engineering website | Francesca Saglietti, Matthias Meitner | 2016 | unknown |
Product Maintenance
In the Product Maintenance phase, the robot application is operated and maintained. This includes eventually the analysis of log files and the tuning of system parameters.
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robotsSimulation, Modeling, and Programming for Autonomous Robots | Sorin Adam, Morten Larsen, Kjeld Jensen, Ulrik Pagh Schultz | 2014 | unknown | |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsJournal of IEEE Access website | Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione | 2016 | FLYAQ, Eclipse Virgo, Eclipse Modeling Framework | |
| dantam2011motion | The motion grammar for physical human-robot gamesRobotics and Automation (ICRA), 2011 IEEE International Conference on | Neil Dantam, P Koine, Mike Stilman | 2011 | other | unknown |
| de2007distributed | Distributed watchpoints: Debugging large multi-robot systemsRobotics and Automation, 2007 IEEE International Conference on | Michael De Rosa, Jason Campbell, Padmanabhan Pillai, S Goldstein, Peter Lee, T Mowry | 2007 | (E)BNF | unknown |
| fleurey2009domain | A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsModel Driven Engineering Languages and Systems | Franck Fleurey, Arnor Solberg | 2009 | ecore | GMF |
| hochgeschwender2014declarative | Declarative Specification of Robot Perception ArchitecturesSimulation, Modeling, and Programming for Autonomous Robots | Nico Hochgeschwender, Sven Schneider, Holger Voos, Gerhard K Kraetzschmar | 2014 | ecore | xtext |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | unknown | |
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and ReconfigurationProceedings of the 3rd Workshop on Model-Driven Robot Software Engineering website | Francesca Saglietti, Matthias Meitner | 2016 | unknown |
Not assigned to a development phase
| Key | Title | Authors | Year | Formalism | Tool |
|---|---|---|---|---|---|
| Akim2010 | Events! (Reactivity in Urbiscript)Workshop on Domain-Specific Languages and models for Robotic systems | Jean-christophe Baillie Akim, Demaille Quentin, Hocquet Matthieu, S A S Gostai, Jean-baptiste Berlier, F- Paris | 2010 | none | |
| Anderson2011 | Work in Progress: Enabling Robot Device Discovery through Robot Device DescriptionsWorkshop on Domain-Specific Languages and models for Robotic systems | Monica Anderson, Paul Kilgo, Chris Crawford, Megan Stanforth | 2011 | none | |
| Angerer2012 | A Graphical Language for Real-Time Critical Robot CommandsWorkshop on Domain-Specific Languages and models for Robotic systems | Andreas Angerer, Remi Smirra, Alwin Hoffmann, Andreas Schierl, Michael Vistein, Wolfgang Reif | 2012 | EMF, GMF | |
| Fabry2014 | Live Robot ProgrammingAdvances in Artificial Intelligence – IBERAMIA 2014 websitedownload | Johan Fabry, Miguel Campusano | 2014 | Pharo Smalltalk | |
| ferrein2008logic | Logic-based robot control in highly dynamic domainsRobotics and Autonomous Systems | Alexander Ferrein, Gerhard Lakemeyer | 2008 | ||
| Ingles2010 | Dealing with Run-Time Variability in Service Robotics : Towards a DSL for Non-Functional PropertiesWorkshop on Domain-Specific Languages and models for Robotic systems | J.F. Ingles-Romero, A. Lotz, C. Vicente-Chicote, C. Schlegel | 2010 | EMP | |
| Klotzbuecher2012 | Pure Coordination using the Coordinator – Configurator PatternWorkshop on Domain-Specific Languages and models for Robotic systems | Markus Klotzbücher, Geoffrey Biggs, Herman Bruyninckx | 2012 | internal (lua) | |
| Lotz2014 | Towards a Stepwise Variability Management Process for Complex Systems: A Robotics PerspectiveInternational Journal of Information System Modeling and Design | Alex Lotz, Juan F. Inglés-Romero, Dennis Stampfer, Matthias Lutz, Cristina Vicente-Chicote, Christian Schlegel | 2014 | EMF + internal (lisp) | |
| MuheDSLRob2010 | On reverse-engineering the KUKA Robot LanguageWorkshop on Domain-Specific Languages and models for Robotic systems | Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif | 2010 | custom | |
| NordmannDSLRob2012 | A Domain-Specific Language for Rich Motor Skill ArchitecturesWorkshop on Domain-Specific Languages and models for Robotic systems | Arne Nordmann, Sebastian Wrede | 2012 | MPS | |
| Reckhaus2010 | A Platform-Independent Programming Environment for Robot ControlWorkshop on Domain-Specific Languages and models for Robotic systems | M. Reckhaus, N. Hochgeschwender | 2010 | EMP | |
| Trojanek2011 | Model-Driven Engineering Approach to Design and Implementation of Robot Control SystemWorkshop on Domain-Specific Languages and models for Robotic systems | Piotr Trojanek | 2011 | EMF | |
| yoong2012combining | Combining IEC 61499 model-based design with component-based architecture for roboticsSimulation, Modeling, and Programming for Autonomous Robots | Li Hsien Yoong, Zeeshan E Bhatti, Partha S Roop | 2012 |