Concurrency
Decomposition of software into processes, tasks, and threads, dealing with related issues of efficiency, atomicity, synchronization, and scheduling. This discipline corresponds to the Section 2.2.1 in the SWEBOK.
17 publications
- 1985
- 1990
- 1995
- 2000
- 2005
- 2010
- 2015
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 |
|---|---|---|---|---|---|
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |
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 |
|---|---|---|---|---|---|
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kim2003task | Task description language for underwater robotsIntelligent Robots and Systems, 2003.(IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on | Tae Won Kim, Junku Yuh | 2003 | (E)BNF | unknown |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming languageIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi | 1998 | unknown | 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 |
|---|---|---|---|---|---|
| aggarwal1994specification | Specification and automated implementation of coordination protocols in distributed controls for flexible manufacturing cellsRobotics and Automation, 1994. Proceedings., 1994 IEEE International Conference on | Sudhir Aggarwal, Sandeep Mitra, Sanjay S Jagdale | 1994 | unknown | unknown |
| berenz2014targets | Targets-Drives-Means: A declarative approach to dynamic behavior specification with higher usabilityRobotics and Autonomous Systems | Vincent Berenz, Kenji Suzuki | 2014 | unknown | unknown |
| biggs2008evaluating | Evaluating a reactive semantics for roboticsIntelligent Robots and Systems, 2008. IROS 2008. IEEE/RSJ International Conference on | Geoffrey Biggs, Bruce A MacDonald | 2008 | none | |
| fleury1997g | GenoM: A Tool for the Specification and the Implementation of Operating Modules in a Distributed Robot ArchitectureIntelligent Robots and Systems, 1997. IROS'97., Proceedings of the 1997 IEEE/RSJ International Conference on | Sara Fleury, Matthieu Herrb, Raja Chatila | 1997 | unknown | unknown |
| freund2001state | State oriented modeling as enabling technology for projective virtual realityIntelligent Robots and Systems, 2001. Proceedings. 2001 IEEE/RSJ International Conference on | Eckhard Freund, Michael Schluse, Jürgen Rossmann | 2001 | unknown | unknown |
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| kang20053d | 3d virtual prototyping of home service robots using asadal/objRobotics and Automation, 2005. ICRA 2005. Proceedings of the 2005 IEEE International Conference on | Kyo Chul Kang, Moonzoo Kim, Jaejoon Lee, Byungkil Kim, Youngjin Hong, Hyoungki Lee, Seokwon Bang | 2005 | unknown | ASADAL/OBJ |
| kim2003task | Task description language for underwater robotsIntelligent Robots and Systems, 2003.(IROS 2003). Proceedings. 2003 IEEE/RSJ International Conference on | Tae Won Kim, Junku Yuh | 2003 | (E)BNF | unknown |
| kovsecka1997experiments | Experiments in behavior compositionRobotics and Autonomous systems | Jana Košecká, Henrik I Christensen, Ruzena Bajcsy | 1997 | other | unknown |
| mackenzie1995specification | Specification and execution of multiagent missionsIntelligent Robots and Systems 95.'Human Robot Interaction and Cooperative Robots', Proceedings. 1995 IEEE/RSJ International Conference on | Douglas C MacKenzie, Jonathan M Cameron, Ronald C Arkin | 1995 | unknown | MissionLab |
| maenpaa2004distributed | A distributed architecture for executing complex tasks with multiple robotsRobotics and Automation, 2004. Proceedings. ICRA'04. 2004 IEEE International Conference on | Topi Maenpaa, Antti Tikanmaki, Jukka Riekki, Juha Roning | 2004 | XSD | none |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| nishiyama1998logic | Logic specifications for multiple robots based on a current programming languageIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Hiroyuki Nishiyama, Hayato Ohwada, Fumio Mizoguchi | 1998 | unknown | unknown |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |
| 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 | |
| rusakov2014simple | Simple concurrency for robotics with the Roboscoop frameworkIntelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on | Andrey Rusakov, Jiwon Shin, Bertrand Meyer | 2014 | unknown | none |
| simmons1998task | A task description language for robot controlIntelligent Robots and Systems, 1998. Proceedings., 1998 IEEE/RSJ International Conference on | Reid Simmons, David Apfelbaum | 1998 | (E)BNF | unknown |
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 |
|---|---|---|---|---|---|
| gobillot2014modeling | A Modeling Framework for Software Architecture Specification and ValidationSimulation, Modeling, and Programming for Autonomous Robots | Nicolas Gobillot, Charles Lesire, David Doose | 2014 | unknown | EMF/GMF |
| morelli2014control | Control and Scheduling Co-design for a Simulated Quadcopter Robot: A Model-Driven ApproachSimulation, Modeling, and Programming for Autonomous Robots | Matteo Morelli, Marco Di Natale | 2014 | ecore | EMF/GMF |
| ortiz2014component | A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-ForgeSimulation, Modeling, and Programming for Autonomous Robots | Francisco J Ortiz, Diego Alonso, Francisca Rosique, Francisco Sánchez-Ledesma, Juan A Pastor | 2014 | unknown | EMF/GMF |