Name
Abstract | ||
|---|---|---|
Over the past decade, interface-based compositional schedulability analysis has emerged as an effective method for guaranteeing real-time properties in complex systems. Several interfaces and interface computation methods have been developed, and they offer a range of tradeoffs between the complexity and the accuracy of the analysis. However, none of the existing methods consider platform overheads in the component interfaces. As a result, although the analysis results are sound in theory, the systems may violate their timing constraints when running on realistic platforms. This is due to various overheads, such as task release delays, interrupts, cache effects, and context switches. Simple solutions, such as increasing the interface budget or the tasks' worst-case execution times by a fixed amount, are either unsafe (because of the overhead accumulation problem) or they waste a lot of resources. In this paper, we present an overhead-aware compositional analysis technique that can account for platform overheads in the representation and computation of component interfaces. Our technique extends previous overhead accounting methods, but it additionally addresses the new challenges that are specific to the compositional scheduling setting. To demonstrate that our technique is practical, we report results from an extensive evaluation on a realistic platform. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/RTAS.2013.6531096 | IEEE Real-Time and Embedded Technology and Applications Symposium |
Keywords | DocType | Citations |
analysis result,realistic platform,component interface,overhead-aware compositional analysis technique,overhead accumulation problem,compositional scheduling setting,interface budget,Overhead-aware compositional analysis,interface-based compositional schedulability analysis,platform overhead,interface computation method,real-time system | Conference | 19 |
PageRank | References | Authors |
0.71 | 19 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Oleg Sokolsky | 1 | 2193 | 154.94 |
| Meng Xu | 2 | 211 | 18.89 |
| Jaewoo Lee | 3 | 308 | 35.20 |
| Linh T. X. Phan | 4 | 87 | 3.60 |
| Insup Lee | 5 | 4996 | 413.64 |