Using S-TaLiRo on Industrial Size Automotive Models

7 pages•Published: December 17, 2015

Bardh Hoxha, Houssam Abbas and Georgios Fainekos

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.

Links:	https://easychair.org/publications/paper/r8gZ
	https://doi.org/10.29007/kwp3

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 PDF Open PDF in browser