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.
- ARINC, Avionics Application Software Standard Interface: ARINC Specification 653 Part 1, Required Services, ARINC, November 2010.Google Scholar
- ARINC, Avionics Application Software Standard Interface: ARINC Specification 653 Part 4, Subset Services, ARINC, June 2012.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Index Terms
(auto-classified)ARINC-653 Inter-partition Communications and the Ravenscar Profile
Recommendations
Space & Time Partitioning with ARINC 653 and pragma profile
IRTAW '03: Proceedings of the 12th international workshop on Real-time AdaThe development of embedded applications is entering into a new domain with the availability of new high-speed processors and low cost on-chip memory. As the result of these new developments in hardware, there is an interest in enabling multiple ...
Handling heterogeneous partitioned systems through ARINC-653 and DDS
Many cyber-physical systems in the avionics domain are mission- or safety-critical systems. In this context, standard distribution middleware has recently emerged as a potential solution to interconnect heterogeneous partitioned systems, as it would ...
A component model for hard real-time systems: CCM with ARINC-653
The size and complexity of software in safety-critical systems is increasing at a rapid pace. One technology that can be used to mitigate this complexity is component-based software development. However, in spite of the apparent benefits of a component-...






Comments