Charting the evolution of the Ada Ravenscar code archetypes

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.

[1]  Tullio Vardanega,et al.  Temporal isolation with the ravenscar profile and Ada 2005 , 2010, ALET.

[2]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[3]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[4]  Alfons Crespo,et al.  Incorporating operating modes to an ada real-time framework , 2010, ALET.

[5]  Edsger W. Dijkstra,et al.  The humble programmer , 1972, CACM.

[6]  Alan Burns,et al.  Real-Time Utilities for Ada 2005 , 2007, Ada-Europe.

[7]  Tullio Vardanega,et al.  Preservation of Timing Properties with the Ada Ravenscar Profile , 2010, Ada-Europe.

[8]  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.

[9]  Tullio Vardanega,et al.  Automated model-based generation of Ravenscar-compliant source code , 2005, 17th Euromicro Conference on Real-Time Systems (ECRTS'05).

[10]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[11]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

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

[13]  Alfons Crespo,et al.  Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.

[14]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998, SIGAda '98.

[15]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998 .

[16]  Alejandro Alonso,et al.  Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries , 1996, Ada-Europe.

[17]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..