Robotics DSL Zoo

Subdomain „Families of Programs and Frameworks“

Software product lines or Frameworks encapsulating commonalities among elements and targeting re-use by designing customizable components that account for variability. This discipline corresponds to the Section 2.3.5 in the SWEBOK.

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.

KeyTitleAuthorsYearFormalism
Ciccozzi2016AdoptingAdopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsFederico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione2016
gritzner2018synthesizingSynthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsGritzner, Daniel and Greenyer, Joel2018
Detzner2019NovelA Novel Task Language for Natural Interaction in Human-Robot Systems for Warehouse LogisticsPeter Detzner and Thomas Kirks and Jana Jost2019 ANTLR

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.

KeyTitleAuthorsYearFormalism
fleurey2009domainA domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsFleurey, Franck and Solberg, Arnor2009 ecore
gherardi2014modelingModeling and reusing robotic software architectures: the hyperflex toolchainGherardi, Luca and Brugali, Davide2014 ecore
hochgeschwender2013modelA model-based approach to software deployment in roboticsHochgeschwender, Nico and Gherardi, Luca and Shakhirmardanov, Azamat and Kraetzschmar, Gerhard K and Brugali, Davide and Bruyninckx, Herman2013 ecore
Ciccozzi2016AdoptingAdopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsFederico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione2016
gritzner2018synthesizingSynthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsGritzner, Daniel and Greenyer, Joel2018
Detzner2019NovelA Novel Task Language for Natural Interaction in Human-Robot Systems for Warehouse LogisticsPeter Detzner and Thomas Kirks and Jana Jost2019 ANTLR

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.

KeyTitleAuthorsYearFormalism
ramaswamy2014solutionSolution space modeling for robotic systemsRamaswamy, Arun Kumar and Monsuez, Bruno and Tapus, Adriana2014 ecore
gritzner2018synthesizingSynthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsGritzner, Daniel and Greenyer, Joel2018

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.

KeyTitleAuthorsYearFormalism
fleurey2009domainA domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsFleurey, Franck and Solberg, Arnor2009 ecore
gherardi2014modelingModeling and reusing robotic software architectures: the hyperflex toolchainGherardi, Luca and Brugali, Davide2014 ecore
hochgeschwender2013modelA model-based approach to software deployment in roboticsHochgeschwender, Nico and Gherardi, Luca and Shakhirmardanov, Azamat and Kraetzschmar, Gerhard K and Brugali, Davide and Bruyninckx, Herman2013 ecore
ramaswamy2014solutionSolution space modeling for robotic systemsRamaswamy, Arun Kumar and Monsuez, Bruno and Tapus, Adriana2014 ecore
gritzner2018synthesizingSynthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsGritzner, Daniel and Greenyer, Joel2018

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.

KeyTitleAuthorsYearFormalism
hochgeschwender2013modelA model-based approach to software deployment in roboticsHochgeschwender, Nico and Gherardi, Luca and Shakhirmardanov, Azamat and Kraetzschmar, Gerhard K and Brugali, Davide and Bruyninckx, Herman2013 ecore

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.

KeyTitleAuthorsYearFormalism
fleurey2009domainA domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsFleurey, Franck and Solberg, Arnor2009 ecore

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.

KeyTitleAuthorsYearFormalism
fleurey2009domainA domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systemsFleurey, Franck and Solberg, Arnor2009 ecore
Ciccozzi2016AdoptingAdopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot SystemsFederico Ciccozzi and Davide Di Ruscio and Ivano Malavolta and Patrizio Pelliccione2016



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},
}
    

A. Nordmann, N. Hochgeschwender, D. Wigand and S. Wrede, “A Survey on Domain-Specific Modeling Languages in Robotics”, Journal of Software Engineering for Robotics (JOSER), 2016