Title :
Making software timing properties easier to inspect and verify
Author_Institution :
Dept. of Comput. Sci., York Univ., Toronto, Ont., Canada
Abstract :
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 placing restrictions on software structures to reduce complexity.
Keywords :
program verification; scheduling; timing; embedded software; preruntime scheduling; software timing; verification; Application software; Automatic logic units; Circuits; Explosions; Hardware; Programming profession; Real time systems; State-space methods; Surgery; Timing;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.2003.1207452
