Research prototyping with UPPAAL

Eunkyoung, Jee in SELab has presented SOS simulation with UPPAAL in RED&B workshop on Aug 12, 2015.

Its contents was below.

1. MCI Scenario modeling
2. Modeling specification in UPPAAL
2.1. Patient model
2.2. EmergencyCenter model
2.3. Participant model
3. Simulation
4. Case of model checking verification
5. Summary for experience of UPPAAL-SMC

This video shows the modeling simulation in UPPAAL.