TTool issueshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues2023-02-24T17:19:24Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/381Printing internal help of TTool in the command line2023-02-24T17:19:24ZLudovic ApvrillePrinting internal help of TTool in the command lineAdd a way to print the online help of TTool in the command line (so, the md or HTML help). Pictures can obviously not be printed.Add a way to print the online help of TTool in the command line (so, the md or HTML help). Pictures can obviously not be printed.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/380Using security proof from the command line (TMLMapping)2023-02-28T11:29:09ZLudovic ApvrilleUsing security proof from the command line (TMLMapping)For this, we would need to add security aspects to TML, and parse them back, and allow security verification from CLIFor this, we would need to add security aspects to TML, and parse them back, and allow security verification from CLIhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/379"make documentation" fails2023-02-07T11:26:31ZSophie Coudert"make documentation" fails# Summary
"make documentation" fails
# What is the current bug behavior?
"make documentation" (from directory TTool) leads to:
[BASE] Generating Javadoc
make: execvp: /bin/sh : Liste d'arguments trop longue
make...# Summary
"make documentation" fails
# What is the current bug behavior?
"make documentation" (from directory TTool) leads to:
[BASE] Generating Javadoc
make: execvp: /bin/sh : Liste d'arguments trop longue
make: *** [Makefile:228: documentation] Error 127
# Context/environment:
uname -a
Linux heracles 5.14.21-150400.24.41-default #1 SMP PREEMPT_DYNAMIC Fri Jan 13 08:55:22 UTC 2023 (1d4442d) x86_64 x86_64 x86_64 GNU/Linux
****
java --version
java 11.0.15 2022-04-19 LTS
Java(TM) SE Runtime Environment 18.9 (build 11.0.15+8-LTS-149)
Java HotSpot(TM) 64-Bit Server VM 18.9 (build 11.0.15+8-LTS-149, mixed mode)
****
gradle --version
------------------------------------------------------------
Gradle 7.2
------------------------------------------------------------
Build time: 2021-08-17 09:59:03 UTC
Revision: a773786b58bb28710e3dc96c4d1a7063628952ad
Kotlin: 1.5.21
Groovy: 3.0.8
Ant: Apache Ant(TM) version 1.10.9 compiled on September 27 2020
JVM: 11.0.15 (Oracle Corporation 11.0.15+8-LTS-149)
OS: Linux 5.14.21-150400.24.41-default amd64
****
sh --version
GNU bash, version 4.4.23(1)-release (x86_64-suse-linux-gnu)https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/378Bug in the task simulation trace in vcd format2023-01-05T14:24:49ZJawher JerrayBug in the task simulation trace in vcd format# Summary
The simulation trace of tasks in the VCD format is sometimes incorrect.
# Example Project
Here an example with 2 tasks T1 and T2, where T1 communicates with T2 throw the channel "ch" and the event "evt".
In attach, the sim...# Summary
The simulation trace of tasks in the VCD format is sometimes incorrect.
# Example Project
Here an example with 2 tasks T1 and T2, where T1 communicates with T2 throw the channel "ch" and the event "evt".
In attach, the simulation trace of the model in the vcd and html formats.
The simulation traces of T1 and T2 in the vcd format are different from those in html format.
[bug-vcd.xml](/uploads/6075849e52cf506cf03c52dd9958a663/bug-vcd.xml)
[trace.vcd](/uploads/3fc50f27893fea95d001383cfa91eb0c/trace.vcd)
[trace.html](/uploads/c262c630688da342e3c42de827b64da8/trace.html)
# What is the current bug behavior?
The simulation traces in the VCD format of the tasks T1 and T2 are wrong.
# What is the expected correct behavior?
The simulation traces in VCD format of tasks T1 and T2 are expected to be similar to txt and html formats.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/375A bug in the graphic format of the simulation trace2022-09-30T05:36:15ZJawher JerrayA bug in the graphic format of the simulation trace# Summary
There is a bug in the graphic format of the simulation trace which does not correspond to the text format.
# Steps to reproduce
We send a virtual event using the command:
avs goTM2 1 8
Then we run the simulation.
# Example ...# Summary
There is a bug in the graphic format of the simulation trace which does not correspond to the text format.
# Steps to reproduce
We send a virtual event using the command:
avs goTM2 1 8
Then we run the simulation.
# Example Project
[trace.xml](/uploads/15e516bd7f589f8d8f76b2da05fac867/trace.xml)
# What is the current bug behavior?
The graphic format of the simulation trace is different from the text format.
For example, in the text format, we see that the reading of T2 in CPU2_1 is done at t= 2, 24, 48 and 72 (correct).
However, in the graphical format, it is shown that this reading is produced at t= 2, 34, 72 and ~92.
# What is the expected correct behavior?
We expect the graphic format of the simulation trace to match with the text format.
# Relevant logs and/or screenshots
[trace.txt](/uploads/301fc164cb0d4357710f649d79c7f971/trace.txt)
![trace](/uploads/b55e4ed27a29e167ade5c717c71ba5a8/trace.png)https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/374ELN diagram capture svg2022-09-19T15:58:55ZDaniela GeniusELN diagram capture svg# Summary
Impossible to generate an svg graphics from ELN diagrams
# Steps to reproduce
tool->capture->current diagram capture (SVG)
# What is the current bug behavior?
message : PDF generation
then : exception triggered
# What i...# Summary
Impossible to generate an svg graphics from ELN diagrams
# Steps to reproduce
tool->capture->current diagram capture (SVG)
# What is the current bug behavior?
message : PDF generation
then : exception triggered
# What is the expected correct behavior?
test.svg should be generated in directory figures; why is .pdf generation attempted ?
# Relevant logs and/or screenshots
PDF generation in /dsk/l1/misc/genius/TTool/bin/../figures/test.svg.pdf
Exception in thread "AWT-EventQueue-0" java.lang.NoClassDefFoundError: org/apache/batik/transcoder/TranscoderInput
at myutilsvg.SVGGeneration.toPdf(SVGGeneration.java:165)
at ui.MainGUI.svgDiagramCapture(MainGUI.java:6071)
at ui.ActionPerformer.actionPerformed(ActionPerformer.java:285)
at ui.MainGUI.actionPerformed(MainGUI.java:9719)
at ui.TGUIAction.actionPerformed(TGUIAction.java:1595)
at javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2022)
at javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2348)
at javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:402)
at javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259)
at javax.swing.AbstractButton.doClick(AbstractButton.java:376)
at javax.swing.plaf.basic.BasicMenuItemUI.doClick(BasicMenuItemUI.java:842)
at javax.swing.plaf.basic.BasicMenuItemUI$Handler.menuDragMouseReleased(BasicMenuItemUI.java:952)
at javax.swing.JMenuItem.fireMenuDragMouseReleased(JMenuItem.java:586)
at javax.swing.JMenuItem.processMenuDragMouseEvent(JMenuItem.java:483)
at javax.swing.JMenuItem.processMouseEvent(JMenuItem.java:429)
at javax.swing.MenuSelectionManager.processMouseEvent(MenuSelectionManager.java:339)
at javax.swing.plaf.basic.BasicPopupMenuUI$MouseGrabber.eventDispatched(BasicPopupMenuUI.java:870)
at java.awt.Toolkit$SelectiveAWTEventListener.eventDispatched(Toolkit.java:2431)
at java.awt.Toolkit$ToolkitEventMulticaster.eventDispatched(Toolkit.java:2323)
at java.awt.Toolkit.notifyAWTEventListeners(Toolkit.java:2281)
at java.awt.Component.dispatchEventImpl(Component.java:4785)
at java.awt.Container.dispatchEventImpl(Container.java:2297)
at java.awt.Component.dispatchEvent(Component.java:4711)
at java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4904)
at java.awt.LightweightDispatcher.processMouseEvent(Container.java:4535)
at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4476)
at java.awt.Container.dispatchEventImpl(Container.java:2283)
at java.awt.Window.dispatchEventImpl(Window.java:2746)
at java.awt.Component.dispatchEvent(Component.java:4711)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:760)
at java.awt.EventQueue.access$500(EventQueue.java:97)
at java.awt.EventQueue$3.run(EventQueue.java:709)
at java.awt.EventQueue$3.run(EventQueue.java:703)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:74)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:84)
at java.awt.EventQueue$4.run(EventQueue.java:733)
at java.awt.EventQueue$4.run(EventQueue.java:731)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(ProtectionDomain.java:74)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:730)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:205)
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)
# Possible fixeshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/373Reset number of samples in a channel with wic command2022-09-09T11:56:08ZJawher JerrayReset number of samples in a channel with wic commandWe can reset the number of samples in a channel using the wic command by putting 0 as # of samples.
We probably could mention this feature in the wic command help.We can reset the number of samples in a channel using the wic command by putting 0 as # of samples.
We probably could mention this feature in the wic command help.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/372Simulator2022-08-29T12:03:07ZDominique BlouinSimulatorHi
I identified a problem using the version of TTool I updated on August 24, 2022 from https://ttool.telecom-paris.fr/preinstall.html
With a toy example (temeprature controller), the simulator unexpectedly stops.
I emailed the xml f...Hi
I identified a problem using the version of TTool I updated on August 24, 2022 from https://ttool.telecom-paris.fr/preinstall.html
With a toy example (temeprature controller), the simulator unexpectedly stops.
I emailed the xml file to Prof. Ludovic Apvrille.
Regards
Pierre de Saqui-Sannes
ISAE-SUPAERO, Toulouse, France<br/> Submitted by external user pdss@isae.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/371Drawing of model diplodocus -> avatar generates errors2022-09-22T07:58:40ZLudovic ApvrilleDrawing of model diplodocus -> avatar generates errorsFor instance, the bug appears on the model sent by ITA.For instance, the bug appears on the model sent by ITA.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/370Adding help for ports of diplodocus component2022-08-04T12:34:41ZLudovic ApvrilleAdding help for ports of diplodocus componentWe have to explain in particular the capacity and width of channelWe have to explain in particular the capacity and width of channelhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/369Simulator crashes when simulation is run with no task2022-07-28T13:23:07ZLudovic ApvrilleSimulator crashes when simulation is run with no taskBut no warning is issued.
From the command line: it does not crash anymore
Fromm TTool: We need to add a warning when checking the syntax of a mapping if no task have been mappedBut no warning is issued.
From the command line: it does not crash anymore
Fromm TTool: We need to add a warning when checking the syntax of a mapping if no task have been mappedhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/368-explo option of the simulator may lead to a false result, or crash, if penal...2022-09-20T09:30:15ZLudovic Apvrille-explo option of the simulator may lead to a false result, or crash, if penalties are enabledDocument has been updated, but a warning should be issued to the userDocument has been updated, but a warning should be issued to the userhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/367ProVerif does not give an error when there are no security properties in the...2023-03-16T15:22:55ZLudovic ApvrilleProVerif does not give an error when there are no security properties in the modelhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/366Reachability graph: info on values when using complex types2022-07-20T12:14:59ZLudovic ApvrilleReachability graph: info on values when using complex typesValues are simply concatenated e.g. 02 when it should be "0,2"Values are simply concatenated e.g. 02 when it should be "0,2"https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/365New avatar safety property: investigate FIFO size2022-07-20T12:11:37ZLudovic ApvrilleNew avatar safety property: investigate FIFO sizeThat would be great if we could use the FIFO size in Avatar safety property, e.g. A<>FIFO.size<10That would be great if we could use the FIFO size in Avatar safety property, e.g. A<>FIFO.size<10https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/364Long guards should be displayed on several lines2023-03-21T08:30:42ZLudovic ApvrilleLong guards should be displayed on several lineshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/363English menus not displayed correctly in a Windows 10 set in chinese2022-05-19T15:54:54ZLudovic ApvrilleEnglish menus not displayed correctly in a Windows 10 set in chinese![image1](/uploads/f562078163d86f570e7575ef5b7ba43c/image1.png)
![image2](/uploads/3da39d38a8154a2bca4b8d83c14294c1/image2.png)![image1](/uploads/f562078163d86f570e7575ef5b7ba43c/image1.png)
![image2](/uploads/3da39d38a8154a2bca4b8d83c14294c1/image2.png)https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/362Isolated avatar states of State Machine diagrams are not detected2022-05-18T14:56:09ZLudovic ApvrilleIsolated avatar states of State Machine diagrams are not detectedA warning should be issuedA warning should be issuedhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/361Avatar-to-proverif generates an unvalid proverif specification because invali...2022-05-02T16:02:52ZLudovic ApvrilleAvatar-to-proverif generates an unvalid proverif specification because invalid guards for proverif are not detectedFor instance, (a==b) != false generates a faulty proverif specificationFor instance, (a==b) != false generates a faulty proverif specificationhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/360INTERFACE2022-03-28T16:45:05ZDominique BlouinINTERFACEBonjour,
je ne trouve pas comment modeliser une interface pour un diagramme sysml sur ttool.
cordialement<br/> Submitted by external user kenzamenad15@gmail.comBonjour,
je ne trouve pas comment modeliser une interface pour un diagramme sysml sur ttool.
cordialement<br/> Submitted by external user kenzamenad15@gmail.com