Towards Probabilistic Real-Time Calculus

Luca Santinelli 1, 2 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 in analyzing probabilistic real-time systems is to model the tasks composing the system and the resource provided to the system. In this paper we propose a solution based on a probabilistic componentbased model that abstracts the functional and non-functional requirements of real-time components. The obtained interfaces encode timing requirements and probability information of the component in a probabilistic version of the real-time calculus. Besides, it has been derived probabilistic scheduling and compositional guarantees to provide real-time analyses of probabilistic real-time systems. Finally, a test case illustrates the potentialities of the proposed model and its applicability in a large variety of problems within the probabilistic real-time scenario.
Type de document :
Article dans une revue
ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, Special issue related to the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - CRTS 2010, 8 (1), pp.54-61. 〈10.1145/1967021.1967028〉
Liste complète des métadonnées

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

Identifiants

Collections

Citation

Luca Santinelli, Liliana Cucu-Grosjean. Towards Probabilistic Real-Time Calculus. ACM SIGBED Review, Association for Computing Machinery (ACM), 2011, Special issue related to the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - CRTS 2010, 8 (1), pp.54-61. 〈10.1145/1967021.1967028〉. 〈hal-00646578〉

Partager

Métriques

Consultations de la notice

233