Bp 346 en
Vizualization of finite state machines for robotic applications
Author: Petr Šilhavík
This thesis deals with the visualizations of state machines. The program is able to visualize state machines that are implemented in C++ using Boost-Statechart library. The output of the visualization is file that can be visualized with dot and gain this way the state diagram of this state machine. The user gets also the transition table but only printed on standard output. And finally the diagnostical statistics are being printed. To implement the program was used LLVM and Clang that allow rapid source code analysis.