Registered by Louis-Marie Traonouez

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://people.cs.aau.dk/~adavid/ecdar/

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://launchpad.net/pyuppaal
- DBMPyUPPAAL: https://launchpad.net/dbmpyuppaal. It requires the louismarie branch: tlouismarie/dbmpyuppaal/louismarie. To install DBMPyUPPAAL you need PyDBM: https://launchpad.net/pydbm and the UPPAAL DBM library: http://people.cs.aau.dk/~adavid/UDBM/index.html
- PyPPL : https://launchpad.net/pyppl. This requires the Parma Polyhedra Library: http://bugseng.com/products/ppl

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.

Project information

Maintainer:
Louis-Marie Traonouez
Driver:
Not yet selected
Licence:
GNU GPL v3

RDF metadata

View full history Series and milestones

trunk series is the current focus of development.

All code Code

Version control system:
Bazaar

All bugs Latest bugs reported

Get Involved

  • Report a bug
  • warning
    Ask a question
  • warning
    Help translate

Downloads

PyECDAR does not have any download files registered with Launchpad.