The Community for Technology Leaders
RSS Icon
Issue No.04 - July/August (2003 vol.20)
pp: 34-41
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
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
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool