Verifying Properties of an Electro-Mechanical Braking System
Thomas Strathmann, Jens Oehlerking · EPiC series in computing · 2018
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.