Architectural Styles
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.
21 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 | |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| 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 |
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 |
|---|---|---|---|---|---|
| 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 | |
| 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 | |
| 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 |
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| ramaswamy2017extensible | An Extensible Model-based Framework Development Methodology for Robotic SystemsJournal of Software Engineering for Robotics | Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus | 2017 | EMF |
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 |
|---|---|---|---|---|---|
| gritzner2018synthesizing | Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) SpecificationsSoftware Technologies: Applications and Foundations website | Daniel Gritzner, Joel Greenyer | 2018 | ScenarioTools | |
| 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 |
| 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 |
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 |
|---|---|---|---|---|---|
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usabilityRobotics and Autonomous Systems | Vincent Berenz, Kenji Suzuki | 2014 | 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 | |
| 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++) | |
| 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 |
| gat1991alfa | Alfa: A language for programming reactive robotic control systemsRobotics and Automation, 1991. Proceedings., 1991 IEEE International Conference on | Erann Gat | 1991 | 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 | |
| horswill2000functional | Functional programming of behavior-based systemsAutonomous Robots | Ian Douglas Horswill | 2000 | none | |
| joyeux2010managing | Managing plans: Integrating deliberation and reactive execution schemesRobotics and Autonomous Systems | Sylvain Joyeux, Frank Kirchner, Simon Lacroix | 2010 | 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 |
| 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 |
| 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 | |
| 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 |
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 |
|---|---|---|---|---|---|
| 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 |
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 |
|---|---|---|---|---|---|
| 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 | |
| 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 |
|---|---|---|---|---|---|
| ferrein2008logic | Logic-based robot control in highly dynamic domainsRobotics and Autonomous Systems | Alexander Ferrein, Gerhard Lakemeyer | 2008 |