UPPAAL TRON 1.3.3 Release ========================= News in this release: - fixed problem with too late delay choice. + added generic trace-interpreter-adapter to interact with model. + added Java GUI based on trace-adapter UPPAAL TRON Licence and Responsibilities ======================================== Copyright (c) 1995-2005 by Uppsala University and Aalborg University. We (the licensee) understand that Uppaal includes the programs: uppaal2k.jar, uppaal, uppaal.bat, server, socketserver, atg2ugi, atg2ta, atg2hs2ta, hs2ta, checkta, simta, verifyta, uppaal, xuppaal, tron, and tron-s and that they are supplied "as is", without expressed or implied warranty. We agree on the following: 1. You (the licensers) do not have any obligation to provide any maintenance or consulting help with respect to Uppaal. 2. You neither have any responsibility for the correctness of systems verified using Uppaal, nor for the correctness of Uppaal itself. 3. We will never distribute or modify any part of the Uppaal code (i.e. the source code and the object code) without a written permission of Wang Yi (Uppsala University) or Kim G. Larsen (Aalborg University). 4. We will only use Uppaal for non-profit research purposes. This implies that neither Uppaal nor any part of its code should be used or modified for any commercial software product. In the event that you should release new versions of Uppaal to us, we agree that they will also fall under all of these terms. UPPAAL TRON includes xml2 library, please read its licence in COPYRIGHT.xml2. UPPAAL TRON Requirements ======================== GNU Compiler Collection version 3.2 or newer. JDK 1.5.x (Java 5.0) for lightcontroller demo from http://java.sun.com Currently supported platforms: SunOS 5.9 sparc g++ from GCC-3.3.1 Linux 2.6.x intel g++ from GCC-3.2/4.0/libstdc++6 Some examples may require the installation of R for analysis. Please download and install R from http://www.r-project.org/. Trace-interpreter-adapter (and hence GUI) uses ANTLR parser generator from http://www.antlr.org/. Most Linux distributions have all of them. Compiling ANTLR for SunOS is easy, ask if in trouble. Ultra-short UPPAAL TRON Guide ============================= 1) Download tron-X.tar.gz, where X is a version number: go to http://www.cs.aau.dk/~marius/tron 2) Extract the archive (where X is version number): tar -xzvf tron-X.tar.gz 3) step into UPPAAL TRON directory: cd tron-X 4) and ask for hints: make help 5) Currently there are three examples available: 1) the lightcontroller demo: make test-lightcontroller 2) the train-gate controller in simulated time and real-time: make test-timedgate-s make test-timedgate 3) the mouse-button in simulated time and real-time: make test-button-s make test-button 6) UPPAAL TRON Tracer GUI: make gui java -jar TronGUI.jar Common problems =============== * Compilation OK, but libstdc++.so.X.Y not found when run. Reason: the specific version of C++ dynamic library not found, tron was compiled with different compiler than the one available on the system. Quick fix: create a symbolic link called libstdc++.so.X.Y pointing to the available library (remember to set LD_LIBRARY_PATH to ".:.." if link is created in tron-1.x.y directory). A reliable fix is to find and use the corresponding GCC version. * Write an email if in trouble. Bugs and Feedback ================= For reporting bugs, please use the Bugzilla interface: http://bugsy.dominic.auc.dk/ Comments and experiences are more than welcome via email: Marius Mikucionis , UPPAAL TRON maintainer.