Structuring Communication Software for Quality-of-Service Guarantees
IEEE Transactions on Software Engineering
A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System
IEEE Transactions on Software Engineering
Supporting Embedded System Design Capture, Analysis and Navigation-
ASWEC '97 Proceedings of the Australian Software Engineering Conference
| Hi-index | 0.00 |
Real-time scheduling theory attempts to guarantee that a real-time task set always meets its deadlines. Historically, there has existed a wide gap between real-time scheduling theory and the reality of applying the theory to task sets implemented via real-time operating systems (RTOSs). The paper provides a framework to account for implementation costs in real-time scheduling theory. In addition, an engineering methodology that allows users and developers to accurately model and evaluate RTOSs is presented. We use this methodology to model three different commercial real-time operating systems that are being used in multimedia applications. We show how to use the RTOS scheduling models to evaluate the performance and design of RTOSs.