Descriptions and guidance for the high-level organization of software providing "a specialization of element and relation types, together with a set of constraints on how they can be used". This discipline corresponds to the Section 2.3.2 in the SWEBOK.
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 |
|---|---|---|---|---|
| noreils1995plan | Plan execution monitoring and control architecture for mobile robots | Noreils, Fabrice R and Chatila, Raja G | 1995 | (E)BNF |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems | Federico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione | 2016 | |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications | Gritzner, Daniel and Greenyer, Joel | 2018 |
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 |
|---|---|---|---|---|
| braberman2013controller | Controller synthesis: From modelling to enactment | Braberman, V\ \ictor and D Ippolito, Nicolas and Piterman, Nir and Sykes, Daniel and Uchitel, Sebastian | 2013 | |
| dittes2011intelligent | Intelligent system architectures-comparison by translation | Dittes, Benjamin and Goerick, Christian | 2011 | |
| dittes2011language | A language for formal design of embedded intelligence research systems | Dittes, Benjamin and Goerick, Christian | 2011 | other |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems | Federico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione | 2016 | |
| ramaswamy2017extensible | An Extensible Model-based Framework Development Methodology for Robotic Systems | Ramaswamy, Arunkumar and Monsuez, Bruno and Tapus, Adriana | 2017 | |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications | Gritzner, Daniel and Greenyer, Joel | 2018 |
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 |
|---|---|---|---|---|
| noreils1995plan | Plan execution monitoring and control architecture for mobile robots | Noreils, Fabrice R and Chatila, Raja G | 1995 | (E)BNF |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component \& connector systems | Ringert, Jan Oliver and Alexander, Roth and Bernhard, Rumpe and Andreas, Wortmann | 2015 | |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications | Gritzner, Daniel and Greenyer, Joel | 2018 |
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 |
|---|---|---|---|---|
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usability | Berenz, Vincent and Suzuki, Kenji | 2014 | unknown |
| braberman2013controller | Controller synthesis: From modelling to enactment | Braberman, V\ \ictor and D Ippolito, Nicolas and Piterman, Nir and Sykes, Daniel and Uchitel, Sebastian | 2013 | |
| dai2002specifying | Specifying behavior in C++ | Dai, Xiangtian and Hager, Gregory and Peterson, John | 2002 | |
| dittes2011intelligent | Intelligent system architectures-comparison by translation | Dittes, Benjamin and Goerick, Christian | 2011 | |
| dittes2011language | A language for formal design of embedded intelligence research systems | Dittes, Benjamin and Goerick, Christian | 2011 | other |
| gat1991alfa | Alfa: A language for programming reactive robotic control systems | Gat, Erann | 1991 | unknown |
| horswill2000functional | Functional programming of behavior-based systems | Horswill, Ian Douglas | 2000 | |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemes | Joyeux, Sylvain and Kirchner, Frank and Lacroix, Simon | 2010 | unknown |
| noreils1995plan | Plan execution monitoring and control architecture for mobile robots | Noreils, Fabrice R and Chatila, Raja G | 1995 | (E)BNF |
| pembeci2003functional | Functional reactive programming as a hybrid system framework | Pembeci, Izzet and Hager, Gregory | 2003 | |
| peterson1999language | A language for declarative robotic programming | Peterson, John and Hager, Gregory D and Hudak, Paul | 1999 | other |
| rugg1994formal | A formal semantics for multiple vehicle task and motion planning | Rugg-Gunn, Neil and Cameron, Stephen | 1994 | other |
| tousignant2011overview | An overview of XRobots: A hierarchical state machine based language | Tousignant, Steve and Van Wyk, Eric and Gini, Maria | 2011 | silver |
| tousignant2012xrobots | XRobots: A flexible language for programming mobile robots based on hierarchical state machines | Tousignant, Steve and Van Wyk, Eric and Gini, Maria | 2012 | unknown |
| utz2005hierarchical | Hierarchical behavior organization | Utz, Hans and Kraetzschmar, Gerhard and Mayer, Gerd and Palm, G\ unther | 2005 | XSD |
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component \& connector systems | Ringert, Jan Oliver and Alexander, Roth and Bernhard, Rumpe and Andreas, Wortmann | 2015 | |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications | Gritzner, Daniel and Greenyer, Joel | 2018 |
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 |
|---|---|---|---|---|
| ringert2015language | Language and code generator composition for model-driven engineering of robotics component \& connector systems | Ringert, Jan Oliver and Alexander, Roth and Bernhard, Rumpe and Andreas, Wortmann | 2015 |
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 |
|---|---|---|---|---|
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration | Saglietti, Francesca and Meitner, Matthias | 2016 |
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 |
|---|---|---|---|---|
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration | Saglietti, Francesca and Meitner, Matthias | 2016 |
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 |
|---|---|---|---|---|
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration | Saglietti, Francesca and Meitner, Matthias | 2016 | |
| Ciccozzi2016Adopting | Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems | Federico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione | 2016 |
An important DSL is missing? Here is how to contribute! When using content of the Robotics DSL Zoo or referring to it, pleace consider citing our survey paper:
@article{nordmann2016survey,
author = {Nordmann, Arne and Hochgeschwender, Nico and Wigand, Dennis Leroy and Wrede, Sebastian},
journal = {Journal of Software Engineering in Robotics (JOSER)},
number = {1},
pages = {75--99},
title = {{A Survey on Domain-Specific Modeling and Languages in Robotics}},
volume = {7},
year = {2016},
}