IMITATOR 2.3
This version is the latest stable version of IMITATOR II.
It implements the inverse method for timed automata, as well as the behavioral cartography algorithm.
Furthermore, it implements a number of variants increasing considerably the efficiency of the synthesis of constraints.
Download and Install
Download the source code:
IMITATOR2-3.tar.bz2 (85Ko)
or
IMITATOR2-3.zip (181Ko).
Installation instructions: INSTALL.txt.
This files explains which and how additional libraries should be installed.
Standalone binary for Ubuntu (about 10MiB); it should be standalone, but might still need additional libraries on certain configurations.
If this doesn’t work, please compile the source code.
Case Studies
We give for each example the source code, as well as the reference rectangle file, for the computation of the behavioral cartography.
User Manual
Download the user manual (version: 25th November 2010).
Also note that the latest options are given using the -help option when calling the tool.
References
- Étienne André and Romain Soulat. Synthesis of Timing Parameters Satisfying Safety Properties. In Giorgio Delzanno and Igor Potapov (eds.), RP’11, LNCS 6945, Springer, pages 31–44, 2011. DOI: 10.1007/978-3-642-24288-5_5 (English) [PDF (author version) | PDF (long author version) | BibTeX | Slides]
- Étienne André. An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems. Ph.D. thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2010. 268 pages. (English) [PDF | BibTeX | Slides]
- Étienne André and Laurent Fribourg. Behavioral Cartography of Timed Automata. In Antonín Kučera and Igor Potapov (eds.), RP’10, LNCS 6227, Springer, pages 76–90, September 2010. DOI: 10.1007/978-3-642-15349-5_5 (English) [PDF (published version) | PDF (author version) | BibTeX | Slides]
- Étienne André, Thomas Chatain, Emmanuelle Encrenaz and Laurent Fribourg. An Inverse Method for Parametric Timed Automata. International Journal of Foundations of Computer Science 20(5), pages 819–836, 2009. DOI: 10.1142/S0129054109006905 (English) [PDF (published version) | PDF (author version) | BibTeX]
Contact