Export

BIB

All authors

Thomas Strathmann and Jens Oehlerking

Booktitle

2nd Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2015)

Abstract

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.

Publishing date

4 / 2015

Type of Publication

inproceedings

Projects

SPES_XT
Software Platform Embedded Systems 2020_XT(sorry - only available in German)

Url

http://cps-vo.org/group/ARCH/ExperienceReports