Abstract
In this article, we present the process of modeling control algorithms as means to increase reliability of software components. The approach to developing Embedded Control Software (ECS) is tailored to Component-Based Software Development (CBSD). Such tailoring allows to re-use the ECS development process tools in a development process for robotics software. Model-to-text transformation of the ECS design tool is extended to model-to-component transformation suitable for CBSD frameworks. The development process and tools are demonstrated by a use case.
The research leading to these results has received funding from the European Community’s Seventh Framework Programme (FP7/2007-2013) under grant agreement no. FP7-ICT-231940-BRICS (Best Practice in Robotics).
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aviezienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. on Dependable and Secure Computing 1(1), 11–33 (2004)
Bezemer, M.M.: Cyber-Physical Systems Software Development. Ph.D. thesis, University of Twente (2013)
Bezemer, M.M., Wilterdink, R.J.W., Broenink, J.F.: CSP-Capable Execution Framework. Communicating Process Architectures 68, 157–175 (2011)
Bischoff, R., Huggenberger, U., Prassler, E.: KUKA youBot - a mobile manipulator for research and education. In: Proc IEEE Int’l Conf on Robotics and Automation, pp. 1–4 (May 2011)
de Boer, H.: Modeling and Control of the Philips Robot Arm. Msc thesis, University of Twente (2012)
BRICS: BRICS Research camp 3 (2011), http://www.best-of-robotics.org/3rd_researchcamp/MainPage
BRICS: BRICS - European Research Project - demonstration booth. 5th International Trade Fair for Automation and Mechatronics (May 2012)
BRICS: BRICS Research camp 5 (2012), http://www.best-of-robotics.org/5th_researchcamp/MainPage
BRICS: BRIDE - the BRIcs Development Environment (January 2013), http://www.best-of-robotics.org/bride
Brodskiy, Y.: Robust autonomy for interactive robots. University of Twente, Enschede (2014)
Brodskiy, Y., Dresscher, D., Stramigioli, S., Broenink, J.F., Yalcin, C.: Design principles, implementation guidelines, evaluation criteria, and use case implementation for robust autonomy. Tech. Rep. D61, The BRICS Project (nr 231940) (January 2011)
Brodskiy, Y., Wilterdink, R., Broenink, J.F., Stramigioli, S.: Collection of methods for achieving robust autonomy. Tech. rep. (2013)
Broenink, J.F., Fitzgerald, J.F., Gamble, C.J., Ingram, C., Mader, A.H., Marincic, J., Ni, Y., Pierce, K.G., Zhang, X.: D2.3 — Methodological Guidelines 3. Tech. rep., The DESTECS Project (CNECT-ICT-248134) (December 2012)
Broenink, J.F., Groothuis, M.A., Visser, P.M., Bezemer, M.M.: Model-Driven Robot-Software Design Using Template-Based Target Descriptions. In: ICRA 2010 Workshop on Innovative Robot Control Architectures for Demanding (Research) Applications, pp. 73–77. IEEE (May 2010)
Broenink, J.F., Groothuis, M.A., Visser, P.M., Orlic, B.: A model-driven approach to embedded control system implementation. Control, 137–144 (January 2007)
Broenink, J.F., Ni, Y.: Model-driven robot-software design using integrated models and co-simulation. In: Int’l Conf. Embedded Computer Systems, pp. 339–344 (2012)
Brugali, D., Gherardi, L., Biziak, A., Luzzana, A., Zakharov, A.: A Reuse-Oriented Development Process for Component-Based Robotic Systems. In: Noda, I., Ando, N., Brugali, D., Kuffner, J.J. (eds.) SIMPAR 2012. LNCS, vol. 7628, pp. 361–374. Springer, Heidelberg (2012)
Brugali, D., Scandurra, P.: Component-based Robotic Engineering Part I: Reusable building blocks. Robotics Automation Mag. 16(4), 84–96 (2009)
Brugali, D., Shakhimardanov, A.: Component-Based Robotic Engineering (Part II): Systems and models. Robotics Automation Mag. 17(1), 100–112 (2010)
Bruyninckx, H.: Open Robot Control Software: the OROCOS project. In: Proc IEEE Int’l Conf on Robotics and Automation, pp. 2523–2528. IEEE (2001)
Bruyninckx, H., Hochgeschwender, N., Klotzbucher, M., Soetens, P., Kraetzschmar, G., Brugali, D., Garcia, H., Shakhimardanov, A., Paulus, J., Reckhaus, M., Gherardi, L., Faconti, D.: The BRICS Component Model: a Model-Based Development paradigm for complex robotics software systems. In: Proc of Annual ACM Symposium on Applied Computing, vol. 28, pp. 1758–1764. ACM (2013)
Bruyninckx, H., Soetens, P., Koninckx, B.: The real-time motion control core of the Orocos project. In: Proc IEEE Int’l Conf on Robotics and Automation, vol. 2, pp. 2766–2771. IEEE (September 2003)
Controllab Products, B.V.: 20-sim (2013), http://www.20sim.com
Dassault Systemes AB: Dymola (2013)
Dresscher, D., Brodskiy, Y., Breedveld, P., Broenink, J.F.: Modeling of the youBot in a serial link structure using twists and wrenches in a bond graph. In: Proc SIMPAR 2010 Workshop, Darmstadt, pp. 385–400 (2010)
Hochgeschwender, N., Gherardi, L., Shakhimardanov, A., Kraetzschmar, G., Brugali, D., Bruyninckx, H.: A Model-based Approach to Software Deployment in Robotics. In: Proc IEEE/RSJ Int’l Conf. on Intelligent Robots and Systems. IEEE/RJS (November 2013)
Klotzbucher, M., Biggs, G., Bruyninckx, H.: Pure Coordination using the Coordinator – Configurator Pattern. CoRR abs/1303.0 (2013)
Klotzbucher, M., Bruyninckx, H.: A Lightweight Real-Time Executable Finite State Machine Model for Coordination in Robotic Systems. Tech. rep. (2007)
Kraetzschmar, G., Shakhimardanov, A., Paulus, J., Hochgeschwender, N., Reckhaus, M.: Deliverable D-2.2: Specifications of Architectures, Modules, Modularity, and Interfaces for the BROCRE Software Platform and Robot Control Architecture Workbench. Tech. rep., BRICS FP7 project deliverable (2010)
MathWorks: MatLAB (2013), http://www.mathworks.com
National Instruments: LabView (2013)
Open Source Open Modelica Consortium: OpenModelica (2013)
OpenRTM Project: OpenRTM Project (2013)
Orocos Project: Smarter control in robotics & automation (January 2013), http://www.orocos.org
Proteus Project: Proteus (2013)
Schlegel, C.: SmartSoft: Components and toolchain for robotics (January 2013), http://smart-robotics.sourceforge.net
Schlegel, C., Worz, R.: The software framework {SmartSoft} for implementing sensorimotor systems. In: Proc IEEE/RSJ Int’l Conf on Intelligent Robots and Systems, vol. 3, pp. 1610–1616 (1999)
Schmidt, D.C.: Model-driven engineering. Computer, 25–31 (2006)
Willow Garage: ROS project (January 2013)
Wilterdink, R.J.W., Brodskiy, Y., Broenink, J.F.: Eclipse 20-sim update site (February 2013), http://www.ce.utwente.nl/20sim/updates/
Wilterdink, R.J.W., Brodskiy, Y., Tadele, T.S., Broenink, J.F.: 20-Sim C-code generation templates and model-to-model transformations (2013), https://git.ce.utwente.nl/20sim
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Brodskiy, Y., Wilterdink, R., Stramigioli, S., Broenink, J. (2014). Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds) Simulation, Modeling, and Programming for Autonomous Robots. SIMPAR 2014. Lecture Notes in Computer Science(), vol 8810. Springer, Cham. https://doi.org/10.1007/978-3-319-11900-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-11900-7_14
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11899-4
Online ISBN: 978-3-319-11900-7
eBook Packages: Computer ScienceComputer Science (R0)