Compositional Feasibility Analysis of Conditional Real-Time Task Models

TitleCompositional Feasibility Analysis of Conditional Real-Time Task Models
Publication TypeConference Paper
Year of Publication2008
AuthorsAnand, M., A. Easwaran, S. Fischmeister, and I. Lee
Conference NameProc. of the IEEE International Symposium on Object/Component/Service-oriented Real-Time Computing (ISORC)
Date PublishedMay
Conference LocationOrlando, USA
ISBN Number978-0-7695-3132-8
Keywordsreal-time, state-based scheduling

Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be classified based on a tradeoff in two dimensions expressivity and hardness of schedulability analysis. In this work, we introduce a class of conditional task models and derive efficient schedulability analysis techniques for them. These models are more expressive than existing models for which efficient analysis techniques are known. In this work, we also lay the groundwork for schedulability analysis of hierarchical scheduling frameworks with conditional task models. We propose techniques that abstract timing requirements of conditional task models, and support compositional analysis using these abstractions.

Refereed DesignationRefereed
Related files: 


Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.