Statistical Model Checking for Stochastic Hybrid Systems
This work addresses verification challenges for complex systems like biological networks and smart buildings, but it appears incremental as it builds on existing UPPAAL-SMC tools.
The paper tackles the problem of verifying stochastic hybrid systems by extending the UPPAAL-SMC model checker with a race-based stochastic semantics, and it demonstrates applications in systems biology and energy-aware buildings.
This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique applied for implementing this semantics in the UPPAAL-SMC simulation engine. We report on two applications of the resulting tool-set coming from systems biology and energy aware buildings.