Louis-Marie TRAONOUEZ
Author's posts
New version of PyECDAR 2.1
Version 2.1 of PyECDAR has been released in the Download section. This version fixes some bugs in prior version. In particular it uses to a new version of PyPPL in which compatibily issues between PyPPL and PyDBM have been resolved.
PyECDAR paper accepted at ATVA 2013
PyECDAR will be presented in a tool demonstration paper at the next ATVA conference (11th International Symposium on Automated Technology for Verification and Analysis). It will take place in Hanoi from the 14th to the 18th October. The paper is entitled: “PyEcdar: towards open source implementation for timed systems”.
New version of PyECDAR
Version 2.0 of PyECDAR has been released in the Download section. This version combines version 1.0 with the special version that was built to analyse adaptive systems. This version is now independent from other open-source project such as PyUPPAAL since it includes its own parsing modules. It includes additional features, such as handling constants and …
PyECDAR for adaptive featured real-time systems
We have design a new version of PyECDAR for the analysis of adaptive featured real-time systems. This version is currently separated from the main version of pyecdar. It includes a new parser for UPPAAL models with features that replaces PyUPPAAL. Features are added as boolean arrays. 3 types of arrays may be used and declare …
New version of PyECDAR
Version 1.0 of PyECDAR has been released in the Download section.
Website update
The website of PyECDAR has been recently updated. Documentation has been added about the the installation, the tool usage, based on a small tutorial, and some bibliography about timed specifications and robustness in timed specifications. Some examples have also been added.
