Making software timing properties easier to inspect and verify
Jia Hui Xu · IEEE Software · 2003
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 structures to reduce complexity.