Model-based templates for real-time scheduling

The use of formal scheduling models as a basis for constructing reusable code templates for real-time software is studied. Code templates in a particular language are developed hand-in-hand with formal scheduling models for those templates, where the formal models include necessary run-time or operating system overheads. The code templates can be adapted in ways that correspond to the parameters of the formal model (e.g. number and frequencies of tasks). Ultimately, both an analytic tool to predict system performance metrics and a code generator to produce executive software can be driven by a high-level specification of the tasks in a particular application. This approach is demonstrated for one formal model, rate monotonic scheduling, and one Ada code template.<>