Verifying Properties of an Electro-Mechanical Braking System

Thomas Strathmann and Jens Oehlerking
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
Software Platform Embedded Systems 2020_XT