• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФИО студента
Название работы
Руководитель
Факультет
Программа
Оценка
Год защиты
Агаева Камила Шахин кызы
Развитие средств спецификации поведения аппаратных компонентов AADL-моделей
2018
Один из способов создания модели программно-аппаратной системы заключается в использовании языка AADL. Компоненты представляют программную платформу, отвечающую за программное обеспечение, и физическую среды взаимодействий системы. В данной работе рассматриваются AADL-модели, компоненты которых имеют спецификацию поведения. Её можно задать с помощью язык Behavior Annex, который возможность описать поведение компонентов как расширенный конечный автомат. Он также позволяет работающий с модельным временем и моделировать взаимодействие каждого компонента модели с окружающим миром. Стандартное расширения языка Behavior Annex дает возможность описывать поведения только компонентов, представляющих программную часть. Однако существуют потребности в представлении спецификации поведения для аппаратных компонентов, представляющих физическую среду взаимодействия системы.

В данном документе представлены способы расширения языка Behavior Annex для моделирования поведения аппаратных AADL-компонентов. В ходе работы изучаются текущие возможности моделирования поведения аппаратного уровня систем в рамках стандартов AADL и Behavior Annex. Также рассматриваются классы задач, решение которых позволит покрыть несколько особенностей поведения аппаратных компонентов. В документе продемонстрированы способы решения некоторых задач моделирования поведения на аппаратном уровне при использования текущего стандарта Behavior Annex и при его модификациях. Предлагаемые решения реализованы в симуляторе инструмента АРМ СИ.

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

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

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

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

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

Расширенный поиск ВКР