Security and Safety
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.
9 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 |
|---|---|---|---|---|---|
| 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 |
| 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 | |
| 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 | |
| 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 |
| 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 |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | unknown |
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 |
|---|---|---|---|---|---|
| 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 | |
| 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 | |
| chaki2014model | Model-Driven Verifying Compilation of Synchronous Distributed ApplicationsModel-Driven Engineering Languages and Systems | Sagar Chaki, James Edmondson | 2014 | (E)BNF | unknown |
| 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 |
| 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 |
| ramirez2011automatic | Automatic derivation of utility functions for monitoring software requirementsModel Driven Engineering Languages and Systems | Andres J Ramirez, Betty HC Cheng | 2011 | unknown |
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 |
|---|---|---|---|---|---|
| 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 |
|---|---|---|---|---|---|
| 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 | |
| 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 |