The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (2003 vol.29)
pp: 705-720
ABSTRACT
<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>
INDEX TERMS
Real-time, software, code, inspection, verification, timing requirements, current practices, complexity, restrictions, software structures, preruntime scheduling, predictability.
CITATION
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
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool