Skip to Main content Skip to Navigation
Book sections

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.
Document type :
Book sections
Complete list of metadata

Cited literature [90 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087921
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 9:46:34 AM
Last modification on : Thursday, January 7, 2021 - 4:25:29 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:18:03 AM

File

markto.pdf
Files produced by the author(s)

Identifiers

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⟩

Share

Metrics

Record views

478

Files downloads

268