Download PDFOpen PDF in browserVerifying Properties of an Electro-Mechanical Braking System8 pages•Published: December 17, 2015AbstractIn this experience report, we apply the hybrid verification toolsiSAT-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. Keyphrases: benchmark, experience report, falsification, Flow*, Industrial, iSAT-ODE, S-Taliro, safety, verification In: Goran Frehse and Matthias Althoff (editors). ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, vol 34, pages 49--56
|