skip to main content
column

ARINC-653 Inter-partition Communications and the Ravenscar Profile

Published:28 December 2015Publication History
Skip Abstract Section

Abstract

The ARINC-653 standard is offen used to build mixed-criticality systems, using a partitioned architecture. Inter-partition communication is carried out by meands of a message-passing mechanism based on ports. The standard includes an API for Ada, but the implementation semantics of operation ports is not fully defined. Furthermore, the API was defined for the Ada 95 standard, and therefore does not take into account the enhancements to the real-time features of the language that have been incorporated in the 2005 and 2013 standards, most notably the Ravenscar profile. This paper is aimed at clarifying the implementation of ARINC communication ports in Ada and the Ravenscar profile. ARINC communication ports are analysed, and their compatibility with the Ravenscar profile is assessed. A new API that can be used with the profile is defined, and a pilot implementation is introduced.

References

  1. ARINC, Avionics Application Software Standard Interface: ARINC Specification 653 Part 1, Required Services, ARINC, November 2010.Google ScholarGoogle Scholar
  2. ARINC, Avionics Application Software Standard Interface: ARINC Specification 653 Part 4, Subset Services, ARINC, June 2012.Google ScholarGoogle Scholar
  3. V. Bos, P. Mendham, P. Kauppinen, N. Holsti, A. Crespo, M. Masmano, J. de la Puente, and J. Zamorano. Time and space partitioning the EarleEye Reference Mission. In Data Systems in Aerospace -- DASIA 2013, Porto, Portugal, 2013.Google ScholarGoogle Scholar
  4. A. Burns, B. Dobbing, and G. Romanski. The Ravenscar tasking profile for high integrity real-time programs. In L. Asplund, editor, Reliable Software Technologies -- Ada-Europe'98, volume 1411 of Lecture Notes in Computer Science, pages 263-275. Springer Berlin Heidelberg, 1998. ISBN 978-3-540-64536-8. doi: 10.1007/BFb0055011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. A. Crespo, I. Ripoll, and M. Masmano. Partitioned embedded architecture based on hypervisor: The XtratuM approach. In European Dependable Computing Conference -- EDCC 2010, pages 67--72, April 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. A. Esquinas, J. Zamorano, J.A. de la Puente, M. Masmano, I. Ripoll, and A. Crespo. ORK+/XtratuM: An open partitioning platform for Ada. In A. Romanovsky and T. Vardanega, editors, Reliable Software Technologies -- Ada-Europe 2011, numbver 6652 in LNCS, pages 160--173. Springer-Verlag, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. J. López, Á. Esquinas, J. Zamorano, and J.A. de la Puente. Experience in programming device drivers with the Ravenscar profile. Ada User, 31(2), June 2010.Google ScholarGoogle Scholar
  8. M. Masmano, I. Ripoll, A. Crespo, and J.-J. Metge. XtratuM: a hypervisor for safety critical embedded systems. In 11th Real-Time Linux Workshop, Dresden. Germany, 2009.Google ScholarGoogle Scholar
  9. A.K. Mok. The design of real-time programming systems based on process models. In IEEE Real-Time Systems Symposium. IEEE Computer Society Press, 1984.Google ScholarGoogle Scholar
  10. J. Pulido, J.A. de la Puente, M. Bordin, T. Vardanega, and J. Hugues. Ada 2005 code patterns for metamodel-based code generation. Ada Letters, XXVII(2): 53--58, August 2007. Proceeding of the 13th International Ada Real-Time Workshop (IRTAW13). Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. E. Salazar, A. Alonso, and J. Garrido. Mixed-criticality design of a satellite software system. In E. Boje and X. Xia,m editors, Proc. 19th IFAC World Congress, pages 12278--12283. IFAC-PapersOnLine, 2014.Google ScholarGoogle Scholar

Index Terms

(auto-classified)
  1. ARINC-653 Inter-partition Communications and the Ravenscar Profile

    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 35, Issue 1
      April 2015
      96 pages
      ISSN:1094-3641
      DOI:10.1145/2870544
      Issue’s Table of Contents

      Copyright © 2015 Authors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 28 December 2015

      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!