Quantitative analysis of real-time systems using priced timed automata

Abstract : The problems of time-dependent behavior in general, and dynamic resource allocation in particular, pervade many aspects of modern life. Prominent examples range from reliability and efficient use of communication resources in a telecommunication network to the allocation of tracks in a continental railway network, from scheduling the usage of computational resources on a chip for durations of nanoseconds to the weekly, monthly or longer-range reactive planning in a factory or a supply chain. These problems have been subject to substantial research for decades by different communities such as operational research, computer systems performance evaluation as well as planning and scheduling, witnessed by large ACM communities such as SIGMETRICS and PERFORMANCE. In this paper we argue that the formalism of timed automata together with recent extensions provides an alternative framework with complementary, yet competitive, results in terms of modeling ca-pabilities and efficiency of analysis.
Type de document :
Article dans une revue
Communications of the ACM, ACM, 2011, 54 (9), pp.78-87. 〈10.1145/1995376.1995396〉
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01088030
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 11:25:42
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:21:54

Fichier

cacm.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey. Quantitative analysis of real-time systems using priced timed automata. Communications of the ACM, ACM, 2011, 54 (9), pp.78-87. 〈10.1145/1995376.1995396〉. 〈hal-01088030〉

Partager

Métriques

Consultations de la notice

1127

Téléchargements de fichiers

255