Debugging Reflex-Programs on Digital Plant Models

Reflex is a process-oriented language designed for the development of control software in cyber-physical systems. Cost of errors in such systems is very high. Dynamic debugging allows to check the quality of control software and prevent breakdowns. However, there are no debugging tools for the Reflex language. In this paper, we describe a dynamic debugging module for the Reflex language. The debug module can be used with AVR168/328 microcontrollers as well as on the user's PC. Input port values can be managed either manually or by a simulated control plant, also described in the Reflex language. Users can debug Reflex program in step-by-step and cycle-by-cycle mode.