Skip to main content
SpringerLink
Log in

Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation

  • Conference paper
Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR 2014)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 8810))

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Article  Google Scholar 

  2. Bezemer, M.M.: Cyber-Physical Systems Software Development. Ph.D. thesis, University of Twente (2013)

    Google Scholar 

  3. Bezemer, M.M., Wilterdink, R.J.W., Broenink, J.F.: CSP-Capable Execution Framework. Communicating Process Architectures 68, 157–175 (2011)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. de Boer, H.: Modeling and Control of the Philips Robot Arm. Msc thesis, University of Twente (2012)

    Google Scholar 

  6. BRICS: BRICS Research camp 3 (2011), http://www.best-of-robotics.org/3rd_researchcamp/MainPage

  7. BRICS: BRICS - European Research Project - demonstration booth. 5th International Trade Fair for Automation and Mechatronics (May 2012)

    Google Scholar 

  8. BRICS: BRICS Research camp 5 (2012), http://www.best-of-robotics.org/5th_researchcamp/MainPage

  9. BRICS: BRIDE - the BRIcs Development Environment (January 2013), http://www.best-of-robotics.org/bride

  10. Brodskiy, Y.: Robust autonomy for interactive robots. University of Twente, Enschede (2014)

    Google Scholar 

  11. 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)

    Google Scholar 

  12. Brodskiy, Y., Wilterdink, R., Broenink, J.F., Stramigioli, S.: Collection of methods for achieving robust autonomy. Tech. rep. (2013)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. 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)

    Google Scholar 

  17. 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)

    Chapter  Google Scholar 

  18. Brugali, D., Scandurra, P.: Component-based Robotic Engineering Part I: Reusable building blocks. Robotics Automation Mag. 16(4), 84–96 (2009)

    Article  Google Scholar 

  19. Brugali, D., Shakhimardanov, A.: Component-Based Robotic Engineering (Part II): Systems and models. Robotics Automation Mag. 17(1), 100–112 (2010)

    Article  Google Scholar 

  20. Bruyninckx, H.: Open Robot Control Software: the OROCOS project. In: Proc IEEE Int’l Conf on Robotics and Automation, pp. 2523–2528. IEEE (2001)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. 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)

    Google Scholar 

  23. Controllab Products, B.V.: 20-sim (2013), http://www.20sim.com

  24. Dassault Systemes AB: Dymola (2013)

    Google Scholar 

  25. 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)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. Klotzbucher, M., Biggs, G., Bruyninckx, H.: Pure Coordination using the Coordinator – Configurator Pattern. CoRR abs/1303.0 (2013)

    Google Scholar 

  28. Klotzbucher, M., Bruyninckx, H.: A Lightweight Real-Time Executable Finite State Machine Model for Coordination in Robotic Systems. Tech. rep. (2007)

    Google Scholar 

  29. 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)

    Google Scholar 

  30. MathWorks: MatLAB (2013), http://www.mathworks.com

  31. National Instruments: LabView (2013)

    Google Scholar 

  32. Open Source Open Modelica Consortium: OpenModelica (2013)

    Google Scholar 

  33. OpenRTM Project: OpenRTM Project (2013)

    Google Scholar 

  34. Orocos Project: Smarter control in robotics & automation (January 2013), http://www.orocos.org

  35. Proteus Project: Proteus (2013)

    Google Scholar 

  36. Schlegel, C.: SmartSoft: Components and toolchain for robotics (January 2013), http://smart-robotics.sourceforge.net

  37. 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)

    Google Scholar 

  38. Schmidt, D.C.: Model-driven engineering. Computer, 25–31 (2006)

    Google Scholar 

  39. Willow Garage: ROS project (January 2013)

    Google Scholar 

  40. Wilterdink, R.J.W., Brodskiy, Y., Broenink, J.F.: Eclipse 20-sim update site (February 2013), http://www.ce.utwente.nl/20sim/updates/

  41. 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

Download references

Author information

Authors and Affiliations

  1. Robotics and Mechatronics, Faculty EEMCS, University of Twente, The Netherlands

    Yury Brodskiy, Robert Wilterdink, Stefano Stramigioli & Jan Broenink

Authors
  1. Yury Brodskiy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Robert Wilterdink
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stefano Stramigioli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jan Broenink
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Engineering, Università degli Studi di Bergamo, Viale Marconi 5, 24044, Dalmine, Italy

    Davide Brugali

  2. Faculty EE-Math-CS, CTIT Institute, Robotics and Mechatronics Group, University of Twente, Room Carre 3437, P.O. Box 217, 7500 AE, Enschede, The Netherlands

    Jan F. Broenink

  3. Artificial Intelligence Laboratory, Stanford University, 94305-9010, Stanford, CA, USA

    Torsten Kroeger

  4. Faculty of Engineering, Electrical and Computer Engineering, Science Centre - Mathphysic, Level 2, University of Auckland, Room 303-249, 38 Princess Street, 1010, Auckland, New Zealand

    Bruce A. MacDonald

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation