Simulation of AADL models with software-in-the-loop execution-Reference-Cited by-同舟云学术

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

Published:2017-05-10 Issue:2 Volume:36 Page:49-53
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Buzdalov Denis¹

Affiliation:

1. Institute for System Programming of Russian Academy of Sciences, Moscow, Russia

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3092893.3092902

Reference13 articles.

1. ARINC 653 standard http://arinc.com/. ARINC 653 standard http://arinc.com/.

2. JetOS an open-source ARINC653-compatible RTOS http://forge.ispras.ru/projects/chpok/. JetOS an open-source ARINC653-compatible RTOS http://forge.ispras.ru/projects/chpok/.

3. ARINC 664 part 7 Avionics Full Duplex Switched Ethernet (AFDX) network http://arinc.com/. ARINC 664 part 7 Avionics Full Duplex Switched Ethernet (AFDX) network http://arinc.com/.

4. QEMU a generic and open source machine emulator and virtualizer http://www.qemu.org/. QEMU a generic and open source machine emulator and virtualizer http://www.qemu.org/.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Representation of Simulation Time in Functional Programming Style;Programming and Computer Software;2019-12