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. , pp. 705-720, August 2003, doi:10.1109/TSE.2003.1223645