Download PDFOpen PDF in browser

Using S-TaLiRo on Industrial Size Automotive Models

7 pagesPublished: December 17, 2015

Abstract

In Model Based Development (MBD) of embedded systems, it is often desirable to verify or falsify certain formal specifications. In some cases it is also desirable to find the range of specification parameters for which the specification does not hold on the system. We illustrate these methods on a challenge problem from the automotive industry on a high-fidelity, industrial scale engine model.

Keyphrases: automotive, industrial, matlab, s taliro, tools

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 113-119.

BibTeX entry
@inproceedings{ARCH15:Using_S_TaLiRo_Industrial,
  author    = {Bardh Hoxha and Houssam Abbas and Georgios Fainekos},
  title     = {Using S-TaLiRo on Industrial Size Automotive Models},
  booktitle = {ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems},
  editor    = {Goran Frehse and Matthias Althoff},
  series    = {EPiC Series in Computing},
  volume    = {34},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/r8gZ},
  doi       = {10.29007/kwp3},
  pages     = {113-119},
  year      = {2015}}
Download PDFOpen PDF in browser