Abstract
Robotic systems are composed of at least one robot and zero or more auxiliary devices. They contain effectors, receptors and the control system. Currently control systems are computer based thus the software component is of paramount importance. Software engineering good practices require that first the designed software should be specified and then implemented. The paper focuses on the specification phase of robotic system software creation. The presented method decomposes a robotic system into embodied agents. Each embodied agent is composed of its control subsystem and zero or more real as well as virtual effectors and receptors. The description of activities of each of those subsystems uses the concepts of hierarchic finite state machines, behaviours, transition functions and supplementary predicates, i.e. terminal and error conditions as well as predicates defining inter subsystem communication mode. The ontological level of the specification, conforming to the executed class of tasks, is defined by the contents of the inter-subsystem communication buffers as well as their internal memory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Paul, R.: WAVE: A model based language for manipulator control. The Industrial Robot 4(1), 10–17 (March 1977)
Mujtaba, S., Goldman, R.: AL users’ manual. Stanford Artificial Intelligence Laboratory (Jan 1979)
Blume, C., Jakob, W.: Programming Languages for Industrial Robots. Springer–Verlag (1986)
Zieliński, C.: TORBOL: An object level robot programming language. Mechatronics 1(4), 469–485 (1991)
Hayward, V., Paul, R.P.: Robot manipulator control under Unix RCCL: A robot control C library. International Journal of Robotics Research 5(4), 94–111 (Winter 1986)
Blume, C., Jakob, W.: PASRO: Pascal for Robots. Springer–Verlag, Berlin (1985)
Gerkey, B.P., Vaughan, R.T., StØy, K., Howard, A., Sukhatme, G.S., Mataric, M.J.: Most Valuable Player: A Robot Device Server for Distributed Control. In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). pp. 1226–1231 (2001)
Zieliński, C.: The MRROC++ system. In: Proceedings of the First Workshop on Robot Motion and Control, RoMoCo’99. pp. 147–152 (June 1999)
Brooks, A., Kaupp, T., Makarenko, A., Williams, S., Orebäck, A.: Towards component-based robotics. In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS’05). pp. 163–168 (August 2005)
Bruyninckx, H.: Open robot control software: The OROCOS project. In: International Conference on Robotics and Automation (ICRA). vol. 3, pp. 2523–2528. IEEE (2001)
Nesnas, I.: The CLARAty project: Coping with hardware and software heterogenity. In: Brugali, D. (ed.) Software Engineering for Experimental Robotics, pp. 31–70. Springer–Verlag (2007)
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: Proceedings of the Open-Source Software workshop at the International Conference on Robotics and Automation (ICRA) (2009)
Fritsch, J., Wrede, S.: An integration framework for developing interactive robots. In: Brugali, D. (ed.) Software Engineering for Experimental Robotics, pp. 291–305. Springer–Verlag (2007)
Bonarini, A., Matteucci, M., Restelli, M.: MRT: Robotics of-the-shelf with the modular robotic toolkit. In: Brugali, D. (ed.) Software Engineering for Experimental Robotics, pp. 345–364. Springer–Verlag (2007)
Brugali, D.: Model-driven software engineering in robotics. IEEE Robotics Automation Magazine 22(3), 155–166 (Sept 2015)
Klotzbücher, M., Smits, R., Bruyninckx, H., De Schutter, J.: Reusable hybrid force-velocity controlled motion specifications with executable domain specific languages. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, September 25-30, 2011, San Francisco, USA, pp. 4684–4689 (2011)
Stampfer, D., Lotz, A., Lutz, M., Schlegel, C.: The SmartMDSD toolchain: An integrated MDSD workow and integrated development environment (IDE) for robotics software. Journal of Software Engineering for Robotics (JOSER) 7(1), 3–19 (July 2016)
Kortenkamp, D., Simmons, R.: Robotic systems architectures and programming. In: Khatib, O., Siciliano, B. (eds.) Springer Handbook of Robotics, pp. 187–206. Springer (2008)
Kortenkamp, D., Simmons, R., Brugali, D.: Robotic systems architectures and programming. In: Siciliano, B., Khatib, O. (eds.) Springer Handbook of Robotics, 2nd Edition, pp. 283–306. Springer (2016)
Dijkstra, E.: On the role of scientific thought. In: Selected Writings on Computing: A Personal Perspective, pp. 60–66. Springer–Verlag (1982)
Slonneger, K., Kurtz, B.L.: Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach. Addison-Wesley Publishing Company, Reading (1995)
Zieliński, C., Winiarski, T., Kornuta, T.: Agent-based structures of robot systems. In: Kacprzyk, J., et al. (eds.) Trends in Advanced Intelligent Control, Optimization and Automation. Advances in Intelligent Systems and Computing, vol. 577, pp. 493–502 (2017)
Zieliński, C., Figat, M., Hexel, R.: Communication within multi-fsm based robotic systems. Journal of Intelligent & Robotic Systems (Jun 2018), https://doi.org/10. 1007/s10846-018-0869-6
Zieliński, C., Figat, M.: Robot System Design Procedure Based on a Formal Specification. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Recent Advances in Automation, Robotics and Measuring Techniques. Advances in Intelligent Systems and Computing (AISC), vol. 440, pp. 511–522. Springer (2016)
Zieliński, C., Winiarski, T.: Motion generation in the MRROC++ robot programming framework. International Journal of Robotics Research 29(4), 386–413 (2010)
Zieliński, C., Winiarski, T.: General specification of multi-robot control system structures. Bulletin of the Polish Academy of Sciences – Technical Sciences 58(1), 15–28 (2010)
Kornuta, T., Zieliński, C.: Robot control system design exemplified by multicamera visual servoing. Journal of Intelligent & Robotic Systems 77(3–4), 499–524 (2013)
Janiak, M., Zieliński, C.: Control system architecture for the investigation of motion control algorithms on an example of the mobile platform Rex. Bulletin of the Polish Academy of Sciences – Technical Sciences 63(3), 667–678 (2015)
Zieliński, C., et al.: Variable structure robot control systems: The RAPP approach. Robotics and Autonomous Systems 94, 226–244 (2017), http://www.sciencedirect. com/science/article/pii/S0921889016306248
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Zieliński, C. (2019). General Robotic System Software Design Methodology. In: Uhl, T. (eds) Advances in Mechanism and Machine Science. IFToMM WC 2019. Mechanisms and Machine Science, vol 73. Springer, Cham. https://doi.org/10.1007/978-3-030-20131-9_275
Download citation
DOI: https://doi.org/10.1007/978-3-030-20131-9_275
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20130-2
Online ISBN: 978-3-030-20131-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)