DocumentCode
1549246
Title
The deadline command
Author
Fidge, C. ; Hayes, I. ; Watson, G.
Author_Institution
Dept. of Comput. Sci. & Electr. Eng., Queensland Univ., Qld., Australia
Volume
146
Issue
2
fYear
1999
fDate
4/1/1999 12:00:00 AM
Firstpage
104
Lastpage
111
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;
fLanguage
English
Journal_Title
Software, IEE Proceedings -
Publisher
iet
ISSN
1462-5970
Type
jour
DOI
10.1049/ip-sen:19990407
Filename
785344
Link To Document