Dp 565 en

Z DCEwiki
Skočit na navigaci Skočit na vyhledávání

Message schedule verification for Profinet IRT

Author: Halíř Lukáš

Diplomové práce 2015

Download thesis v PDF


This thesis deals with verification of message schedules in Profinet IRT networks. For the verification two approaches were implemented and described in this thesis. First approach is to verify the schedule by static check with given set of rules. A test tool with verification rules was implemented in this thesis and several schedules were verified. In the second approach a model of Profinet network was created and parametrized by the schedule. The model was created in Uppaal software, which performs verification of timed automata systems according to specified requirements. Network with line topology was modeled and verified that it behaves according to the given schedule.


Dp 2015 halir lukas.pdf
P 2015 halir lukas.pdf