Копитчук М. Б. Аналіз і верифікація протоколів інформаційних мереж / М. Б. Копитчук, О. М. Мартинюк, В. В. Ткачук // Електромашинобуд. та електрообладн. - 2009. - Вип. 72. - С. 81-85. - Бібліогр.: 6 назв. - укp.Розглянуто методику моделювання, специфікації і верифікації протоколів інформаційних мереж. Показано спосіб використання автоматної моделі як формальної специфікації комунікаційного протоколу і вихідної моделі для методу перевірки моделей (model checking). Практичним результатом роботи є верифікація протоколу передачі з перевіркою загального доступу до середовища бездротових локальних мереж (IEEE 802.11). Рассмотрена методика моделирования, спецификации и верификации протоколов информационных сетей. Показан способ использования автоматной модели в качестве формальной спецификации коммуникационного протокола и исходной модели для метода проверки моделей (model checking). Практическим результатом работы является верификация протокола передачи с проверкой общего доступа к среде беспроводных локальных сетей (IEEE 802.11). Method of modeling, specification and verification of communication protocols is considered. There is shown the way of applying automata model for a formal specification of communication protocol and for a initial model for (model checking) method. As a practical result of this work verification of transmit protocol with DCF of WLANТs (IEEE 802.11) is presented. Ключ. слова: протокол інформаційної мережі, верифікація, модель Індекс рубрикатора НБУВ: З970.315-016.5
Рубрики:
Шифр НБУВ: Ж29197 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|