Abstract
This paper proposes an architecture to enable the use of distribution middleware in partitioned systems based on a hypervisor. Partitioning is a widespread technique used in the development of high-integrity systems. In this kind of critical systems, software has to be as simple as possible in order to ease certification, and as the use of distribution middleware increases complexity, it has been avoided by developers. However, partitioning allows applications with different levels of criticality (mixed-criticality) to be executed in the same system. We propose the use of distribution middleware for the development of those applications with lower level of criticality, and present an experience in porting middleware based on CORBA and Ada DSA (Distributed Systems Annex) standards to the hypervisor XtratuM.
This work has been funded in part by the Spanish Government and FEDER funds under grant number TIN2011-28567-C03-02 (HIPARTES).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Radio Technical Commission for Aeronautics (RTCA). DO-178B Software Considerations in Airborne Systems and Equipment Certification, http://www.rtca.org/
Airlines Electronic Engineering Committee, Aeronautical Radio INC. Avionics Application Software Standard Interface. ARINC Specification 653-1 (March 2006)
Airlines Electronic Engineering Committee, Aeronautical Radio INC. ARINC Specification 664P7: Aircraft Data Network, Part 7 - Avionics Full Duplex Switched Ethernet (AFDX) Network (June 27, 2005)
European Cooperation for Space Standardization (ECSS), European Space Agency (ESA). SpaceWire Standard, http://spacewire.esa.int/
Delange, J., Lec, L.: POK, an ARINC653-compliant operating system released under the BSD license. In: Proc. of the 13th Real-Time Linux Workshop, Prague (Czech Republic) (2011)
Uchenick, G.M.: Partitioning Communications System for safe and secure distributed systems. In: Proc. of the 26th Digital Avionics Systems Conference, Texas (EEUU) (2007)
Object Management Group. CORBA Core Specification. OMG Document, v3.0 formal/02-06-01 (2003)
Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)
Object Management Group. Data Distribution Service for Real-time Systems. OMG Document, v1.2, formal/07-01-01 (2007)
Masmano, M., Ripoll, I., Crespo, A., Metge, J.J.: Xtratum a hypervisor for safety critical embedded systems. In: Proc. of the 11th Real-Time Linux Workshop, Dresden (Germany) (2009)
Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Tr. Embedded Computer Systems 7(4), 1–25 (2008)
Perrotin, M., Conquet, E., Dissaux, P., Tsiodras, T., Hugues, J.: The TASTE toolset: Turning human designed heterogeneous systems into computer built homogeneous software. In: Proc. of the 5th Int. Congress on Embedded Real-Time Software and Systems - ERTS2 (2010)
Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (UK). Approved as ISO/IEC JTC1/SC22 TR 42718 (2003)
Dubey, A., Karsai, G., Mahadevan, N.: A component model for hard real-time systems: CCM with ARINC-653. Software: Practice and Experience (SPE) 41(12), 1517–1550 (2011)
Coutinho, R.M.A.: Aspects on Architecture for Independent Distributed Avionics (AIDA). In: Proc. of the 27th Digital Avionics Systems Conference (DASC), Minnesota (EEUU) (2008)
Object Management Group. Common Object Request Broker Architecture (CORBA) Specification - Part 3: CORBA Component Model. OMG Document, v3.3 formal/2012-11-16 (2012)
Uchenick, G.M.: Middleware for security and safety critical systems. Embedded Systems Europe, 24–26 (2006)
Vanfleet, W.M., Beckwith, R.W., Calloni, B., Luke, J.A., Taylor, C., Uchenick, G.M.: MILS: Architecture for High-Assurance Embedded Computing. CROSSTALK The Journal of Defense Software Engineering, 12–15 (August 2005)
Rushby, J.: From DSS to MILS - (Extended Abstract). In: Jones, C.B., Lloyd, J.L. (eds.) Dependable and Historic Computing. LNCS, vol. 6875, pp. 53–57. Springer, Heidelberg (2011)
Audsley, N., Wellings, A.: Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In: Proc. of the 10th International Real-Time Ada Workshop, pp. 33–39. ACM Press, New York (2001)
Urueña, S., Zamorano, J., de la Puente, J.A.: A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 16–29. Springer, Heidelberg (2009)
Pérez Tijero, H., Javier Gutiérrez, J., González Harbour, M.: Adapting the end-to-end flow model for distributed Ada to the Ravenscar profile. In: Proc. of the 15th International Real-Time Ada Workshop, Liébana (Spain), to appear in ACM Ada-Letters (2013)
Tejera, D., Alonso, A., de Miguel, M.A.: RMI-HRT: remote method invocation - hard real time. In: Proc. of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 113–120. ACM, New York (2007)
Higuera-Toledano, M.T.: Adaptive Distributed Embedded and Real-Time Java Systems Based on RTSJ. In: Proc. of the 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, pp. 164–171 (2012)
Aldea Rivas, M., González Harbour, M.: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 305–316. Springer, Heidelberg (2001)
Masmano, M., Valiente, Y., Balbastre, P., Ripoll, I., Crespo, A., Metge, J.J.: LithOS: a ARINC-653 guest operating for XtratuM. In: Proc. of the 12th Real-Time Linux Workshop, Nairobi (Kenya) (2010)
Pérez Tijero, H., Gutiérrez, J.J., González Harbour, M.: Support for a Real-Time Transactional Model in Distributed Ada. In: Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada-Letters, vol. 30(1), pp. 91–103 (2010)
Brocal, V., Masmano, M., Ripoll, I., Crespo, A., Balbastre, P.: Xoncrete: a scheduling tool for partitioned real-time systems. In: Proc. of the 5th Int. Congress on Embedded Real-Time Software and Systems - ERTS2 (2010)
Pérez Tijero, H., Gutiérrez, J.J.: Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada. ACM Ada-Letters 29(3), 73–78 (2009)
Vergnaud, T., Hugues, J., Pautet, L., Kordon, F.: PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. In: Llamosí, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol. 3063, pp. 106–119. Springer, Heidelberg (2004)
Martínez, J.M., González Harbour, M.: RT-EP: A Fixed-Priority Real Time Communication Protocol over Standard Ethernet. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 180–195. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pérez, H., Gutiérrez, J.J. (2013). Experience with the Integration of Distribution Middleware into Partitioned Systems. In: Keller, H.B., Plödereder, E., Dencker, P., Klenk, H. (eds) Reliable Software Technologies – Ada-Europe 2013. Ada-Europe 2013. Lecture Notes in Computer Science, vol 7896. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38601-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-38601-5_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38600-8
Online ISBN: 978-3-642-38601-5
eBook Packages: Computer ScienceComputer Science (R0)