ATAC: A Tool for Automating Timed Automata Construction

What is ATAC?

ATAC (Automated Timed Automata Construction) is a tool for automatic construction of Timed Automata (TA) models from descriptions and specifications given in structured natural language. The tool accepts a set of English sentences which are sufficient to model a TA model. The semantic meanings of these sentences are extracted and then mapped to the related TA concepts by the tool. The final model is given to the user as an XML file along with a query file (if any specification is implied by the input) both of which can be read by the UPPAAL, a tool for modeling, designing, simulating, and verifying TA models.

More Information

The tool can be download from: https://github.com/beyazit-yalcinkaya/atac.

Extended version of the tool paper: https://arxiv.org/abs/1905.08169.