Abstract Our primary goal is to develop a compositional real-time scheduling framework where global (system-level) timing properties are established by composing together independently (specified and) analyzed local (component-level) timing properties. In this paper, we define two problems and one design issue in developing such a framework and present our approaches to the problems and the design issue. The two problems are (1) the scheduling interface derivation problem that is to (exactly) abstract the collective real-time requirements of a component as a single real-time requirement, or a scheduling interface and (2) the scheduling interface composition problem that is to (exactly) compose the scheduling interfaces of components into the system-level scheduling interface. The design issue is how to define a scheduling interface model. Our approach is to use the standard periodic model as the scheduling interface model and to address the two problems with the periodic model. We introduce exact conditions under which our proposed periodic scheduling interface model can abstract the collective real-time requirements that a set of periodic tasks demands under EDF (earliest deadline first) and RM (rate monotonic) scheduling. We present simulation results to evaluate the overheads that the periodic scheduling interfaces incur in terms of utilization increase.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Compositional Framework for Real-Time Guarantees


    Beteiligte:
    Shin, Insik (Autor:in) / Lee, Insup (Autor:in)


    Erscheinungsdatum :

    2006-01-01


    Format / Umfang :

    14 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    A compositional Framework for Real-Time Guarantees

    Shin, I. / Lee, I. | British Library Conference Proceedings | 2006


    Edge Caching with Real-Time Guarantees

    Yang, Le / Zheng, Fu-Chun / Jin, Shi | IEEE | 2022


    Hard Real-Time Systems with Stochastic Execution Times: Deterministic and Probabilistic Guarantees

    Santos, R. / Santos, J. / Orozco, J. | British Library Online Contents | 2005


    A real-time dispatching strategy for shared automated electric vehicles with performance guarantees

    Li, Li / Pantelidis, Theodoros / Chow, Joseph Y.J. et al. | Elsevier | 2021


    Sensor placement with time-to-detection guarantees

    Jabari, Saif Eddin / Wynter, Laura | Online Contents | 2016