Верификация специального программного обеспечения в составе изделия в режиме реального времени

ФИО студента: Синюгин Михаил Игоревич

Кампус/факультет: Факультет электроники и телекоммуникаций

Программа: Управление и информатика в технических системах (Специалитет)

Год защиты: 2015

Целью данной дипломной работы является разработка ПО, обеспечивающего динамическую верификацию специального программного обеспечения, расположенного в ПЗУ специального вычислителя. Во введении описывается актуальность проблемы верификации в реальном режиме времени. В основной части проводится обзор существующих решений, рассматриваются принципы, положенные в построение метода верификации конкретного блока – ВБУ-21, описывается архитектура разработанной среды, ее модель данных и приводятся результаты работы ПО с последующим анализом. В конструкторско-технологической части описываются технологические процессы электронно-лучевой литографии, а также рассматривается технология изготовления двухсторонних печатных плат. В разделе, посвященном охране труда, рассказывается о влиянии электромагнитного излучения на человека, а в экологической части – о его влиянии на окружающую среду.

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

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

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

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

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

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