Modeling a Cyber Physical System with Uppaal

[@jhonatanjesusacunahuisacay2054]

this is the first video where I could understand very well uppal tool, thanks

[@StormWolf01]

Great video. Uppaal is not so complex, but there is so little information, and pretty much no tutorial at all. That makes it very hard to understand. That vid really helped a lot.

[@Pahl]

Thanks for your kind feedback. I am happy that the video helped you!

[@yasir9909]

Kindly also make video tutorials on checking deadlock and commands for checking other parameters of the model. Overall, it is a good introductory-level tutorial...

[@faryedeltayesh3352]

This was very helpful. Thank you!

[@Pahl]

Thanks for your feedback! I am happy that I could help.

[@ibtehaj95]

I'd like to make a comment here about the implementation of this model. Isn't the channel "o" a little useless, since r and t are global variables anyway? The whole idea of a channel is to sync multiple systems, and using this channel the individual systems update their local variables. Am I reading this right?

[@Nguyenthao-oj9ku]

I am a beginner in using this tool, too. I really want to use Uppaal model checker for distributed system, but it is really challenging task. If you have any good tutorial please share with me.

[@Pahl]

Hi, I would recommend you those documents: - UPPAAL Team. "UPPAAL 4.0: Small tutorial, November 2009."URL www.it.uu.se/research/group/darts/uppaal/small_tutorial.pdf - "Hinweise zur Arbeit mit UPPAAL," st.inf.tu-dresden.de/files/teaching/ws10/SEW/Hinweise.pdf Good luck and enjoy!

[@shreyaskorde6158]

Thankyou So much🤗

[@zamriyusof7511]

Hi PahIDE, can i have have soft copy for this model?

[@Pahl]

Hi, sure. Sorry that it took me so long to provide it: s2o.net.in.tum.de/?site=2016-09_HLF-CPS

[@faryedeltayesh3352]

Hi there I started implementing my project in UPPAAL and I am facing a repetitive error that says "Guard must be side-effect free". Do you know the source of this problem and any tips to avoid it.

[@Pahl]

It could be that you do a variable assignment in your guard. You may download my project file from the website linked above and compare what works. From that you may infer what the problem could be. Good luck!

[@faryedeltayesh3352]

Thank you!