A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

Luca Santinelli
  • Fonction : Auteur
  • PersonId : 884507
Patrick Meumeu Yomsi
  • Fonction : Auteur
  • PersonId : 852693
Dorin Maxim
  • Fonction : Auteur
  • PersonId : 884508
Liliana Cucu-Grosjean
  • Fonction : Auteur
  • PersonId : 884506

Résumé

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.
Fichier non déposé

Dates et versions

hal-00646582 , version 1 (30-11-2011)

Identifiants

  • HAL Id : hal-00646582 , version 1

Citer

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⟩
97 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More