• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Student
Title
Supervisor
Faculty
Educational Programme
Final Grade
Year of Graduation
Kamila Agaeva
Improvement of Behaviour Specification Methods of Hardware Components of AADL-models
Software Engineering
(Bachelor’s programme)
2018
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.

Student Theses at HSE must be completed in accordance with the University Rules and regulations specified by each educational programme.

Summaries of all theses must be published and made freely available on the HSE website.

The full text of a thesis can be published in open access on the HSE website only if the authoring student (copyright holder) agrees, or, if the thesis was written by a team of students, if all the co-authors (copyright holders) agree. After a thesis is published on the HSE website, it obtains the status of an online publication.

Student theses are objects of copyright and their use is subject to limitations in accordance with the Russian Federation’s law on intellectual property.

In the event that a thesis is quoted or otherwise used, reference to the author’s name and the source of quotation is required.

Search all student theses