Download CTTOOL

---

License information

Copyright or © or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille, et INRIA, Sophia-Antipolis, Oasis team.

GROUPE DES ECOLES DES TELECOMMUNICATIONS (GET)
ECOLE NATIONALE SUPERIEURE DES TELECOMMUNICATIONS (ENST) (Télécom Paris)
"Etablissement Public à Caractère Administratif "
SIREN 180 092 025
46 rue Barrault
F-75013 Paris
ludovic.apvrille AT enst.fr

INSTITUT NATIONAL de RECHERCHE en INFORMATIQUE et AUTOMATIQUE

2004, rte des Lucioles

BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

Eric.Madelaine AT sophia.inria.fr

• CTTool is a computer program based on the code of the TTool software
• TTool purpose is to allow the edition of TURTLE analysis, design and deployment diagrams, to allow the generation of LOTOS, RT-LOTOS or Java code from this diagram, and at last to allow the analysis of formal validation traces obtained from external tools, e.g. RTL from LAAS-CNRS and CADP from INRIA Rhône-Alpes.

o CTTool extends TTool for the edition of hierarchical component diagrams and specification of their behaviour using state machine diagrams. CTTool designs can be analysed using the CADP verification tool box.

Ttool and CTTool are software computer programs distributed under two licenses:

* Source files located in src/myutil/TableSorter.java are ditributed by SUN Microsystems under a BSD+ license. The agreement for this license has been approved by Sharon Zakhour, from SUN Microsystems, the 30th of September, 2005. The BSD+ license is provided in the header of the corresponding file. For more information on this license, please, consult the corresponding SUN web site at:
http://access1.sun.com/FAQSets/BSD.html

* Icons located in src/ui/images/toolbarButtonGraphics, are provided by SUN Microsystemes with a BSD+ License. For more information, please, refer to
http://java.sun.com/developer/techDocs/hi/repository/

* Other parts are governed by the CeCILL  license under French law and abiding by the rules of distribution of free software. You can  use,  modify and/ or redistribute the software under the terms of the CeCILL license as circulated by CEA, CNRS and INRIA at the following URL http://www.cecill.info.
CeCILL terms are provided in English and in French.

By clicking on the underlying "I agree" button, you agree with all the above licenses mentionned just before.