Abstract
Service robots act in open-ended and natural environments. Therefore, due to the huge number of potential situations and contingencies, it is necessary to provide a mechanism to express dynamic variability at design-time that can be efficiently resolved on the robot at run-time based on the then available information. In this paper, we present a modeling process to separately specify at design-time two different kinds of dynamic variability: (i) variability related to the robot operation, and (ii) variability associated with QoS. The former provides robustness to contingencies, maintaining a high success rate in robot task fulfillment. The latter focuses on the quality of the robot execution (defined in terms of non-functional properties like safety or task efficiency) under changing situations and limited resources. We also discuss different alternatives for the run-time integration of the two variability management mechanisms, and show real-world robotic examples to illustrate them.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Inglés-Romero, J.F., Lotz, A., Vicente-Chicote, C., Schlegel, C.: Dealing with Run-Time Variability in Service Robotics: Towards a DSL for Non-Functional Properties. In: 3rd International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob 2012), Tsukuba, Japan (November 2012)
Steck, A., Schlegel, C.: Managing execution variants in task coordination by exploiting design-time models at run-time. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), San Francisco, California, USA, pp. 2064–2069 (September 2069)
Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. Computer 41(4), 93–95 (2008)
Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: Towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007)
Bohren, J., Cousins, S.: The smach high-level executive (ros news). IEEE Robotics Automation Magazine 17(4), 18–20 (2010)
Dhouib, S., Kchir, S., Stinckwich, S., Ziadi, T., Ziane, M.: RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS, vol. 7628, pp. 149–160. Springer, Heidelberg (2012)
Bertran, B., Bruneau, J., Cassou, D., Loriant, N., Balland, E., Consel, C.: DiaSuite: a Tool Suite To Develop Sense/Compute/Control Applications. Science of Computer Programming, Fourth special issue on Experimental Software and Toolkits (2012)
Georgas, J.C., Taylor, R.N.: Policy-based architectural adaptation management: Robotics domain case studies. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Self-Adaptive Systems. LNCS, vol. 5525, pp. 89–108. Springer, Heidelberg (2009)
Tajalli, H., Garcia, J., Edwards, G., Medvidovic, N.: Plasma: a plan-based layered architecture for software model-driven adaptation. In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, ASE 2010, pp. 467–476. ACM (2010)
Cheng, S.-W., Garlan, D.: Stitch: A language for architecture-based self-adaptation. Journal of Systems and Software, Special Issue on State of the Art in Self-Adaptive Systems 85(12) (December 2012)
Fleurey, F., Solberg, A.: A domain specific modeling language supporting specification, simulation and execution of dynamic adaptive systems. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 606–621. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lotz, A., Inglés-Romero, J.F., Vicente-Chicote, C., Schlegel, C. (2013). Managing Run-Time Variability in Robotics Software by Modeling Functional and Non-functional Behavior. In: Nurcan, S., et al. Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2013 2013. Lecture Notes in Business Information Processing, vol 147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38484-4_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-38484-4_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38483-7
Online ISBN: 978-3-642-38484-4
eBook Packages: Computer ScienceComputer Science (R0)