TTool issueshttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues2024-01-25T11:16:38Zhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/398Bug in guard with else2024-01-25T11:16:38ZJawher JerrayBug in guard with else# Summary
The syntax checker does not detect incorrect use of "else" guard and returns an exception when a state has a single next with an "else" in the guard of the transition.
# Example Project
In attach 3 Avatar examples where the ...# Summary
The syntax checker does not detect incorrect use of "else" guard and returns an exception when a state has a single next with an "else" in the guard of the transition.
# Example Project
In attach 3 Avatar examples where the Else guard is used incorrectly.
[bug-guardElse-in-avatar.xml](/uploads/c167b5fe269acbb665c61c5fa837576b/bug-guardElse-in-avatar.xml)
# What is the current bug behavior?
(What actually happens)
In the first avatar design, it returns an exception 'NullPointerException'.
For the second model, the syntax analysis is successful however there are two transitions with an "else" in guard.
For the third model, the syntax analysis is successful however an element that has a single next with an "else" in the guard of the transition.
# What is the expected correct behavior?
The syntax checker is expected to return an error for all 3 examples.
# Possible fixes
I created a branch called "fix-avatar-guardElse" that solve this bug, where the "else" guard is allowed to be used at most once and only for states/operators that have more than one next element.https://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/389Question about properties in requirements diagrams2023-10-06T15:45:23ZDominique BlouinQuestion about properties in requirements diagramsHello
I'm not sure how to use the property blocks in TTool, do you have any resources available that explain how to use it correctly?
I'm already familiar with the requirements themselves, but not how the properties relate to them.
Be...Hello
I'm not sure how to use the property blocks in TTool, do you have any resources available that explain how to use it correctly?
I'm already familiar with the requirements themselves, but not how the properties relate to them.
Best regards
Maisa<br/> Submitted by external user maisa.cietto@usp.brhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/387Certification requirement type2023-09-18T12:31:53ZDominique BlouinCertification requirement typeBonjour!
My name is Maisa and I'm using TTool to model certification requirements for an aircraft system.
However, TTool doesn't provide this requirement type.
It would be very nice to have this type available, if possible.
Cordially,...Bonjour!
My name is Maisa and I'm using TTool to model certification requirements for an aircraft system.
However, TTool doesn't provide this requirement type.
It would be very nice to have this type available, if possible.
Cordially,
Maisa Cietto<br/> Submitted by external user maisa.cietto@usp.brhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/385Remove errors messages printed in the console by IBSStdParser2023-06-20T09:17:50ZLudovic ApvrilleRemove errors messages printed in the console by IBSStdParserExample of message to be removed:
Syntax error
instead expected token classes are [MINUS, NOT, LPAR, INT, BOOL]
Couldn't repair and continue parseExample of message to be removed:
Syntax error
instead expected token classes are [MINUS, NOT, LPAR, INT, BOOL]
Couldn't repair and continue parseSophie CoudertSophie Couderthttps://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/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/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/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/258Constructions SysML prises en compte en simulation et pas en vérification2022-03-09T10:05:39ZDominique BlouinConstructions SysML prises en compte en simulation et pas en vérificationBonjour,
Les probabilités sur les transitions de machines à états sont prises en compte par la simulateur, pas par le model checker.
Le non prise en compte du temps dans la recherche d'invariants est un autre exemple de construction de...Bonjour,
Les probabilités sur les transitions de machines à états sont prises en compte par la simulateur, pas par le model checker.
Le non prise en compte du temps dans la recherche d'invariants est un autre exemple de construction de langage non supportée par le model checker.
Est-il possible de communiquer sur le site TTool au sujet de ce restriction?
Cordialement
Pierre de Saqui-Sannes, ISAE-SUPAERO, Toulouse <br/> Submitted by external user pdss@isae-supaero.frhttps://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/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/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/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/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/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/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/329Modification matrices de dépendance2021-09-21T09:46:07ZDominique BlouinModification matrices de dépendanceBonjour,
Suite aux échanges avec le Prof. Apvrille, j'ouvre ce ticket concernant la modification et la mise à jour des matrices de dépendance en fonction des modifications effectuées dans les diagrammes référencés dans la matrice consid...Bonjour,
Suite aux échanges avec le Prof. Apvrille, j'ouvre ce ticket concernant la modification et la mise à jour des matrices de dépendance en fonction des modifications effectuées dans les diagrammes référencés dans la matrice considérée.
Solution discutée : proposer un import d'une matrice dans une autre. Cela veut dire que les matrices sont toujours figées, mais on peut en recréer une autre avec les nouveaux composants, et pouvoir importer les dépendances d'une autre matrice, éventuellement en proposant un mapping des noms (par exemple, dire à TTool que "Req0" se mappe sur "Req1", c'est à dire qu'il y a eu ce renommage). Cette solution a pour avantage d'imposer un lock, et donc de figer, tout en gardant la possibilité de créer une nouvelle matrice mise à jour grâce à l'import.
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/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.frhttps://gitlab.telecom-paris.fr/mbe-tools/TTool/-/issues/330Ajout option "set main color"2021-08-23T16:00:58ZDominique BlouinAjout option "set main color"Bonjour,
Serait-il possible d'activer l'option 'Set main color' sur les composants suivants svp ?
- Dans tous les diagrammes : les composants "Comment".
- Dans un diagramme des exigences : les composants "Requirement" (pouvoir choisir...Bonjour,
Serait-il possible d'activer l'option 'Set main color' sur les composants suivants svp ?
- Dans tous les diagrammes : les composants "Comment".
- Dans un diagramme des exigences : les composants "Requirement" (pouvoir choisir une couleur de fond à la place de la couleur moutarde par défaut pour les exigences).
- Dans un diagramme de contexte : les flèches "Association arrow" (demande d'Ombeline Aïello pour son métamodèle).
- Dans un diagramme d'activité : le texte tapé dans les "Guard" des composants "Choice".
- Dans un diagramme de machine à état : les composants "Send signal" et "Receive signal" (option déjà activée dans un diagramme d'activité pour ces même composants).
Je vous remercie d'avance,
Bien cordialement,
Eric Razafimahazo,
ISAE-SUPAERO Toulouse France
<br/> Submitted by external user eric.razafimahazo@isae-supaero.fr