Demo of TRON with smart lamp controller Java application ======================================================== Requirements ------------ 1) Microsoft Windows NT/XP/2003 2) Sun Java 5 (Sun Java 6 is also fine) Quick startup ------------- 1) Start command line window (Start->Run, cmd.exe, enter) 2) go to java directory 3) start another instance of cmd.exe (type "start cmd.exe") Virtual time case: 4) in one command line window start smart-lamp (from Java directory) by typing: java -cp . smartlamp/LightController -C localhost 6521 -M 0 5) in another command line window start TRON by typing: ..\tron.exe -Q 6521 -P 10,200 -F 300 -I SocketAdapter -v 9 LightContr.xml -- localhost 9999 Realtime case: 4) in one command line window start smart-lamp by typing: java -cp . smartlamp/LightController -M 0 5) in another command line window start TRON by typing: ..\tron.exe -P 10,200 -F 300 -I SocketAdapter -v 9 LightContr.xml -- localhost 9999 Issues ------ 1) in realtime TRON prints Driver warnings about delays. This is either pthreadGCE2 library strange time-rounding problem or Windows thread (too early) scheduling problem. 2) in simulated time LightController application spits exceptions upon mouse clicks. This is not a bug, virtual time is an isolated sandbox without a connection to real world, so you cannot interract with it unless your threads participate in virtual time framework. CONTRIBUTORS ------------ UPPAAL team http://www.uppaal.com/ Kim G. Larsen kgl@cs.aau.dk Brian Nielsen bnielsen@cs.aau.dk Marius Mikucionis marius@cs.aau.dk