The deadline command

The deadline command is a simple, yet highly flexible, language primitive for real-time programming. Formally, it has a straightforward definition as a constraint on the current time. In practice, it acts as a compiler directive, which can be checked statically, to ensure that the program will always meet its timing requirements. As a concrete example, a way of adding the deadline command to the safety-critical SPARK programming language is described. A detailed comparison is made with other proposed real-time language constructs.

[1]  Alexander D. Stoyen,et al.  Real-Time Euclid: A language for reliable real-time systems , 1989, IEEE Transactions on Software Engineering.

[2]  Dieter K. Hammer,et al.  Dedos: a distributed real-time environment , 1994, IEEE Parallel & Distributed Technology: Systems & Applications.

[3]  Mohamed F. Younis,et al.  A Language for Complex Real-Time Systems , 1995, Comput. J..

[4]  Sang Lyul Min,et al.  An Accurate Worst Case Timing Analysis for RISC Processors , 1995, IEEE Trans. Software Eng..

[5]  David Whalley,et al.  Supporting user-friendly analysis of timing constraints , 1995 .

[6]  Wolfgang A. Halang,et al.  Extending Pearl for industrial real-time applications , 1993, IEEE Software.

[7]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[8]  Insup Lee,et al.  Language Constructs for Distributed Real-Time Programming , 1985, RTSS.

[9]  Kwei-Jay Lin,et al.  Building flexible real-time systems using the Flex language , 1991, Computer.

[10]  Henry G. Dietz,et al.  Language constructs and transformation for hard real-time systems , 1995 .

[11]  Richard Gerber,et al.  Compiling Real-Time Programs With Timing Constraint Refinement and Structural Code Motion , 1995, IEEE Trans. Software Eng..

[12]  John Barnes,et al.  High Integrity Ada: The Spark Approach , 1997 .

[13]  Satish K. Tripathi,et al.  Language support for the Maruti real-time system , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[14]  John L. Hennessy,et al.  TOMAL: a high-level programming language for microprocessor process control applications , 1976 .

[15]  Hideyuki Tokuda,et al.  Object-oriented real-time language design: constructs for timing constraints , 1990, OOPSLA/ECOOP '90.

[16]  Ian J. Hayes,et al.  Coercing real-time refinement: a transmitter , 1996, FME 1996.