Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion (QEST 2017)
We provide the spatio-temporal evolution of TSTL properties related with the case studies presented in the paper.
Case study: Defining safety zones
High risk zones
Safe zones without control
Safe zones with control
Case study: Emergency evacuation route
Safe exit (r=2.0)
Safe exit (r=4.0)
Fire spread
We present the MELA models we used to perform stochastic simulations.
Case study: Defining safety zones
MELA model without control
MELA model with control
Case study: Emergency evacuation route
MELA model safe exit
jSSTL is a Java tool for the specification and verification of Signal Spatio-Temporal Logic SSTL.