Наведено метод використання апарата E-мереж як засобу імітаційного моделювання. Введено їх розширення, призначене для створення моделей протоколів і каналу зв'язку, опису різних законів надходження міток зі зовнішнього середовища. Розвинуто методи трансляції SDL-діаграм і схем алгоритмів стосовно до E-мереж, зокрема формалізовано перехід від автоматної моделі до імітаційної, наведеної у вигляді E-мережі, що підвищує адекватність останньої. Удосконалено метод використання апарата ймовірнісно-часових графів (ЙЧГ) як засобу аналітичного аналізу протоколів інформаційного обміну. Розроблено метод аналізу ЙЧГ, для яких є неможливим застосування еквівалентних перетворень. Розроблено методику аналізу системи протоколів інформаційного обміну за комплексного використання засобів E-мереж і ЙЧГ, що дає змогу підвищити повноту аналізу систем протоколів інформаційного обміну.

  Скачати повний текст