A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems

Luca Santinelli 1 Patrick Meumeu Yomsi 1 Dorin Maxim 1 Liliana Cucu-Grosjean 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : A challenging research issue of analyzing a real-time system is to model the tasks composing the system and the resource provided to the system. In this paper, we propose a probabilistic component-based model which abstracts in the interfaces both the functional and non-functional requirements of such systems. This approach allows designers to unify in the same framework probabilistic scheduling techniques and compositional guarantees that go from soft to hard real-time. We provide sufficient schedulability tests for task systems using such framework when the scheduler is either preemptive Fixed-Priority or Earliest Deadline First.
Document type :
Conference papers
Liste complète des métadonnées

Contributor : Liliana Cucu-Grosjean <>
Submitted on : Wednesday, November 30, 2011 - 12:19:08 PM
Last modification on : Thursday, January 11, 2018 - 6:20:05 AM


  • HAL Id : hal-00646582, version 1



Luca Santinelli, Patrick Meumeu Yomsi, Dorin Maxim, Liliana Cucu-Grosjean. A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation - ETFA 2011, Sep 2011, Toulouse, France. pp.1-8. ⟨hal-00646582⟩



Record views