Referenced Items are not available for this document.
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
Published in:
Software, IEE Proceedings -
(Volume:146
,
Issue:
2
)
Date of Publication: Apr 1999
- Page(s):
- 104 - 111
- ISSN :
- 1462-5970
- INSPEC Accession Number:
- 6271987
- Digital Object Identifier :
- 10.1049/ip-sen:19990407
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 06 August 2002
- Issue Date :
- Apr 1999
- Sponsored by :
- IET
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
