@inproceedings{7ccf4f8162444c8faaddcebffff5679f,
title = "A conformance testing relation for symbolic timed automata",
abstract = "We introduce Symbolic Timed Automata, an amalgamation of symbolic transition systems and timed automata, which allows to express nondeterministic data-dependent control flow with inputs and outputs and real-time behaviour. In particular, input data can influence the timing behaviour. We define two semantics for STA, a concrete one as timed labelled transition systems and another one on a symbolic level. We show that the symbolic semantics is complete and correct w.r.t. the concrete one. Finally, we introduce symbolic conformance relation stioco , which is an extension of the well-known ioco conformance relation. Relation stioco is defined using FO-logic on a purely symbolic level. We show that stioco corresponds on the concrete semantic level to Krichen and Tripakis{\textquoteright} implementation relation tioco for timed labelled transition systems.",
author = "{Styp, von}, S. and H.C. Bohnenkamp and J. Schmaltz",
year = "2010",
doi = "10.1007/978-3-642-15297-9_19",
language = "English",
isbn = "978-3-642-15296-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "243--255",
editor = "K. Chatterjee and T.A. Henzinger",
booktitle = "Formal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings)",
address = "Germany",
}