Issue No.08 - August (2003 vol.29)
<p><b>Abstract</b>—Software with hard timing requirements should be designed using a systematic approach to make its timing properties easier to inspect and verify; otherwise, it may be practically impossible to determine whether the software satisfies the timing requirements. Preruntime scheduling provides such an approach by placing restrictions on software structures to reduce complexity. A major benefit of using a preruntime scheduling approach is that it makes it easier to systematically inspect and verify the timing properties of the actual software code, not just various high-level abstractions of the code.</p>
Real-time, software, code, inspection, verification, timing requirements, current practices, complexity, restrictions, software structures, preruntime scheduling, predictability.
Jia Xu, "On Inspection and Verification of Software with Timing Requirements", IEEE Transactions on Software Engineering, vol.29, no. 8, pp. 705-720, August 2003, doi:10.1109/TSE.2003.1223645