Semi-automated Synthesis of Control System Software Through Graph Search

Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 1196)


As the field of automation and robotics develops, control software driving the robotic systems becomes more and more complex. Currently, a predominant approach to modularization and structuring of software in the robotics community, which is embodied by ROS (Robot Operating System) and similar frameworks, is to decompose software into a set of functional modules (i.e. nodes, processes, classes). Particular modules comprising the system are chosen manually by the programmer and they exchange data using loosely coupled publish/subscribe communication mechanisms. While such an approach is helpful and currently highly developed, it seems to lack the means of verifying correctness of the whole control software system (i.e. is there a source of data for all input signals of a given module?, are its outputs actually used by other modules in the system?). Manual specification of system structure and verification of its correctness can be tedious and prone to errors. To help alleviate this, we propose a system composition algorithm utilizing graph search methods. It processes a set of modules implemented by the programmer and produces a graph of modules representing the system with input and output signals specified by the programmer. Such an algorithm can be used with nearly arbitrary control software frameworks.


C++ Software engineering Control systems Program synthesis 


  1. 1.
    Embedded template library. Accessed 20 Jan 2020
  2. 2.
    Bruyninckx, H., Soetens, P., Koninckx, B.: The real-time motion control core of the Orocos project. In: IEEE International Conference on Robotics and Automation, pp. 2766–2771 (2003)Google Scholar
  3. 3.
    Chupin, G., Nilsson, H.: Functional reactive programming, restated. In: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, PPDP 2019. Association for Computing Machinery, New York (2019).
  4. 4.
    Cowley, A., Taylor, C.J.: Stream-oriented robotics programming: the design of roshask. In: 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 1048–1054 (2011).
  5. 5.
    Garber, L.: Robot OS: a new day for robot design. Computer 46(12), 16–20 (2013). Scholar
  6. 6.
    Gulwani, S., Polozov, O., Singh, R.: Program synthesis. Foundations Trends® Program. Lang. 4(1–2), 1–119 (2017).
  7. 7.
    Kozlowski, K., Pazderski, D., Krysiak, B., Jedwabny, T., Piasek, J., Kozlowski, S., Brock, S., Janiszewski, D., Nowopolski, K.: High precision automated astronomical mount. In: Szewczyk, R., Zieliński, C., Kaliczyńska, M. (eds.) Automation 2019, pp. 299–315. Springer, Cham (2020)CrossRefGoogle Scholar
  8. 8.
    Maruyama, Y., Kato, S., Azumi, T.: Exploring the performance of ROS2. In: 2016 International Conference on Embedded Software (EMSOFT), pp. 1–10 (2016).
  9. 9.
    de Moura, L., Bjørner, N.: Z3: an efficient smt solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems, pp. 337–340. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  10. 10.
    Perez, I., Bärenz, M., Nilsson, H.: Functional reactive programming, refactored. In: Proceedings of the 9th International Symposium on Haskell, Haskell 2016, pp. 33–44. Association for Computing Machinery, New York (2016).
  11. 11.
    Pike, L., Wegmann, N., Niller, S., et al.: Copilot: monitoring embedded systems. Innovations Syst. Softw. Eng. 9(1), 235–255 (2013).
  12. 12.
    Tedrake, R., The Drake Development Team: Drake: model-based design and verification for robotics (2019).
  13. 13.
    Zieliński, C., Winiarski, T.: General specification of multi-robot control system structures. Bull. Polish Acad. Sci. Tech. Sci. 58(1), 15–28 (2010).

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Institute of Automation and Robotics, Faculty of Control, Robotics and Electrical EngineeringPoznan University of TechnologyPoznańPoland

Personalised recommendations