Impossible d'afficher le grapge d'accessibilité et de choisir les événements à préserver par la minimisation
mac-pdss:TTool2019 p.de-saqui-sannes$ ./ttool.exe java version "1.8.0_05" Java(TM) SE Runtime Environment (build 1.8.0_05-b13) Java HotSpot(TM) 64-Bit Server VM (build 25.5-b02, mixed mode)
*** TTool version: 1.0beta -- build: 12908 date: 2019/01/15 03:02:15 CET ***
Experimental features activated
Configuration:
Launcher: LauncherPort: RTL: RTLHost: localhost RTLPath: /packages/RT-LOTOS.0.12/bin/rtl DTA2DOTPath: /packages/RT-LOTOS.0.12/bin/dta2dot RG2TLSAPath: /packages/RT-LOTOS.0.12/bin/rg2tlsa RGSTRAPPath: /packages/RT-LOTOS.0.12/bin/rgstrap
CADP: AldebaranHost: localhost AldebaranPath: /packages/cadp/com/aldebaran BcgioPath: /packages/cadp/bin.iX86/bcg_io BcgminPath: /packages/cadp/bin.iX86/bcg_min BisimulatorPath: /packages/cadp/com/bcg_open BcgmergePath: /packages/cadp/com/bcg_merge CaesarPath: /packages/cadp/bin.iX86/caesar CaesarOpenPath: /packages/cadp/com/caesar.open
Dotty: DOTTYHost: localhost DOTTYPath: /opt/csw/bin/dotty
UPPAAL: UPPAALCodeDirectory: ../uppaal/ UPPAALVerifierPATH: /packages/uppaal-4.0.11/verifyta UPPAALVerifierHOST: localhost UPPAALPropertyVerifMessage: UPPAALPropertyNotVerifMessage:
AVATAR (executable code): AVATARExecutableCodeDirectory: ../executablecode/ AVATARMPSoCCodeDirectory: ../MPSoC/ AVATARMPSoCCompileCommand: make -C ../MPSoC/ updateruntime updategeneratedcode compilesoclib AVATARExecutableCodeHost: localhost AVATARExecutableCodeCompileCommand: make AVATARExecutableCodeExecuteCommand: run.x AVATARExecutableSocLibCodeCompileCommand: make -C ../MPSoC/ updategeneratedcode compilesoclib AVATARExecutableSocLibCodeExecuteCommand: make -C ../MPSoC/ runsoclib AVATARExecutableSocLibCodeTraceCommand: make -C ../MPSoC/ runsoclib-trace AVATARExecutableSocLibCodeTraceFile: ../MPSoC/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/trace
ProVerif: ProVerifCodeDirectory: ../proverif/ ProVerifVerifierPATH: ../../proverif ProVerifVerifierHOST: localhost
Your files (modeling, librairies, etc.): FILEPath: ../modeling DownloadedFILEPath: ../modeling LOTOSPath: ../lotos LIBPath: ../lib IMGPath: ../figures DocGenPath: ../document_generation GGraphPath: ../graphs TGraphPath: ../graphs
TTool update: TToolUpdateURL: TToolUpdateProxy: false TToolUpdateProxyPort: 8080 TToolUpdateProxyHost: To Be Completed
Java prototyping: JavaCodeDirectory: ../javacode JavaHeader: import java.sql.*; JavaCompilerPath: /usr/bin/javac TToolClassPath: ../javacode JavaExecutePath: /usr/bin/java SimuJavaCodeDirectory: TToolSimuClassPath:
DIPLODOCUS: SystemCCodeDirectory: ../simulators/c++2/ SystemCHost: localhost SystemCCodeCompileCommand: make -C ../simulators/c++2/ SystemCCodeExecuteCommand: ../simulators/c++2/run.x -ovcd ../simulators/c++2/vcddump.vcd SystemCCodeInteractiveExecuteCommand: ../simulators/c++2/run.x -server GTKWavePath: /opt/local/bin/gtkwave TMLCodeDirectory: ../tmlcode/ CCodeDirectory: ../CCode/ VCDPath: ../simulators/c++2/
Network calculus: NCDirectory: ../nc/
Plugins: Plugin path:
URLs: URL for loading models from network: http://ttool.telecom-paristech.fr/networkmodels/models.txt
Custom external commands: ExternalCommand1Host: localhost ExternalCommand1: gtkwave ../simulators/c++2/vcddump.vcd ExternalCommand2Host: localhost ExternalCommand2: /packages/uppaal4.0.11/uppaal ../uppaal/spec.xml
Information saved by TTool: LastOpenFile #0: ../modeling/AVATAR/CoffeeMachine_Avatar.xml LastOpenFile #1 (closed): LastOpenFile #2 (closed): LastOpenFile #3 (closed): LastOpenFile #4 (closed): LastOpenFile #5 (closed): LastOpenFile #6 (closed): LastOpenFile #7 (closed): LastOpenFile #8: LastOpenFile #9 (closed): LastWindowAttributesX: LastWindowAttributesY: LastWindowAttributesWidth: LastWindowAttributesHeight: LastWindowAttributesMax:
RG stylesheet configuration: ExternalServer
Debugging trace:
Preparing plugins
Server side of the launcher
Version: 0.61
Using port: 8375
Process running:0
Waiting for command
openLast=true
Loading model
Deactivating syntax checking
New avatar methodo panel
Loading Avatar methodo
End Loading avatar methodo
Creating MAD panel
Deactivating syntax checking
MADs nodes: 0
MADs nodes: 1
MADs nodes: 2
MADs nodes: 3
MADs nodes: 4
MADs nodes: 5
MADs nodes: 6
MADs nodes: 7
MADs nodes: 8
Deactivating syntax checking
Deactivating syntax checking
Setting to true Zoom
Setting to false Zoom
Setting to true Zoom
Setting to false Zoom
Making validated with val=
Making ignored with ign=null
Action=p__x = p__x + speed__x
Action=p__y = p__y + speed__y
Action=p__x = 98
Action=p__y = 98
Action=speed__x = 0
Action=speed__y = 0
Action=p__x = p__x + 1 - turbulenceX
Action=p__y = p__y + 1 - turbulenceY
Action=turbulence = false
Action=p__x = p2__x
Action=p__y = p2__y
Action=p__x = p1__x
Action=p__y = p1__y
Action=p1__x = 100
Action=p1__y = 100
Action=p2__x = 98
Action=p2__y = 98
Action=p__x = p1__x
Action=p__y = p1__y
Action=isFull = true
Action=isFull = false
Action=currentSpeed__y = neg
Action=currentSpeed__y = 0
Action=currentSpeed__y = 1
Action=currentSpeed__x = 0
Action=currentSpeed__x = neg
Action=currentSpeed__x = 1
Action=currentSpeed__x = 0
Action=currentSpeed__y = 0
Action=neg = currentSpeed__x - 1
Action=diffX = targetPosition__x - currentPosition__x
Action=diffY = targetPosition__y - currentPosition__y
Making validated with val=
Making ignored with ign=null
Action=p__x = p__x + speed__x
Action=p__y = p__y + speed__y
Action=p__x = 98
Action=p__y = 98
Action=speed__x = 0
Action=speed__y = 0
Action=p__x = 100
Action=p__y = 100
Action=diffX = targetPosition__x - currentPosition__x
Action=diffY = targetPosition__y - currentPosition__y
Action=currentSpeed__x = 0
Action=currentSpeed__y = 0
Action=neg = currentSpeed__x - 1
Action=currentSpeed__x = 1
Action=currentSpeed__x = neg
Action=currentSpeed__x = 0
Action=currentSpeed__y = 1
Action=currentSpeed__y = 0
Action=currentSpeed__y = neg
Execute avatar model checker
Generating Avatar from TML
Thread started
String model checking
Reworking Avatar specification
Starting the model checking
Threads terminated
Model checking done
Model checking done
Expanding Path because of graphs
Exception in thread "AWT-EventQueue-0" java.lang.NoClassDefFoundError: rationals/NoSuchStateException
at ui.window.JDialogAvatarModelChecker.displayGraph(JDialogAvatarModelChecker.java:460)
at ui.window.JDialogAvatarModelChecker.actionPerformed(JDialogAvatarModelChecker.java:424)
at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022)
at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2346)
at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:402)
at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259)
at javax.swing.plaf.basic.BasicButtonListener.mouseReleased(BasicButtonListener.java:252)
at java.awt.Component.processMouseEvent(Component.java:6527)
at javax.swing.JComponent.processMouseEvent(JComponent.java:3321)
at java.awt.Component.processEvent(Component.java:6292)
at java.awt.Container.processEvent(Container.java:2234)
at java.awt.Component.dispatchEventImpl(Component.java:4883)
at java.awt.Container.dispatchEventImpl(Container.java:2292)
at java.awt.Component.dispatchEvent(Component.java:4705)
at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4898)
at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4533)
at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4462)
at java.awt.Container.dispatchEventImpl(Container.java:2278)
at java.awt.Window.dispatchEventImpl(Window.java:2739)
at java.awt.Component.dispatchEvent(Component.java:4705)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:746)
at java.awt.EventQueue.access$400(EventQueue.java:97)
at java.awt.EventQueue$3.run(EventQueue.java:697)
at java.awt.EventQueue$3.run(EventQueue.java:691)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:86)
at java.awt.EventQueue$4.run(EventQueue.java:719)
at java.awt.EventQueue$4.run(EventQueue.java:717)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:75)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:716)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:201)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:116)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:105)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:101)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:93)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:82)
Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException
at java.net.URLClassLoader$1.run(URLClassLoader.java:372)
at java.net.URLClassLoader$1.run(URLClassLoader.java:361)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:360)
at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
... 38 more
Exception in thread "Thread-16" java.lang.NoClassDefFoundError: rationals/NoSuchStateException
at ui.window.JFrameMinimize.computeListOfActions(JFrameMinimize.java:525)
at ui.window.JFrameMinimize.run(JFrameMinimize.java:553)
at java.lang.Thread.run(Thread.java:745)
Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException
at java.net.URLClassLoader$1.run(URLClassLoader.java:372)
at java.net.URLClassLoader$1.run(URLClassLoader.java:361)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:360)
at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
... 3 more
Autosaving in /Users/p.de-saqui-sannes/Documents/Recherche/Articles 2018/UAV tutorial/UAV_2018_v04.xml~
Exception in thread "Thread-17" java.lang.NoClassDefFoundError: rationals/NoSuchStateException
at ui.window.JFrameMinimize.computeListOfActions(JFrameMinimize.java:525)
at ui.window.JFrameMinimize.run(JFrameMinimize.java:553)
at java.lang.Thread.run(Thread.java:745)
Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException
at java.net.URLClassLoader$1.run(URLClassLoader.java:372)
at java.net.URLClassLoader$1.run(URLClassLoader.java:361)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:360)
at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
... 3 more
Creating jframe statistics
Dialog creation
Exception in thread "Thread-18" java.lang.NoClassDefFoundError: rationals/NoSuchStateException
at ui.window.JFrameStatistics.goElement(JFrameStatistics.java:191)
at ui.ThreadGUIElement.run(ThreadGUIElement.java:197)
Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException
at java.net.URLClassLoader$1.run(URLClassLoader.java:372)
at java.net.URLClassLoader$1.run(URLClassLoader.java:361)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:360)
at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
... 2 more
Creating jframe statistics
Dialog creation
Exception in thread "Thread-20" java.lang.NoClassDefFoundError: rationals/NoSuchStateException
at ui.window.JFrameStatistics.goElement(JFrameStatistics.java:191)
at ui.ThreadGUIElement.run(ThreadGUIElement.java:197)
Caused by: java.lang.ClassNotFoundException: rationals.NoSuchStateException
at java.net.URLClassLoader$1.run(URLClassLoader.java:372)
at java.net.URLClassLoader$1.run(URLClassLoader.java:361)
at java.security.AccessController.doPrivileged(Native Method)
at java.net.URLClassLoader.findClass(URLClassLoader.java:360)
at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308)
at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
... 2 more
Submitted by external user pdss@isae-supaero.fr