skip to main content
research-article

Charting the evolution of the Ada Ravenscar code archetypes

Published:11 June 2013Publication History
Skip Abstract Section

Abstract

In this paper we present the rationale, the status and the planned enhancement of a set of code archetypes that implement common programming patterns suited for the development of Ravenscar-compliant real-time systems. There have been other attempts at building software frameworks that ease the construction of realtime software systems. Ours is not intended for direct access by the user, but for deployment in the back-end code generation engine of a model-based tool environment. A further distinguishing characteristic of our patterns is that they foster the principle of separation of concerns, whereby the functional code of the system (which we require to be purely sequential) stays under the responsibility of the user, whereas the code that realizes the intended concurrency and real-time semantics is obtained by instantiation of predefined, correct by construction, archetypes.

References

  1. C. Szyperski, Component Software: Beyond Object-Oriented Programming. 2nd ed. Addison-Wesley Professional, Boston, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. D. C. Schmidt, "Model-Driven Engineering," IEEE Computer, vol. 39, no. 2, pp. 25--31, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. Burns, B. Dobbing, and G. Romanski, "The Ravenscar Tasking Profile for High Integrity Real-Time Programs," in Reliable Software Technologies - Ada Europe, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. ISO SC22/WG9, "Ada Reference Manual. Language and Standard Libraries. Consolidated Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1," 2005.Google ScholarGoogle Scholar
  5. M. Joseph and P. K. Pandya, "Finding Response Times in a Real-Time System," The Computer Journal, vol. 29, no. 5, pp. 390--395, 1986.Google ScholarGoogle Scholar
  6. E. W. Dijkstra, "The humble programmer," Communications of the ACM, vol. 15, no. 10, pp. 859--866, 1972, ISSN 0001-0782. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. J. A. de la Puente, A. Alonso, and A. Alvarez, "Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries," in Proc. of the International Conference on Reliable Software Technologies - Ada-Europe, 1996, pp. 78--88. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. M. Bordin and T. Vardanega, "Automated Model-Based Generation of Ravenscar-Compliant Source Code," in Proc. of the 17th Euromicro Conference on Real-Time Systems, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. E. Mezzetti, M. Panunzio, and T. Vardanega, "Preservation of Timing Properties with the Ada Ravenscar Profile," in Proc. of the 15th International Conference on Reliable Software Technologies - Ada-Europe, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. A. Burns and A. J. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Elsevier, 1995.Google ScholarGoogle Scholar
  11. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software. Addison - Wesley, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. E. Mezzetti, M. Panunzio, and T. Vardanega, "Temporal Isolation with the Ravenscar Profile and Ada 2005," Proc. of the 14th International Real-Time Ada Workshop, published on ACM SIGAda Ada Letters, vol. XXX, no. 1, pp. 45--54, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G.Bernat, C. Ferdinand, R.Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, G. Staschulat, and P. Stenströem, "The worstcase execution time problem: overview of methods and survey of tools," IEEE Transactions on Embedded Computing Systems, vol. 7, no. 3, pp. 1--53, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. J. Real and A. Crespo, "Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal," Real-Time Systems, vol. 26, no. 2, pp. 161--197, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. ____, "Incorporating Operating Modes to an Ada Real-Time Framework," Proc. of the 14th IRTAW. SIGAda Ada Letters, vol. XXX, no. 1, pp. 161--197, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. A. J. Wellings and A. Burns, "Real-Time Utilities for Ada 2005," in Reliable Software Technologies - Ada-Europe, 2007, pp. 1--14. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Charting the evolution of the Ada Ravenscar code archetypes

        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
        • Article Metrics

          • Downloads (Last 12 months)0
          • Downloads (Last 6 weeks)0

          Other Metrics

        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!