2006 | OriginalPaper | Buchkapitel
Interesting Properties of the Real-Time Conformance Relation tioco
verfasst von : Moez Krichen, Stavros Tripakis
Erschienen in: Theoretical Aspects of Computing - ICTAC 2006
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We are interested in black-box conformance testing of real-time systems. Our framework is based on the model of timed automata with inputs and outputs (TAIO). We use a timed conformance relation called
tioco
which is the extension of the untimed relation
ioco
. We show that considering only lazy-input TAIO is enough for describing all possible non-blocking specifications. We compare between
tioco
and the trace-inclusion relation. We prove that
tioco
is undecidable and that it does not distinguish specifications with the same set of observable traces. We prove
tioco
to be transitive and stable w.r.t both compositionality and action hiding for input-complete specifications. We compare between
tioco
and two other timed conformance relations,
rtioco
and
$ \sqsubseteq_{\mathsf{\it tioco}}$
.