Managing Transactions in Flexible Distributed Real-Time Systems

  • Daniel Sangorrín
  • Michael González Harbour
  • Héctor Pérez
  • J. Javier Gutiérrez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6106)


This paper describes the design and implementation of the Distributed Transaction Manager (DTM), a service that provides remote negotiation of contracts representing resource reservations in real-time distributed applications. We assume that there is an underlying middleware which can be used by the application to negotiate contracts locally: processor contracts have to be negotiated in the same processor where they will run, and network contracts have to be negotiated in a processing node connected to the specific network that will be used. In addition, the paper proposes the integration of the DTM in a distribution middleware based on CORBA and Ada’s Distributed Systems Annex (DSA) which supports advanced scheduling mechanisms based on contracts. The use of the distribution middleware enhances some implementation aspects of the DTM and provides new capabilities as, for example, routing messages through different networks.


flexible scheduling real-time distribution middleware CORBA Ada DSA communications 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aldea, M., et al.: FSF: A Real-Time Scheduling Architecture Framework. In: Proc. of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2006, San Jose, CA, USA (2006)Google Scholar
  2. 2.
    FRESCOR project web page:
  3. 3.
    Object Management Group. A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Beta 2 OMG Document Number: ptc/2008-06-09 (2008)Google Scholar
  4. 4.
    FRESCOR Architecture and contract model for integrated resources II. Deliverable (D-AC2v2),
  5. 5.
    MaRTE OS web page,
  6. 6.
    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)Google Scholar
  7. 7.
    FRESCOR Distributed Transaction Manager - proof of concept. Deliverable (D-ND5v1),
  8. 8.
    FRESCOR Distributed Transaction Manager - Prototype Demonstration. Deliverable (D-ND5v2),
  9. 9.
    López Campos, J., Javier Gutiérrez, J., González Harbour, M.: Interchangeable Scheduling Policies in Real-Time Middleware for Distribution. In: Pinho, L.M., González Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol. 4006, pp. 227–240. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
  11. 11.
    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. Springer, Heidelberg (2004)Google Scholar
  12. 12.
    Pérez, H., Gutiérrez, J.J., Sangorrín, D., Harbour, M.G.: Real-Time Distribution Middleware from the Ada Perspective. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  13. 13.
    AdaCore Technologies, The GNAT Pro Company,
  14. 14.
    Tijero, H.P., Gutiérrez, J.J., Harbour, M.G.: Support for a Real-Time Transactional Model in Distributed Ada. In: Proceedings of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy). ACM Ada-Letters, New York (2009)Google Scholar
  15. 15.
    Loyall, J.P., Rubel, P., Schantz, R., Atighetchi, M., Zinky, J.: Emerging Patterns in Adaptive, Distributed Real-Time, Embedded Middleware. In: OOPSLA 2002 Workshop - Patterns in Distributed Real-time and Embedded Systems, Seattle, Washington (2002)Google Scholar
  16. 16.
    Object Management Group. CORBA Core Specification. OMG Document, v3.0 formal/02-06-01 (2003)Google Scholar
  17. 17.
    Object Management Group. Data Distribution Service for Real-time Systems. OMG Document, v1.2, formal/07-01-01 (2007)Google Scholar
  18. 18.
    Tucker Taft, S., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P. (eds.): Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)Google Scholar
  19. 19.
    Object Management Group. Naming Service Specification. OMG Document, v1.3 formal/04-10-03 (2004)Google Scholar
  20. 20.
    Object Management Group. The Real-time Publish-Subscribe Wire Protocol. DDS Interoperability Wire Protocol Specification. OMG Document, v2.1, formal/2009-01-05 (2009)Google Scholar
  21. 21.
    Pérez Tijero, H., Javier Gutiérrez, J.: Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada. In: Proceedings of the ACM SIGAda Annual International Conference on Ada and Related Technologies, SIGAda 2009, Saint Petersburg, Florida, USA (2009)Google Scholar
  22. 22.
    Object Management Group. Ada Language Mapping Specification. OMG Document, v1.2 formal/01-10-42 (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Daniel Sangorrín
    • 1
  • Michael González Harbour
    • 2
  • Héctor Pérez
    • 2
  • J. Javier Gutiérrez
    • 2
  1. 1.Graduate School of Information ScienceNagoya UniversityNagoyaJapan
  2. 2.Computers and Real-Time GroupUniversidad de CantabriaSantanderSpain

Personalised recommendations