Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

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.
Fichier principal
Vignette du fichier
ictacschool.pdf (657.12 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01087927 , version 1 (27-11-2014)

Identifiers

Cite

Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay. Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems. ICTAC, Aug 2013, Shanghai, China. pp.67 - 108, ⟨10.1007/978-3-642-39721-9_2⟩. ⟨hal-01087927⟩
233 View
163 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More