Search academic texts

Information × Registration Number 0411U005922, Candidate dissertation Status к.т.н. Date 12-10-2011 popup.evolution o Title Models and methods for analysis and verification telecommunications protocols based on the E-networks and formal grammars Author Korovchenko Olena Borysivna, popup.head Duravkin Evgen Volodymyrovych popup.opponent Бараннік Володимир Вікторович popup.opponent Бохан Костянтин Володимирович Description Об'єкт - процес розробки та аналізу телекомунікаційних протоколів. Мета - підвищення ефективності методів аналізу та верифікації телекомунікаційних протоколів за рахунок використання Е-мереж та формальних граматик, що дозволить скоротити час розробки та впровадження протоколів. Методи - теорія темпоральних логік, теорія формальних граматик, методи верифікації, синтезу моделей, математичного моделювання, імітаційного моделювання, натурного експерименту. Результати - розроблено метод формалізації специфікації телекомунікаційних протоколів. який дозволяє виявити протиріччя у специфікації протоколу, розроблено метод аналізу телекомунікаційних протоколів на основі формальних граматик, що дозволяють вирішити задачу перевірки коректності поведінки та оцінки якості розподілу ресурсів, розроблено метод верифікації телекомунікаційних протоколів, який дозволяє визначити необхідний набір змін у реалізації протоколу, щодо усунення невідповідності специфікації. Впроваджено - у роботі ТОВ "Телесенс" під час виконання проекта "Розробка програм оптимізації маршрутизації трафіку", та компаніею "CiEc Консалтінг" під час виконання проекту STP, націленого на розробку системи балансування трафіка у сегменті телекомунікаційної мережі, компанією "CiEc Консалтінг". Галузь використання - мультисервісні телекомунікаційні системи і мережі Registration Date 2011-10-12 popup.nrat_date 2020-04-04 Close