Skip to main content

A NUPlatform for Software on Articulated Mobile Robots

  • Conference paper
Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2011)

Abstract

The development of software for robot systems is an involved process, that frequently results in a robot specific system. However, through careful design, frameworks that can be used on multiple operating systems and robot platforms can be created. This paper proposes such a framework.

The framework makes use of a blackboard and a class hierarchy to enable high–level software modules to be robot and operating system independent. The blackboard is used to standardise the transfer of information and allow for the high–level modules to adapt to changes in the robot hardware in real–time. The class hierarchy encapsulates the platform dependent aspects and provides a means of implementation sharing between different platforms. Furthermore, the hierarchy for the behaviour and motion modules simplify the addition of robot specific sections, and allow them to coexist.

The NUPlatform framework has been applied to six different platforms, including four physical robots and a simulator, and runs under several different operating system. The framework has also been successfully used in several research projects to implement vastly different robot behaviours.

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

Access this chapter

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. Alami, R., Chatila, R., Fleury, S., Ghallab, M., Ingrand, F.: An architecture for autonomy. The Int. Journal of Robotics Research 17(4), 315 (1998)

    Article  Google Scholar 

  2. Jagannathan, V., Dodhiawala, R., Baum, L.: Blackboard architectures and applications, vol. 3. Academic Press, Boston (1989)

    MATH  Google Scholar 

  3. Kramer, J., Scheutz, M.: Development environments for autonomous mobile robots: A survey. Autonomous Robots 22, 101–132 (2007), http://dx.doi.org/10.1007/s10514-006-9013-8 , doi:10.1007/s10514-006-9013-8

    Article  Google Scholar 

  4. Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.: Ros: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)

    Google Scholar 

  5. Fitzpatrick, P., Metta, G., Natale, L.: Towards long-lived robot genes. Robotics and Autonomous Systems 56(1), 29–45 (2008)

    Article  Google Scholar 

  6. Robocup standard platform league, http://www.tzi.de/spl/

  7. Röfer, T., Laue, T., Müller, J., Burchardt, A., Damrose, E., Fabisch, A., Feldpausch, F., Gillmann, K., Graf, C., de Haas, T., et al.: B-human team report and code release 2010. Technical report (2010), http://www.b-human.de/en/publications

  8. Barrett, S., Genter, K., Hausknecht, M., Hester, T., Khandelwal, P., Lee, J., Quinlan, M., Tian, A., Stone, P., Sridharan, M.: Austin villa 2010 standard platform team report. Technical Report UT-AI-TR-11-01, The University of Texas at Austin, Department of Computer Sciences, AI Laboratory, Tech. Rep. (2011)

    Google Scholar 

  9. Aldebaran robotics’ nao humanoid robot, http://www.aldebaran-robotics.com/

  10. Niemueller, T., Ferrein, A., Beck, D., Lakemeyer, G.: Design Principles of the Component-Based Robot Software Framework Fawkes. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2010. LNCS, vol. 6472, pp. 300–311. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  11. Collett, T., MacDonald, B., Gerkey, B.: Player 2.0: Toward a practical robot programming framework. In: Proc. of the Australasian Conf. on Robotics and Automation, ACRA 2005 (2005)

    Google Scholar 

  12. Petters, S., Thomas, D., Von Stryk, O.: Roboframe-a modular software framework for lightweight autonomous robots. In: Proc. Workshop on Measures and Procedures for the Evaluation of Robot Architectures and Middleware of the 2007 IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (2007)

    Google Scholar 

  13. McGill, S., Brindza, J., Yi, S., Lee, D.: Unified humanoid robotics software platform. In: 5th Workshop on Humanoid Soccer Robots (2010)

    Google Scholar 

  14. Northern bites’ robocup code repository (2010), http://github.com/northern-bites/nao-man

  15. Kulk, J., Nicklin, S., Wong, A., Bhatia, S.: Nubot’s robocup code repository (2011), http://github.com/nubot/robocup

  16. Robocup gamecontroller, http://sourceforge.net/projects/robocupgc/

  17. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)

    Google Scholar 

  18. Kitware. Cmake: Cross platform make

    Google Scholar 

  19. Cyberbotics webots, http://www.cyberbotics.com/products/webots/

  20. Tribotix: Hykim (robot bear), http://www.tribotix.com/Products/Tribotix/Robots/Hykim_info1.htm

  21. Robotis cycloidii humanoid, http://www.tribotix.com/Products/Robotis/Humanoids/CycloidII_info1.htm

  22. Robotis darwin humaniod robot, sourceforge.net/projects/darwinop/

  23. Nicklin, S.P., Bhatia, S., Budden, D., King, R.A., Kulk, J., Walker, J., Wong, A.S., Chalup, S.K.: The nubots’ team description for 2011, University of Newcastle, Tech. Rep (2011), http://www.tzi.de/spl/pub/Website/Teams2011/NUbotsTDP2011.pdf

  24. Nicklin, S., Welsh, J.S.: Forward kinematic based biped odometry. University of Newcastle, Tech. Rep. (2011)

    Google Scholar 

  25. Kulk, J., Welsh, J.S.: Using redundant fitness functions to improve optimisers for humanoid robot walking. In: International Conference on Humanoid Robotics (2011)

    Google Scholar 

  26. Wong, A.S.W., Chalup, S.K., Bhatia, S., Jalalian, A., Kulk, J., Ostwald, M.J.: Humanoid robots for modelling and analysing visual gaze dynamics of pedestrians moving in urban space. In: The 45th Annual Conf. of the Australian and New Zealand Architectural Science Association, ANZASC (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kulk, J., Welsh, J.S. (2012). A NUPlatform for Software on Articulated Mobile Robots. In: Hähnle, R., Knoop, J., Margaria, T., Schreiner, D., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2011. Communications in Computer and Information Science, vol 336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34781-8_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-34781-8_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-34780-1

  • Online ISBN: 978-3-642-34781-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics