Improvement of Behaviour Specification Methods of Hardware Components of AADL-models

One way to create a model of software/hardware system is to use the AADL language. It gives opportunity to consider the system as a set of interacting components. The components represent the software platform responsible for the software, and the physical interaction environment of the system. In this paper we consider AADL-models, the components of which have a behavior specification. It can be implemented using the language Behavior Annex, which gives the ability to describe the behavior of components as an extended state machine. It also allows you to work with model time and simulate the interaction of each component of the model with the external world. The standard extension of the language Behavior Annex makes it possible to describe the behavior of only software components. However, there are needs for presenting a behavior specification for hardware components that represent the physical environment of the system interaction. This document describes how to extend the Behavior Annex language to simulate the behavior of hardware AADL components. During the work, the current capabilities of modeling the hardware-level behavior of systems within the AADL and Behavior Annex standards are studied. Also, classes of tasks are considered, the solution of which will cover several features of the behavior of hardware components. The document demonstrates ways to solve some problems of modeling behavior at the hardware level using the current standard Behavior Annex and its modifications. The proposed solutions are implemented in MASIW simulator.