@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",

}