Greifeneder, J.; Frey, G.: Analyse der Reaktivität unterschiedlicher Architekturen Netzbasierter Automatisierungssysteme. Proceedings of the SPS/IPC/Drives 2008, Nürnberg, Germany, pp. 541-549, Nov. 2008.

When building a control system, two different execution models for the controller are possible. The classical cyclic model used in PLCs and the interrupt based model used in most microcontroller systems. In Networked Automation Systems, additionally a similar choice has to be made between the time-triggered (cyclic) Client-Server communication model and the event-based Producer/Consumer model. Those choices have an influence on the response time of the resulting system. Based on a formal analysis approach the differences between the resulting architectures are shown.

Keywords: Response Time, Client/Server, Producer/Consumer, Probabilistic Model Checking.