This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)
Overhead-aware compositional analysis of real-time systems
Philadelphia, PA, USA USA
April 09-April 11
ISBN: 978-1-4799-0186-9
Linh T. X. Phan, Department of Computer and Information Sciences, University of Pennsylvania
Meng Xu, Department of Computer and Information Sciences, University of Pennsylvania
Jaewoo Lee, Department of Computer and Information Sciences, University of Pennsylvania
Insup Lee, Department of Computer and Information Sciences, University of Pennsylvania
Oleg Sokolsky, Department of Computer and Information Sciences, University of Pennsylvania
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.
Citation:
Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky, "Overhead-aware compositional analysis of real-time systems," rtas, pp.237-246, 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2013
Usage of this product signifies your acceptance of the Terms of Use.