TarTar: A Timed Automata Repair Tool
Reading time: 1 minute
...
📝 Original Info
- Title: TarTar: A Timed Automata Repair Tool
- ArXiv ID: 2002.02760
- Date: 2020-05-13
- Authors: Martin Koelbl (1) and Stefan Leue (1) and Thomas Wies (2) ((1) University of Konstanz, (2) New York University)
📝 Abstract
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 are guaranteed to eliminate executability of the given TDT, 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.📄 Full Content
📸 Image Gallery
…(본문이 길어 일부가 생략되었습니다.)
Reference
This content is AI-processed based on open access ArXiv data.