Prevention of unauthorized access to and manipulation of information and other resources. Limiting of damage, continuation of service, speed-up of repair, and how to fail and recover securely. Ensuring safety of humans in the presence of robots. This discipline corresponds to the Section 2.2.7 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 |
|---|---|---|---|---|
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot control | Finucane, Cameron and Jing, Gangyuan and Kress-Gazit, Hadas | 2010 | LTL |
| raman2012avoiding | Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory | Raman, Vasumathi and Xu, Bingxin and Kress-Gazit, Hadas | 2012 | LTL |
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 |
|---|---|---|---|---|
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robots | Adam, Sorin and Larsen, Morten and Jensen, Kjeld and Schultz, Ulrik Pagh | 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 | |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot control | Finucane, Cameron and Jing, Gangyuan and Kress-Gazit, Hadas | 2010 | LTL |
| kress2007structured | From structured english to robot motion | Kress-Gazit, Hadas and Fainekos, Georgios E and Pappas, George J | 2007 | LTL |
| lyons2013getting | Getting it right the first time: Robot mission guarantees in the presence of uncertainty | Lyons, Damian M and Arkin, Ronald C and Nirmal, Paramesh and Liu, T-M and Deeb, J and others | 2013 | unknown |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirements | Ramirez, Andres J and Cheng, Betty HC | 2011 |
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 |
|---|---|---|---|---|
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robots | Adam, Sorin and Larsen, Morten and Jensen, Kjeld and Schultz, Ulrik Pagh | 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 | |
| chaki2014model | Model-Driven Verifying Compilation of Synchronous Distributed Applications | Chaki, Sagar and Edmondson, James | 2014 | (E)BNF |
| finucane2010ltlmop | LTLMoP: Experimenting with language, temporal logic and robot control | Finucane, Cameron and Jing, Gangyuan and Kress-Gazit, Hadas | 2010 | LTL |
| kress2007structured | From structured english to robot motion | Kress-Gazit, Hadas and Fainekos, Georgios E and Pappas, George J | 2007 | LTL |
| lyons2013getting | Getting it right the first time: Robot mission guarantees in the presence of uncertainty | Lyons, Damian M and Arkin, Ronald C and Nirmal, Paramesh and Liu, T-M and Deeb, J and others | 2013 | unknown |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirements | Ramirez, Andres J and Cheng, Betty HC | 2011 |
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 |
|---|---|---|---|---|
| adam2014towards | Towards rule-based dynamic safety monitoring for mobile robots | Adam, Sorin and Larsen, Morten and Jensen, Kjeld and Schultz, Ulrik Pagh | 2014 | unknown |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirements | Ramirez, Andres J and Cheng, Betty HC | 2011 | |
| saglietti2016modeldriven | Model-driven Structural and Statistical Testing of Robot Cooperation and Reconfiguration | Saglietti, Francesca and Meitner, Matthias | 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},
}