TarTar : A Timed Automata Repair Tool

Cite This

Files in this item

Checksum: MD5:c982e053dd771f5d1fef479d09562115

KÖLBL, Martin, Stefan LEUE, Thomas WIES, 2020. TarTar : A Timed Automata Repair Tool. CAV: International Conference on Computer Aided Verification : 32nd International Conference. Los Angeles, CA, Jul 21, 2020 - Jul 24, 2020. In: LAHIRI, Shuvendu K., ed., Chao WANG, ed.. Computer Aided Verification : 32nd International Conference, CAV 2020, Proceedings, Part I. Cham:Springer International Publishing, pp. 529-540. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-030-53287-1. Available under: doi: 10.1007/978-3-030-53288-8_25

@inproceedings{Kolbl2020-07-14TarTa-53471, title={TarTar : A Timed Automata Repair Tool}, year={2020}, doi={10.1007/978-3-030-53288-8_25}, number={12224}, isbn={978-3-030-53287-1}, issn={0302-9743}, address={Cham}, publisher={Springer International Publishing}, series={Lecture Notes in Computer Science}, booktitle={Computer Aided Verification : 32nd International Conference, CAV 2020, Proceedings, Part I}, pages={529--540}, editor={Lahiri, Shuvendu K. and Wang, Chao}, author={Kölbl, Martin and Leue, Stefan and Wies, Thomas} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/53471"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:contributor>Kölbl, Martin</dc:contributor> <dc:contributor>Wies, Thomas</dc:contributor> <dc:creator>Kölbl, Martin</dc:creator> <dc:contributor>Leue, Stefan</dc:contributor> <dc:creator>Leue, Stefan</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53471/1/Koelbl_2-1wnkg9vtbpcez0.pdf"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/53471/1/Koelbl_2-1wnkg9vtbpcez0.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:issued>2020-07-14</dcterms:issued> <dc:creator>Wies, Thomas</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:abstract xml:lang="eng">We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs guarantee that the given TDT is no longer feasible in the repaired model, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69% of the seeded errors in system models taken from a diverse suite of case studies.</dcterms:abstract> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-23T11:18:10Z</dcterms:available> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-23T11:18:10Z</dc:date> <dc:rights>Attribution 4.0 International</dc:rights> <dc:language>eng</dc:language> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53471"/> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/> <dcterms:title>TarTar : A Timed Automata Repair Tool</dcterms:title> </rdf:Description> </rdf:RDF>

Downloads since Apr 23, 2021 (Information about access statistics)

Koelbl_2-1wnkg9vtbpcez0.pdf 33

This item appears in the following Collection(s)

Attribution 4.0 International Except where otherwise noted, this item's license is described as Attribution 4.0 International

Search KOPS


Browse

My Account