skip to main content
column

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

Authors Info & Claims
Published:10 May 2017Publication History
Skip Abstract Section

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.

References

  1. ARINC 653 standard, http://arinc.com/.Google ScholarGoogle Scholar
  2. JetOS, an open-source ARINC653-compatible RTOS, http://forge.ispras.ru/projects/chpok/.Google ScholarGoogle Scholar
  3. ARINC 664 part 7, Avionics Full Duplex Switched Ethernet (AFDX) network, http://arinc.com/.Google ScholarGoogle Scholar
  4. QEMU, a generic and open source machine emulator and virtualizer, http://www.qemu.org/.Google ScholarGoogle Scholar
  5. A. Bayha, F. Grüneis, and B. Schätz. Model-based software in-the-loop-test of autonomous systems. In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation --- DEVS Integrative M&S Symposium, TMS/DEVS '12, pages 30:1--30:6, San Diego, CA, USA, 2012. Society for Computer Simulation International.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. D. Buzdalov and A. Khoroshilov. A discrete-event simulator for early validation of avionics systems. In ACVI 2014 -- Architecture Centric Virtual Integration Workshop Proceedings, pages 28--38, 2014.Google ScholarGoogle Scholar
  7. D. Buzdalov and A. Khoroshilov. About formal interpretation of architecture models. In ACVI 2015 --- Architecture Centric Virtual Integration Workshop Proceedings, 2015.Google ScholarGoogle Scholar
  8. D. Buzdalov, S. Zelenov, E. Kornykhin, A. Petrenko, A. Strakh, A. Ugnenko, and A. Khoroshilov. Tools for system design of integrated modular avionics. In Proceedings of the Institute for System Programming of RAS, volume 26, pages 201--230, 2014. Google ScholarGoogle ScholarCross RefCross Ref
  9. P. F. Riley and G. F. Riley. SPADES --- a distributed agent sumulation environment with software-in-the-loop execution. In Proceedings of the 2003 Winter Simulation Conference, 2003. Google ScholarGoogle ScholarCross RefCross Ref
  10. SAE International. Architecture Analysis & Design Language (AADL), Behavior Model Annex, 2011. http://standards.sae.org/as5506/2/.Google ScholarGoogle Scholar
  11. SAE International. Architecture Analysis & Design Language (AADL), SAE International standard AS5506B, 2012. http://standards.sae.org/as5506b/.Google ScholarGoogle Scholar
  12. SAE International. Architecture Analysis & Design Language (AADL), Error Model Annex, 2015. http://standards.sae.org/as5506/1a/.Google ScholarGoogle Scholar
  13. A. J. Wellings and A. Burns. A Framework for Real-Time Utilities for Ada 2005. Ada Letters, XXVII(2), August 2007.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 36, Issue 2
    December 2016
    60 pages
    ISSN:1094-3641
    DOI:10.1145/3092893
    Issue’s Table of Contents

    Copyright © 2017 Copyright is held by the owner/author(s)

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 10 May 2017

    Check for updates

    Qualifiers

    • column

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!