Развитие средств спецификации поведения аппаратных компонентов AADL-моделей

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