Issue No. 04 - July/August (2003 vol. 20)
Jia Xu , York University
<p>A general method or tool that can verify the timing properties of any arbitrary piece of software will probably never exist. So, 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 to reduce complexity.</p>
real time, software, code, inspection, verification, timing properties, undecidability, state space explosion, preruntime scheduling, predictability
J. Xu, "Making Software Timing Properties Easier to Inspect and Verify," in IEEE Software, vol. 20, no. , pp. 34-41, 2003.