Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

Abstract : This article aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [8,9]. The paper gives comprehensive definitions of timed automata, priced (or weighted) timed automata, and timed games and highlights a number of results on associated decision problems related to model checking, equivalence checking, optimal scheduling, the existence of winning strategies, and then statistical model checking.
Type de document :
Chapitre d'ouvrage
Manfred Broy; Doron Peled; Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.67 - 108, 2013, NATO Science for Peace and Security Series - D: Information and Communication Security, 978-1-61499-206-6. 〈10.1007/978-3-642-39721-9_2〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01087921
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:46:34
Dernière modification le : mardi 16 janvier 2018 - 15:54:23
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:18:03

Fichier

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

Identifiants

Citation

Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Claus Thrane. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. Manfred Broy; Doron Peled; Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.67 - 108, 2013, NATO Science for Peace and Security Series - D: Information and Communication Security, 978-1-61499-206-6. 〈10.1007/978-3-642-39721-9_2〉. 〈hal-01087921〉

Partager

Métriques

Consultations de la notice

308

Téléchargements de fichiers

58