Impossible d'afficher le graphe d'accessibilité d'un modèle SysML/AVATAR
imac-de-pierre-de-saqui-sannes:TTool19 pierredesaqui-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: 12944 date: 2019/02/15 03:02:12 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 Deactivating syntax checking Deactivating syntax checking Adding connector Nb Of saved operations:6 pointer=5 Decrementing pointer =4 Deactivating syntax checking Selecting tab Selecting tab panel=0.0 diagram=1.0 Selecting backward mode file=/Users/pierredesaqui-sannes/TTool19/modeling/foo1 Disable save Execute avatar model checker Generating Avatar from TML Thread started
-------------- Remove composite states ---------------
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 "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
Creating jframe statistics
Dialog creation
Exception in thread "Thread-16" 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
imac-de-pierre-de-saqui-sannes:TTool19 pierredesaqui-sannes$
Submitted by external user pdss@isae-supaero.fr