Рассмотрена методика моделирования, спецификации и верификации протоколов информационных вычислительных сетей. Показан способ использования автоматной модели в качестве формальной спецификации коммуникационного протокола. Приведены свойства и соответствующие им формулы, которым должен отвечать любой протокол. Представлен способ использования автоматной модели в качестве исходной модели для метода проверки моделей (model checking). Показан фрагмент реализации модели протокола передачи. Практическим результатом работы является верификация протокола передачи с проверкой общего доступа к среде беспроводных локальных сетей (IEEE 802.11).

  Повний текст PDF - 453.745 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"