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.
[wpdm_package id=’125′]