skip to main content
research-article

Adapting the end-to-end flow model for distributed Ada to the ravenscar profile

Published:11 June 2013Publication History
Skip Abstract Section

Abstract

This paper presents a proposal to develop High-integrity Distributed Real-Time (HDRT) systems by integrating the real-time end-to-end flow model with the Ravenscar profile. Although this profile is being widely used in the development of single-processor critical hard real-time systems, further research is required to apply this profile in a distributed environment. This work is built upon the endpoints pattern, a technique that we have used to integrate the end-to-end flow model into Ada's Distributed Systems Annex (DSA). We adapt our previous work to the requirements of the Ravenscar profile. Therefore, this paper gives a step forward and discusses the modifications needed to make a specific instance of the endpoints pattern compatible with Ravenscar.

References

  1. ISO/IEC TR 15942, "Guide for the Use of the Ada Programming Language in high integrity Systems", Technical Report, Mars 2000.Google ScholarGoogle Scholar
  2. SPARK LRM, "SPARK -- The Spade Ada Kernel", November 2010.Google ScholarGoogle Scholar
  3. Taft, S. T., Duff, R. A., Brukardt, R., Ploedereder, E. and Leroy, P. (Eds.). "Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1". LNCS 4348, Springer, (2006). Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Tindell K.: Adding Time-Offsets To Schedulability Analysis. Technical Report YCS_221 (1994).Google ScholarGoogle Scholar
  5. Palencia J.C., and González Harbour, M, "Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems". 20th IEEE Real-Time Systems Symposium, pp. 328--339 (1999). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Object Management Group. "A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems". MARTE specification version 1.0 (formal/2009-11-02).Google ScholarGoogle Scholar
  7. Pérez Tijero, H., Gutiérez, J.J., González Harbour, M.: "Support for a Real-Time Transactional Model in Distributed Ada". Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada-Letters XXX(1), pp. 91--103 (2010). Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. López, J., Gutiérrez, J.J., González Harbour, M. "Interchangeable Scheduling Policies in Real-Time Middleware for Distribution". 11th International Conference on Reliable Software Technologies, Porto (Portugal), LNCS, Vol. 4006, Springer, pp. 227--240 (2006). Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Pérez Tijero, H., Gutiérrez, J.J., Sangorrín, D. and González Harbour, M. "Real-Time Distribution Middleware from the Ada Perspective". 13th International Conference on Reliable Software Technologies, Ada-Europe, Venice (Italy), LNCS 5026, pp. 268--281 (2008). Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. White, R.: Providing Additional Real-Time Capability and Flexibility for Ada 2005. Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada-Letters XXX(1), pp. 135--146 (2010). Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Bordin, M., Vardanega, T.: Correctness by construction for high-integrity real-time systems: A metamodeldriven approach. Proc. of the 12th International Conference on Reliable Software Technologies -- Ada- Europe 2007, number 4498 in LNCS, pp. 114--127. Springer-Verlag (2007). Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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), pp. 1--25 (2008). Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. IEEE Std 802.1Q: Virtual Bridged Local Area Networks. Annex G. IEEE Document (2006).Google ScholarGoogle Scholar
  14. Pérez Tijero, H. and Gutiérrez, J.J. "Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada". Proc. of the ACM SIGAda Annual International Conference on Ada and Related Technologies, SIGAda 2009, Saint Petersburg, Florida, USA, ACM Ada-Letters XXIX(3), pp. 73--78 (2009). Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Audsley, N. and Wellings, A. "Issues with using Ravenscar and the Ada distributed systems annex for highintegrity systems". Proc. of the 10th International Real-Time Ada Workshop (IRTAW 10), Las Navas del Marqués (Ávila), Spain, ACM Ada-Letters XXI(1), pp. 33--39 (2001). Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Urueña, S., Zamorano, J. "Building High-Integrity Distributed Systems with Ravenscar Restrictions". Proc. of the 13th International Real-Time Ada Workshop (IRTAW 13), Woodstock, VT, USA, ACM Ada-Letters XXVII(2): 29--36 (2007). Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Pérez Tijero, H., Gutiérrez, J.J., Asensio, E., Zamorano, J. and de la Puente, J.A. "Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model". Proc. of the 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 209--216 (2011). Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. González Harbour, M., Gutiérrez, J.J., Palencia, J.C. and Drake, J.M. "MAST: Modeling and Analysis Suite for Real Time Applications," Proc. of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, IEEE Computer Society Press, pp. 125--134, (2001). Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Vardanega, T., Harbour, M. G. and Pinho, L. M. "Session summary: language and distribution issues", Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada Letters, XXX(1): pp. 152--161 (2010). Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. ARINC. "Avionics Application Software Standard Interface". ARINC Specification 653--1 (2006)Google ScholarGoogle Scholar
  21. Airlines Electronic Engineering Committee, Aeronautical Radio INC., "ARINC Specification 664P7: Aircraft Data Network, Part 7 -- Avionics Full Duplex Switched Ethernet (AFDX) Network," (2005).Google ScholarGoogle Scholar
  22. European Corporation for Space Standardization (ECSS), "SpaceWire - links, nodes, routers and networks", pp. 1--129 (2008).Google ScholarGoogle Scholar

Index Terms

  1. Adapting the end-to-end flow model for distributed Ada to 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 33, Issue 1
          April 2013
          171 pages
          ISSN:1094-3641
          DOI:10.1145/2492312
          Issue’s Table of Contents

          Copyright © 2013 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 11 June 2013

          Check for updates

          Qualifiers

          • research-article

        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!