TTool issueshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues2022-03-24T12:23:53Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/357Creating a new method leads in having only assumptions2022-03-24T12:23:53ZLudovic ApvrilleCreating a new method leads in having only assumptionsBug with new Diplo method, now avatar method, etc.Bug with new Diplo method, now avatar method, etc.Ludovic ApvrilleLudovic Apvrillehttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/356When adding components, connectors my be hidden2022-02-23T18:10:30ZLudovic ApvrilleWhen adding components, connectors my be hiddenhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/355ProVerif fails on a large model (provided by a user)2022-02-23T17:57:28ZLudovic ApvrilleProVerif fails on a large model (provided by a user)Seems to be due:
- to guards
- to int expression with "/"Seems to be due:
- to guards
- to int expression with "/"https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/354Requirements deriveReqt links not displayed correctly when adding intermediat...2022-01-20T10:10:10ZLudovic ApvrilleRequirements deriveReqt links not displayed correctly when adding intermediate pointshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/353Suggestion: remove guard for branches with no follower2022-01-21T17:10:12ZLudovic ApvrilleSuggestion: remove guard for branches with no followerThis may apply to all activity diagramsThis may apply to all activity diagramshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/352Signal sending or receving with no follower does not result in an error durin...2022-01-25T12:54:00ZLudovic ApvrilleSignal sending or receving with no follower does not result in an error during syntax checkingThis concerns state machine diagramsThis concerns state machine diagramshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/350EXECC not taken into account2022-02-25T13:22:55ZLudovic ApvrilleEXECC not taken into accountEXECC configuration is not taken into account in the enclosed model.
[Test2.xml](/uploads/2b00626980b8c8f6f064dcc09cc6da4e/Test2.xml)EXECC configuration is not taken into account in the enclosed model.
[Test2.xml](/uploads/2b00626980b8c8f6f064dcc09cc6da4e/Test2.xml)https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/349Ignoring time operators checkbox of the syntax checking dialog window is ambi...2022-03-09T10:31:36ZLudovic ApvrilleIgnoring time operators checkbox of the syntax checking dialog window is ambiguousIndeed, this removes only the after clauses of the initial model. Either the checkbox must be renamed, or timers must also be taken into account.Indeed, this removes only the after clauses of the initial model. Either the checkbox must be renamed, or timers must also be taken into account.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/348Font size2022-02-24T10:50:31ZDominique BlouinFont sizeHello,
we have noticed that the font size does not increase when zooming in the DataType within a block diagram.
Can you fix this issue please ?
Thank you in advance and have a nice day. <br/> Submitted by external user ombeline.aiell...Hello,
we have noticed that the font size does not increase when zooming in the DataType within a block diagram.
Can you fix this issue please ?
Thank you in advance and have a nice day. <br/> Submitted by external user ombeline.aiello@isae-supaero.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/346Code generation in Windows2021-11-19T10:37:10ZDominique BlouinCode generation in WindowsHello,
My name is Maisa, intern at ISAE-SUPAERO, and I'm having problems with using the code generation and execution in TTool in Windows.
Based on the Microwave Oven example, I created a GUI for a gas pump during the last part of my ...Hello,
My name is Maisa, intern at ISAE-SUPAERO, and I'm having problems with using the code generation and execution in TTool in Windows.
Based on the Microwave Oven example, I created a GUI for a gas pump during the last part of my internship using my computer at SUPAERO (Linux). I'm at the end of my internship now but I can't get the GUI to work on my personal computer (Windows). I have this error, even though I have MinGW installed:
"Error executing command make -C ../executablecode/ with return code -1.
Cannot run program "make": CreateProcess error=2, The system cannot find the file specified"
I'd like to keep using this functionality of TTool even after my internship, specifically to try to connect TTool to a 3D simulation software (like Unity) also via web services. I think this can produce more detailed and realistic graphics. Can you help me find out where this error comes from?
Thank you for your help!
Maisa<br/> Submitted by external user maisa.cietto@gmail.comhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/342Add action button in transition window is not clear2021-11-03T09:11:48ZLudovic ApvrilleAdd action button in transition window is not clearand it is not in the vidéo ...and it is not in the vidéo ...https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/341Guards in AVATAR are no considered empty is extra spaces are provided within ...2021-11-03T09:12:35ZLudovic ApvrilleGuards in AVATAR are no considered empty is extra spaces are provided within the bracketshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/340Issue on expressions evaluation in AVATAR state machines guards2021-10-22T07:51:40ZBastien SultanIssue on expressions evaluation in AVATAR state machines guardsHello,
We face the following bug: when a comparison is performed within an AVATAR state machine guard (e.g., (a-b) < 42) and when the **first** term of the evaluated formula is an expression (e.g., a-b), the formula is always evaluated ...Hello,
We face the following bug: when a comparison is performed within an AVATAR state machine guard (e.g., (a-b) < 42) and when the **first** term of the evaluated formula is an expression (e.g., a-b), the formula is always evaluated to true (in simulation and in formal verification).
However, when the **second** term of the formula is an expression (i.e., if the guard evaluates 42 > (a-b) instead of (a-b) < 42), then the evaluation is correct.
I join a simple AVATAR model illustrating this issue.
Cheers,
Bastien
[bugAVATARGuards.xml](/uploads/f24d01593ec6037faa2c050efec2f378/bugAVATARGuards.xml)https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/338Sequence Diagram / Save library2022-02-24T11:02:34ZDominique BlouinSequence Diagram / Save libraryHello,
I saved a sequence diagram as a library.
I uploaded that library: only a small part of the original diagram has appeared on the screen.
Best regards
Pierre de Saqui-Sannes, ISAE-SUPAERO, Toulouse, France<br/> Submitted by exter...Hello,
I saved a sequence diagram as a library.
I uploaded that library: only a small part of the original diagram has appeared on the screen.
Best 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/337Diagramme de méthodologie2021-09-01T15:23:45ZDominique BlouinDiagramme de méthodologieBonjour,
Serait-il possible de renommer les composants d'un diagramme de méthodologie svp ?
Je vous remercie d'avance,
Bien cordialement,
Eric Razafimahazo,
ISAE-SUPAERO Toulouse France<br/> Submitted by external user eric.razafimaha...Bonjour,
Serait-il possible de renommer les composants d'un diagramme de méthodologie svp ?
Je vous remercie d'avance,
Bien cordialement,
Eric Razafimahazo,
ISAE-SUPAERO Toulouse France<br/> Submitted by external user eric.razafimahazo@isae-supaero.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/336"File Error: permission non accordée" in MicrowaveOven example2021-08-27T14:51:41ZDominique Blouin"File Error: permission non accordée" in MicrowaveOven exampleGood morning,
My name is Maisa Cietto, I use TTool in my internship at SUPAERO, with Prof. de Saqui-Sannes.
While generating the code for the Microwave Oven example available on TTool's website, I always encounter this error:
Select op...Good morning,
My name is Maisa Cietto, I use TTool in my internship at SUPAERO, with Prof. de Saqui-Sannes.
While generating the code for the Microwave Oven example available on TTool's website, I always encounter this error:
Select options and then, click on 'start' to launch code generation / compilation / execution
Generating executable code (C-POSIX version)
Removing all .h files
No files were deleted
Removing all .c files
No files were deleted
Removing all .x files
No files were deleted
Generation of C-POSIX executable code: done
Saving code in files
Could not generate files <---
A small pop-up window also comes up, saying "File Error: permission non accordée". I already have gcc and GNU make installed, as instructed in the "Code generation from Avatar Design Diagrams in TTool" tutorial.
Do you know the origin of this error and what I should do to fix it?
Best regards,
Maisa<br/> Submitted by external user Maisa.CIETTO@isae-supaero.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/334Sequence Diagram / Alt2021-09-06T06:04:43ZDominique BlouinSequence Diagram / AltHello,
My sequence diagrams commonly use timers.
I would be grateful if you would add the "alt" parallel operator.
I do need it to distinguish between two or more behaviors that depend on users's time response.
Thanks in anticipation
...Hello,
My sequence diagrams commonly use timers.
I would be grateful if you would add the "alt" parallel operator.
I do need it to distinguish between two or more behaviors that depend on users's time response.
Thanks in anticipation
Pierre de Saqui-Sannes and Maisa Cietto
ISAE-SUPAERO, Toulouse, France<br/> Submitted by external user pdss@isae.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/333Modifications sur les "UUID"2021-07-16T15:11:49ZDominique BlouinModifications sur les "UUID"Bonjour,
Serait-il possible d'implémenter les modifications suivantes comme discuté avec le Prof. Apvrille :
- Afficher le "UUID" des composants, soit en pointant le curseur sur le composant en question et le numéro s'affiche en desso...Bonjour,
Serait-il possible d'implémenter les modifications suivantes comme discuté avec le Prof. Apvrille :
- Afficher le "UUID" des composants, soit en pointant le curseur sur le composant en question et le numéro s'affiche en dessous ; soit en appuyant sur un bouton permettant de les afficher, comme ce qui est actuellement le cas dans un diagramme de machine à état (bouton "Show/Hide AVATAR IDs).
- Des composants dupliqués ont le même "UUID" même après renommage.
Je vous remercie d'avance,
Bien cordialement,
Eric Razafimahazo,
ISAE-SUPAERO Toulouse France
<br/> Submitted by external user eric.razafimahazo@isae-supaero.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/332Modifications des composants "Block" - Diagramme de contexte et diagramme de ...2021-08-13T15:59:17ZDominique BlouinModifications des composants "Block" - Diagramme de contexte et diagramme de blocBonjour,
Serait-il possible d'ajouter plus de ports de connexion, et la possibilité de faire plusieurs connexions sur un même port pour les composants "Block" dans un diagramme de contexte, et un diagramme de bloc s'il vous plaît ?
Je ...Bonjour,
Serait-il possible d'ajouter plus de ports de connexion, et la possibilité de faire plusieurs connexions sur un même port pour les composants "Block" dans un diagramme de contexte, et un diagramme de bloc s'il vous plaît ?
Je vous remercie d'avance,
Bien cordialement,
Eric Razafimahazo,
ISAE-SUPAERO Toulouse France
<br/> Submitted by external user eric.razafimahazo@isae-supaero.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/331Modifications dans un diagramme d'activité2021-08-23T16:23:41ZDominique BlouinModifications dans un diagramme d'activitéBonjour,
Serait-il possible d'implémenter les modifications suivantes dans un diagramme d'activité svp ?
- Redimensionner les composants "Choice" pour que cela ne prenne pas beaucoup de place (même taille que les composants "Junction"...Bonjour,
Serait-il possible d'implémenter les modifications suivantes dans un diagramme d'activité svp ?
- Redimensionner les composants "Choice" pour que cela ne prenne pas beaucoup de place (même taille que les composants "Junction" par exemple).
- Permettre plus de déplacement des "Guard" des composants "Choice" (pour éviter que les textes ne se superposent).
Je vous remercie d'avance,
Bien cordialement,
Eric Razafimahazo,
ISAE-SUPAERO Toulouse France<br/> Submitted by external user eric.razafimahazo@isae-supaero.fr