Motor-Transmission Drive System: a Benchmark Example for Safety Verification

10 pages•Published: December 17, 2015

Hongxu Chen, Sayan Mitra and Guangyu Tian

Abstract

This paper introduces the Motor-Transmission Drive System as a benchmark example for the safety analysis of hybrid systems.
In particular, we illustrate the problem of checking the gear meshing duration and the impact impulse (both of which we refer to as safety) of the Motor-Transmission Drive System.
We aim to provide a complete problem description to which different verification tools or approaches for safety analysis can be applied and compared.
For this reason, we first elaborate on a hybrid automaton (HA) model of the Motor-Transmission Drive System to describe the gear meshing process with uncertain initial states, and then we specify the safety property of interest.
Next, we clarify the characteristic phenomena exhibited by the benchmark which make the verification problem hard to solve.
Finally, we show some simulation results to illustrate the influences of the initial states on the safety property.
This benchmark example can help the researchers and engineers to find appropriate methods for safety verification of this kind of hybrid system.

Keyphrases: automotive, benchmark, safety, simulink, stateflow, verification

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 9-18.

Links:	https://easychair.org/publications/paper/cwl
	https://doi.org/10.29007/ct87

BibTeX entry

@inproceedings{ARCH15:Motor_Transmission_Drive_System,
  author    = {Hongxu Chen and Sayan Mitra and Guangyu Tian},
  title     = {Motor-Transmission Drive System: a Benchmark Example for Safety Verification},
  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/cwl},
  doi       = {10.29007/ct87},
  pages     = {9-18},
  year      = {2015}}

Download PDF Open PDF in browser