This project implements some functionalities of the ECDAR tool for the analysis of timed specifications. It includes:
- an implementation of the timed game algorithm of TIGA
- an implementation of the alternating simulation checking algorithm
- new functionalities for robustness analysis
The ECDAR is a tool for analysis of timed specifications. It is part of the UPPAAL framework. It can downloaded at this address:
http://
This project re-implements some functionalities of ECDAR. It features some translations to transform UPPAAL XML models. Such translations includes.
- parallel composition
- conjunction
- consistency game
- compatibility game
- constant scaling
- robust game
The tool possesses its own engines:
- pytiga for the analysis of timed games, thanks to Peter Bulychev.
- pytigarefinement for alternating timed simulation checking
- pyrobustcegar for robustness analysis
The tool works with the following tools:
- PyUPPAAL: https:/
- DBMPyUPPAAL: https:/
- PyPPL : https:/
The tool doesn't provide any GUI. Original ECDAR can be used to edit UPPAAL models. A python console can be used to use the tool.
View full history Series and milestones
trunk series is the current focus of development.