Ivannikov Institute for System Programming of the RAS


Simulation of AADL models with software-in-the-loop execution

Authors

Denis Buzdalov.

Abstract

In this paper we consider a problem of simulation of avionics models with heterogeneously specified behaviours of components. In particular, we consider a situation when some software components of a model are specified by a program code of ARINC653 partitions but the rest of a model is defined in a very abstract way. One approach of behavioural and time analysis of such models is described in this paper.

Full text of the paper in pdf

Edition

ACM SIGAda’s High Integrity Language Technology (HILT16) International Workshop on Model-Based Development and Contract-Based Programming as part of Embedded Systems Week (ESWEEK)

Research Group

Software Engineering

All publications during 2016 All publications