Software synthesis and decision-making element tracking in unmanned robotic systems

Software synthesis and decision-making element tracking in unmanned robotic systems

Kazyura N.V. (LSTU, Lipetsk, Russia) Kondratyev S.E. (LSTU, Lipetsk, Russia)
Meshcheryakov V.N. (LSTU, Lipetsk, Russia)

Abstract

Decision-making elements in robotic systems developed manually contain potential errors that often remain undetected during the development phase and manifest only upon actual system deployment. Such defects can lead to serious consequences, including damage to robotic equipment and threats to environmental safety, including people located in the robot's operational zone. To minimize design phase costs while simultaneously strengthening safety guarantees for unmanned systems operation, an approach is proposed based on modeling decision-making elements at an abstract conceptual level with subsequent automatic transformation of these models into executable software code. Additionally, a mechanism for continuous correctness monitoring of these elements in real-time is implemented. The research presents two specialized software tools: the first compiles conceptual models of decision-making elements into ready-to-execute code, while the second automatically generates runtime monitoring systems based on the developed models. The effectiveness of the proposed tools is demonstrated through simulation experiments, confirming the advantages of integrating model-driven development, automatic code generation, and dynamic monitoring.

Keywords

autonomous robots; code generation; runtime monitoring; behavior trees; finite state machines; model-based development; ROS 2.

Edition

Proceedings of the Institute for System Programming, vol. 38, issue 4, part 1, 2026, pp. 257-270

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(4)-14

For citation

Kondratyev S.E., Kazyura N.V., Meshcheryakov V.N. Software synthesis and decision-making element tracking in unmanned robotic systems. Proceedings of the Institute for System Programming, vol. 38, issue 4, part 1, 2026, pp. 257-270 DOI: 10.15514/ISPRAS-2026-38(4)-14.

Full text of the paper in pdf (in Russian) Back to the contents of the volume