The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (2003 vol.20)
pp: 34-41
Jia Xu , York University
ABSTRACT
<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>
INDEX TERMS
real time, software, code, inspection, verification, timing properties, undecidability, state space explosion, preruntime scheduling, predictability
CITATION
Jia Xu, "Making Software Timing Properties Easier to Inspect and Verify", IEEE Software, vol.20, no. 4, pp. 34-41, July/August 2003, doi:10.1109/MS.2003.1207452
20 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool