Ivannikov Institute for System Programming of the RAS

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


Denis Buzdalov.


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


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