Tato práce se zabývá ověřováním plánu zpráv v sítích Profinet IRT. Pro ověřování byly v této práci implementovány a popsány dva přístupy. Prvním z přístupů je oveření plánu statickou kontrolou jeho parametrů podle zadaných ...