• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Метод спецификации сетевых протоколов с использованием языка Haskell

ФИО студента: Волков Григорий Дмитриевич

Руководитель: Кулямин Виктор Вячеславович

Кампус/факультет: Факультет компьютерных наук

Программа: Системное программирование (Магистратура)

Год защиты: 2020

Сетевые протоколы обычно специфицируются неформально, в текстовых документах. Формализация спецификаций позволяет автоматизировать разработку, тестирование и реализацию протоколов. При работе над системой тестирования реализаций протоколов в ИСП РАН выяснилось, что существующие средства формальной исполняемой спецификации плохо подходят для использования в таких системах. В данной работе представлен новый метод спецификации форматов сообщений сетевых протоколов. Метод включает язык спецификации, вложенный в язык программирования Haskell и основанный на аннотациях на уровне типов, и методы исполнения таких спецификаций. Метод разработан для совместного использования в системах тестирования и в реализациях протокола. Основное преимущество метода —— ошибки в спецификации обнаруживаются на этапе компиляции, что облегчает разработку спецификаций. Это достигается за счет программирования на уровне типов, доступного в Haskell.

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ