Ada 2005 code patterns for metamodel-based code generation

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.

[1]  Juan Antonio de la Puente,et al.  The design and implementation of the open Ravenscar kernel , 2001 .

[2]  Juan Antonio de la Puente,et al.  Handling Temporal Faults in Ada 2005 , 2007, Ada-Europe.

[3]  Douglas C. Schmidt,et al.  Patterns, frameworks, and middleware: their synergistic relationships , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[4]  Laurent Pautet,et al.  GLADE: a framework for building large object-oriented real-time distributed systems , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[5]  Lars Asplund.  Reliable Software Technologies — Ada-Europe , 1998, Lecture Notes in Computer Science.

[6]  Alan Burns,et al.  Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .

[7]  Erhard Plödereder,et al.  Ada 2005 Reference Manual. Language and Standard Libraries - International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1 , 2007, Lecture Notes in Computer Science.

[8]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[9]  José F. Ruiz,et al.  An Open Ravenscar Real-Time Kernel for GNAT , 2000, Ada-Europe.

[10]  Laurent Pautet,et al.  PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications , 2004, Ada-Europe.

[11]  Juan Antonio de la Puente,et al.  Execution-time clocks and Ravenscar kernels , 2003 .

[12]  Tullio Vardanega,et al.  Hierarchical Scheduling with Ada 2005 , 2006, Ada-Europe.