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.
Type de document :
Communication dans un congrès
16th IEEE International Conference on Emerging Technologies and Factory Automation - ETFA 2011, Sep 2011, Toulouse, France. pp.1-8, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00646582
Contributeur : Liliana Cucu <>
Soumis le : mercredi 30 novembre 2011 - 12:19:08
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : hal-00646582, version 1

Collections

Citation

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, 2011. 〈hal-00646582〉

Partager

Métriques

Consultations de la notice

200