IEEE - Institute of Electrical and Electronics Engineers, Inc. - Making software timing properties easier to inspect and verify

Author(s): Jia Xu
Sponsor(s): IEEE Computer Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2003
Volume: 20
Page Count: 8
Page(s): 34 - 41
ISSN (Paper): 0740-7459
DOI: 10.1109/MS.2003.1207452
Regular:

Software with hard timing requirements should be designed using a systematic approach to make its timing properties easier to inspect and verify. Preruntime scheduling provides such an approach by... View More

Advertisement