Experience with the Integration of Distribution Middleware into Partitioned Systems

  • Héctor Pérez
  • J. Javier Gutiérrez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7896)

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.

Keywords

distribution middleware partitioned systems CORBA Ada DSA real-time communications 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Radio Technical Commission for Aeronautics (RTCA). DO-178B Software Considerations in Airborne Systems and Equipment Certification, http://www.rtca.org/
  2. 2.
    Airlines Electronic Engineering Committee, Aeronautical Radio INC. Avionics Application Software Standard Interface. ARINC Specification 653-1 (March 2006) Google Scholar
  3. 3.
    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) Google Scholar
  4. 4.
    European Cooperation for Space Standardization (ECSS), European Space Agency (ESA). SpaceWire Standard, http://spacewire.esa.int/
  5. 5.
    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)Google Scholar
  6. 6.
    Uchenick, G.M.: Partitioning Communications System for safe and secure distributed systems. In: Proc. of the 26th Digital Avionics Systems Conference, Texas (EEUU) (2007)Google Scholar
  7. 7.
    Object Management Group. CORBA Core Specification. OMG Document, v3.0 formal/02-06-01 (2003)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Object Management Group. Data Distribution Service for Real-time Systems. OMG Document, v1.2, formal/07-01-01 (2007)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    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)Google Scholar
  16. 16.
    Object Management Group. Common Object Request Broker Architecture (CORBA) Specification - Part 3: CORBA Component Model. OMG Document, v3.3 formal/2012-11-16 (2012) Google Scholar
  17. 17.
    Uchenick, G.M.: Middleware for security and safety critical systems. Embedded Systems Europe, 24–26 (2006) Google Scholar
  18. 18.
    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)Google Scholar
  19. 19.
    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)CrossRefGoogle Scholar
  20. 20.
    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)Google Scholar
  21. 21.
    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)CrossRefGoogle Scholar
  22. 22.
    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)Google Scholar
  23. 23.
    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)CrossRefGoogle Scholar
  24. 24.
    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)Google Scholar
  25. 25.
    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)CrossRefGoogle Scholar
  26. 26.
    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)Google Scholar
  27. 27.
    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)Google Scholar
  28. 28.
    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)Google Scholar
  29. 29.
    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)Google Scholar
  30. 30.
    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)CrossRefGoogle Scholar
  31. 31.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Héctor Pérez
    • 1
  • J. Javier Gutiérrez
    • 1
  1. 1.Computers and Real-Time GroupUniversidad de CantabriaSantanderSpain

Personalised recommendations