Коровченко О. Б. Моделі і методи аналізу та верифікації телекомунікаційних протоколів на основі Е-мереж та формальних граматик

Об'єкт - процес розробки та аналізу телекомунікаційних протоколів. Мета - підвищення ефективності методів аналізу та верифікації телекомунікаційних протоколів за рахунок використання Е-мереж та формальних граматик, що дозволить скоротити час розробки та впровадження протоколів. Методи - теорія темпоральних логік, теорія формальних граматик, методи верифікації, синтезу моделей, математичного моделювання, імітаційного моделювання, натурного експерименту. Результати - розроблено метод формалізації специфікації телекомунікаційних протоколів. який дозволяє виявити протиріччя у специфікації протоколу, розроблено метод аналізу телекомунікаційних протоколів на основі формальних граматик, що дозволяють вирішити задачу перевірки коректності поведінки та оцінки якості розподілу ресурсів, розроблено метод верифікації телекомунікаційних протоколів, який дозволяє визначити необхідний набір змін у реалізації протоколу, щодо усунення невідповідності специфікації. Впроваджено - у роботі ТОВ "Телесенс" під час виконання проекта "Розробка програм оптимізації маршрутизації трафіку", та компаніею "CiEc Консалтінг" під час виконання проекту STP, націленого на розробку системи балансування трафіка у сегменті телекомунікаційної мережі, компанією "CiEc Консалтінг". Галузь використання - мультисервісні телекомунікаційні системи і мережі