2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)
In this experience report, we apply the hybrid verification tools iSAT-ODE, Flow*, and S-TaLiRo to a case study consisting of an experimental electro-mechanical braking system. Starting from a Simulink closed-loop model, we describe the derivation of hybrid automaton models for plant and controller and give verifcation results for the different tools.
4 / 2015
SPES_XT Software Platform Embedded Systems 2020_XT