Execution-time clocks and Ravenscar kernels

The kind of high-integrity real-time systems to which the Ada Ravenscar profile is targeted often require overrun detection for enhanced reliability in the time domain Execution-time clocks and timers have been proposed to fulfill this need, but only programming patterns based on asynchronous transfer of control, and thus incompatible with the profile, have been provided up to now. In this paper an assessment of the compatibility of the proposed execution-time mechanisms with the Ravenscar profile is made, and some programming patters for using them are proposed. The patterns are intended to provide basic overrun detection and handling capabilities to high-integrity real-time systems.

[1]  Theodore P. Baker,et al.  The cyclic executive model and Ada , 2006, Real-Time Systems.

[2]  Michael González Harbour,et al.  A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95 , 2003, Ada-Europe.

[3]  Alan Burns.  The Ravenscar Profile and implementation issues (session summary) , 1999 .

[4]  Juan Antonio de la Puente,et al.  IMPLEMENTING MODE CHANGES AND FAULT RECOVERY FOR HARD REAL-TIME SYSTEMS IN ADA , 1992 .

[5]  Alan Burns,et al.  Session summary: future of the Ada language and language changes such as the Ravenscar profile , 2002 .

[6]  Alejandro Alonso,et al.  Dynamic replacement of software in hard real-time systems , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[7]  C. Douglas Locke,et al.  Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executives , 1992, Real-Time Systems.

[8]  Alejandro Alonso,et al.  Reusable Executives for Hard Real-Time Systems in Ada , 1992, Ada-Europe.

[9]  J. Javier Gutiérrez,et al.  Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications , 1998, Ada-Europe.

[10]  Andy Wellings.  Status and future of the Ravenscar profile session summary , 2001 .

[11]  Alan Burns,et al.  Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.

[12]  Michael González Harbour,et al.  Extending Ada's real-time systems annex with the POSIX scheduling services , 2001 .

[13]  D. H. Mellor,et al.  Real time , 1981 .

[14]  Alan Burns,et al.  Guest Editorial: A Review of Worst-Case Execution-Time Analysis , 2000, Real-Time Systems.

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

[16]  Alejandro Alonso,et al.  BUILDING SAFETY-CRITICAL REAL-TIME SYSTEMS WITH REUSABLE CYCLIC EXECUTIVES , 1996 .

[17]  Alan Burns.  The Ravenscar Profile , 1999, ALET.

[18]  Wa Halang,et al.  REAL-TIME SYSTEMS .1. , 1990 .

[19]  B. A. Wichmann,et al.  Guidance for the use of the Ada programming language in high integrity systems , 1998, ALET.

[20]  Tullio Vardanega.  Development of on-board embedded real-time systems: an engineering approach , 1998 .

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

[22]  Mario Aldea Rivas,et al.  Michael González Harbour: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications , 2001, Ada-Europe.

[23]  S. Tucker Taft,et al.  Consolidated Ada Reference Manual Language and Standard Libraries , 2002, Lecture Notes in Computer Science.