Title :
The deadline command
Author :
Fidge, C. ; Hayes, I. ; Watson, G.
Author_Institution :
Dept. of Comput. Sci. & Electr. Eng., Queensland Univ., Qld., Australia
fDate :
4/1/1999 12:00:00 AM
Abstract :
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
Keywords :
high level languages; program compilers; programming; real-time systems; safety-critical software; compiler directive; deadline command; highly flexible language primitive; real time language constructs; real time programming; safety critical SPARK programming language; timing requirements;
Journal_Title :
Software, IEE Proceedings -
DOI :
10.1049/ip-sen:19990407
