Verifying Properties of an Electro-Mechanical Braking System
| Autor: | Thomas Strathmann, Jens Oehlerking |
|---|---|
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | ARCH@CPSWeek |
| ISSN: | 2398-7340 |
| DOI: | 10.29007/x87p |
| Popis: | In this experience report, we apply the hybrid verification toolsiSAT-ODE, Flow*, and S-TaLiRo to a case study consisting of an experimentalelectro-mechanical braking system. Starting from a Simulink closed-loopmodel, we describe the derivation of hybrid automaton models for plantand controller and give verifcation results for the different tools. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|