The cyclic executive model and Ada

Periodic processes are major parts of many real-time embedded computer applications. The programming language Ada permits programming simple periodic processes, but it has some serious limitations; producing Ada programs with real-time performance comparable to those produced to date using traditional cyclic executives requires resorting to techniques that are specific to one machine or compiler. We present and evaluate the cyclic executive model for controlling periodic processes. The features and limitations of Ada for programming cyclic executive software are discussed and demonstrated, and some practical techniques for circumventing Ada limitations are described.

[1]  David Lorge Parnas,et al.  On synchronization in hard-real-time systems , 1988, CACM.

[2]  Michael L. Dertouzos,et al.  Control Robotics: The Procedural Control of Physical Processes , 1974, IFIP Congress.

[3]  Lee MacLaren Evolving toward Ada in real time systems , 1980, SIGPLAN '80.

[4]  Aloysius K. Mok,et al.  Synthesis of a Real-Time Message Processing System with Data-Driven Timing Constraints , 1987, RTSS.

[5]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[6]  W. Gropp,et al.  Accepted for publication , 2001 .

[7]  Lee MacLaren Evolving toward Ada in real time systems , 1980, SIGPLAN '80.

[8]  Theodore P. Baker,et al.  Special Feature: An Architecture for Real-Time Software Systems , 1986, IEEE Software.

[9]  Krithi Ramamritham,et al.  Scheduling Tasks with Resource Requirements in Hard Real-Time Systems , 1987, IEEE Transactions on Software Engineering.

[10]  Alan C. Shaw,et al.  Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..

[11]  Richard A. Volz,et al.  Toward real-time performance benchmarks for Ada , 1986, CACM.

[12]  I. C. Pyle,et al.  The ada programming language , 1985 .

[13]  Gene D. Carlow Architecture of the space shuttle primary avionics software system , 1984, CACM.

[14]  Alan C. Shaw,et al.  Software Clocks, Concurrent Programming, and Slice-Based Scheduling , 1986, IEEE Real-Time Systems Symposium.

[15]  T. P. Baker A low-level tasking package for Ada , 1987, SIGAda '87.

[16]  Marc D. Donner,et al.  Control of walking: local control and real time systems , 1984 .

[17]  Brian A. Wichmann,et al.  Reference Manual for the Ada Programming Language. Proposed Standard Document , 1980 .

[18]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[19]  Theodore P. Baker,et al.  An Architecture for Real-Time Software Systems , 1989 .

[20]  Henry Ledgard,et al.  Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[21]  Lace AdaptingAda,et al.  Corset and Lace: Adapting Ada Runtime Support to Real-Time Systems , 1999 .