Singe

IMITATOR II

About this page

This page is about the first release of IMITATOR II (i.e., IMITATOR 2.0).

The official page for all versions and releases of IMITATOR is now:
http://www.lsv.ens-cachan.fr/Software/imitator/

Description

IMITATOR II is the second version, now fully written in OCaml, of the prototype IMITATOR [And09]. As IMITATOR, IMITATOR II is originally an implementation of the inverse method algorithm described in [ACEF09].

This tool is being developed by Étienne André in collaboration with Laurent Fribourg and Emmanuelle Encrenaz.

Features

IMITATOR II handles the following features:

The execution of IMITATOR II is fully automated, from the source file to the generation of the behavioral tiles and the corresponding trace sets under a graphical form.

Comparison of the features of IMITATOR I and IMITATOR II:

Tool Inverse Method Reachability graph Cartography Algorithm Graphical Output
IMITATOR I Yes No No No
IMITATOR II Yes Yes Yes Yes

See also

Talks

References

[ACEF09] É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 ( PDF | BibTeX + Abstract )
[AF10] Étienne André and Laurent Fribourg. Behavioral Cartography of Timed Automata. RP'10. To appear. ( PDF)
[And09] Étienne André.  IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata. In Martin Leucker and Carroll Morgan (eds.), ICTAC'09, LNCS 5684, pages 336-342. Springer, 2009. ( PDF | BibTeX + Abstract )

 

 

Valid XHTML 1.0 Strict

À propos du LSV