Issues · mbe-tools / TTool · GitLab

Model-checking from zigbee application suprisingly long

#359 · created Mar 24, 2022 by Ludovic Apvrille DIPLODOCUS
- 0
updated Mar 24, 2022
More than three next in choices (diplodocus AD, analysis AD)

#347 · created Nov 16, 2021 by Ludovic Apvrille DIPLODOCUS
- 0
updated Nov 19, 2021
"__" Should be a reserved pragma in identifier

#294 · created Feb 25, 2021 by Ludovic Apvrille AVATAR DIPLODOCUS
- 1
updated Feb 25, 2021
Adding pragma for application period

#226 · created Oct 16, 2019 by Emna Gharbi DIPLODOCUS
- 2
updated Feb 28, 2020
NoC: allow to enter the size of one flit

#206 · created Jul 05, 2019 by Ludovic Apvrille DIPLODOCUS
- 0
updated Jul 05, 2019
Ensure that a key is not mapped more than one time in a mem with the same identifier

#205 · created Jun 12, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS Formal verification
- 0
updated Jan 14, 2021
Missing information on EXECI / EXECC transactions in SD generated from Diplodocus simulations

#184 · created Feb 26, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS Simulator
- 0
updated Feb 26, 2019
Help for HW node parameters in DIPLODOCUS

#183 · created Feb 25, 2019 by Ludovic Apvrille AQUAS DIPLODOCUS
- 3
updated Jan 20, 2021
Bug in Diplodocus simulator when displaying simulation traces

#166 · created Nov 14, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS GUI Simulator
- 0
updated Nov 14, 2018
Confidentiality generation for an origin fork channel fails

#147 · created Jul 18, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS SysML-Sec
- 3
updated Feb 08, 2021
Adding a deadline to requests

#129 · created May 17, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS
- 0
updated May 17, 2018
Improvements on DIPLODOCUS Communication Patterns

#128 · created May 16, 2018 by Ludovic Apvrille AQUAS DIPLODOCUS GUI
- 0
updated May 16, 2018
Show a reachability scenario when a state is reachable

#84 · created Oct 17, 2017 by Ludovic Apvrille AQUAS AVATAR DIPLODOCUS
- 1
updated Jan 19, 2021
Forbidden identifiers

#78 · created Oct 09, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 1
updated Oct 18, 2019
Allow to be able to disable action nodes in an activity diagram

#69 · created Sep 13, 2017 by Dominique Blouin AQUAS DIPLODOCUS To be re-tested
- 2
updated Aug 23, 2018
Model refactoring

#52 · created Jun 14, 2017 by Ludovic Apvrille AVATAR DIPLODOCUS GUI
- 0
updated Jan 13, 2018
Adding Fork/Join for DIPLODOCUS functional models

#15 · created Dec 16, 2016 by Ludovic Apvrille DIPLODOCUS
- 3
updated Jul 16, 2020
Enhance behaviour of firewall

#8 · created Nov 02, 2016 by Ludovic Apvrille DIPLODOCUS
- 3
updated Feb 20, 2019