skip to main content
article

Ada 2005 code patterns for metamodel-based code generation

Published:17 April 2007Publication History
Skip Abstract Section

Abstract

In this paper we discuss the issues we have explored, as part of the ASSERT project, in the definition and implementation of Ada coding patterns for the support of the automated code generation stage of a comprehensive approach to model-driven development for high-integrity systems.

References

  1. A. Burns and A. Wellings. HRT-HOOD: A design method for hard-real-time. Real-Time Sytsems, 6(1):73--114, 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. J. A. de la Puente, J. F. Ruiz, and J. Zamorano. An open Ravenscar real-time kernel for GNAT. In H. B. Keller and E. Ploedereder, editors, Reliable Software Technologies --- Ada-Europe 2000, number 1845 in LNCS, pages 5--15. Springer-Verlag, 2000. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. J. A. de la Puente and J. Zamorano. Execution-time clocks and Ravenscar kernels. Ada Letters, XXIII(4):82--86, December 2003. Proceedings of the 12th International Ada Real-Time Workshop (IRTAW12). Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. J. A. de la Puente, J. Zamorano, J. F. Ruiz, R. Fernández, and R. García. The design and implementation of the Open Ravenscar Kernel. Ada Letters, XXI(1), 2001. Proceedings of the 10th International Real-Time Ada Workshop. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. B. Dobbing and J. A. de la Puente. Session report: Status and future of the Ravenscar profile. Ada Letters, XXIII(4):55--57, December 2003. Proceedings of the 12th International Real-Time Ada Workshop (IRTAW 12). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. ESA/ESTEC. ECSS-E-50-12A SpaceWire -- Links, nodes, routers and networks. Technical report, European Space Agency, 2003.Google ScholarGoogle Scholar
  7. L. Pautet and S. Tardieu. GLADE: a Framework for Building Large Object-Oriented Real-Time Distributed Systems. In Proceedings of the 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'00), Newport Beach, California, USA, June 2000. IEEE Computer Society Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. J. A. Pulido, S. Urueña, J. Zamorano, and J. A. de la Puente. Handling temporal faults in Ada 2005. In N. Abdennadher and F. Kordon, editors, Reliable Software Technologies --- Ada-Europe 2007, number 4498 in LNCS, pages 15--28. Springer-Verlag, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. J. A. Pulido, S. Urueńa, J. Zamorano, T. Vardanega, and J. A. de la Puente. Hierarchical scheduling with Ada 2005. In M. G. H. Lus Miguel Pinho, editor, Reliable Software Technologies -- Ada-Europe 2006, volume 4006 of LNCS. Springer Berlin / Heidelberg, 2006. ISBN 3-540-34663-5.Google ScholarGoogle Scholar
  10. D. C. Schmidt and F. Buschmann. Patterns, frameworks, and middleware: their synergistic relationships. In ICSE '03: Proceedings of the 25th International Conference on Software Engineering, pages 694--704, Washington, DC, USA, 2003. IEEE Computer Society. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. S. T. Taft, R. A. Duff, R. L. Brukardt, E. Plöedereder, and P. Leroy, editors. Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1. Number 4348 in Lecture Notes in Computer Science. Springer-Verlag, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. K. Tindell. Holistic schedulability analysis for distributed hard real-time systems. Technical report, University of York, 1993.Google ScholarGoogle Scholar
  13. T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. Poly-ORB: a schizophrenic middleware to build versatile reliable distributed applications. In Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST'04), volume LNCS 3063, pages 106 -- 119, Palma de Mallorca, Spain, June 2004. Springer Verlag.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. Ada 2005 code patterns for metamodel-based code generation

            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 XXVII, Issue 2
              Papers of the 13th International Real-Time Ada Workshop (IRTAW-13)
              August 2007
              83 pages
              ISSN:1094-3641
              DOI:10.1145/1316002
              Issue’s Table of Contents
              • cover image ACM Other conferences
                IRTAW '07: Proceedings of the 13th international workshop on Real-time Ada
                April 2007
                116 pages
                ISBN:9781450378406
                DOI:10.1145/1316003

              Copyright © 2007 ACM

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 17 April 2007

              Check for updates

              Qualifiers

              • 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!