A conformance testing relation for symbolic timed automata

S. Styp, von, H.C. Bohnenkamp, J. Schmaltz

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    9 Citaten (Scopus)

    Samenvatting

    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’ implementation relation tioco for timed labelled transition systems.
    Originele taal-2Engels
    TitelFormal Modeling and Analysis of Timed Systems (8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings)
    RedacteurenK. Chatterjee, T.A. Henzinger
    Plaats van productieBerlin
    UitgeverijSpringer
    Pagina's243-255
    ISBN van geprinte versie978-3-642-15296-2
    DOI's
    StatusGepubliceerd - 2010

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume6246
    ISSN van geprinte versie0302-9743

    Vingerafdruk Duik in de onderzoeksthema's van 'A conformance testing relation for symbolic timed automata'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit