Download PDFOpen PDF in browser

Verifying Properties of an Electro-Mechanical Braking System

8 pagesPublished: December 17, 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.

Keyphrases: experience report, falsification, iSAT-ODE, Flow*, safety, S-Taliro, verification, Industrial, benchmark

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

Download PDFOpen PDF in browser