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...