11, Feb, 2009
Seminar Series 2009 - Arvind EaswaranCompositional Schedulability Analysis (Efforts at University of Pennsylvania, USA).
ISEP-IPP, Porto, Portugal
Component-based engineering is a popular design strategy for multi-functional and complex real-time systems; it decomposes the system into simpler components and then composes them using interfaces that hide internal complexities. Since components also have time-constrained resource demand, this design leads to hierarchical real-time systems that share resources under a scheduling hierarchy. Due to resource-constrained operating environments, schedulability analysis of such hierarchical systems is an important problem that must be addressed in the design phase. Additionally, to preserve the principles of component-based engineering, this analysis must be compositional, i.e., system schedulability must be determined by composing interfaces that abstractly represent component resource requirements. In this talk, we present research efforts at the University of Pennsylvania, USA, on compositional schedulability analysis. We discuss two component interface models that were developed for this purpose; periodic and explicit deadline periodic (EDP) resource models. This talk is based on the following research papers.
Insik Shin, Insup Lee: Periodic Resource Model for Compositional Real-Time Guarantees. RTSS 2003, pages 2-13. http://repository.upenn.edu/cis_papers/25/
Arvind Easwaran, Madhukar Anand, Insup Lee: Compositional Analysis Framework Using EDP Resource Models. RTSS 2007, pages 129-138. http://repository.upenn.edu/cis_papers/352/
CISTER's main roles: