Semi-automated Synthesis of Control System Software Through Graph Search
[ 1 ] Instytut Robotyki i Inteligencji Maszynowej, Wydział Automatyki, Robotyki i Elektrotechniki, Politechnika Poznańska | [ 2 ] Instytut Automatyki i Robotyki, Wydział Automatyki, Robotyki i Elektrotechniki, Politechnika Poznańska | [ P ] pracownik
2020
rozdział w monografii naukowej / referat
angielski
- C++
- software engineering
- control systems
- program synthesis
EN 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.
24.06.2020
1092 - 1103
20th Polish Control Conference (KKA 2020), 14-29.10.2020, Łódź, Polska
20