Download PDFOpen PDF in browser

Progress on Powertrain Verification Challenge with C2E2

6 pagesPublished: December 17, 2015

Abstract

In this paper, we present the progress we have made in verifying the benchmark powertrain control systems introduced in the last ARCH workshop. We implemented the algorithm for computing local discrepancy (rate of convergence or divergence of trajectories) reported in the hybrid system verification tool C2E2. We created Stateflow translations of the original models to aid the processing using C2E2 tool. We also had to encode the different driver behaviors in the form of state machines. With these customizations, we have been successful in verifying one of the easier (but still challenging) benchmarks from the powertrain suite. In this paper, we present some of the engineering challenges and describe the artifacts we created in the process.

Keyphrases: Automotive, C2E2, control, Discrepancy Functions, hybrid systems, Industrial, Powertrain control, safety, simulation, Simulink, Stateflow, tools, 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 207--212

Links:
BibTeX entry
@inproceedings{ARCH15:Progress_on_Powertrain_Verification,
  author    = {Chuchu Fan and Parasara Sridhar Duggirala and Sayan Mitra and Mahesh Viswanathan},
  title     = {Progress on Powertrain Verification Challenge with C2E2},
  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},
  pages     = {207--212},
  year      = {2015},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/LS},
  doi       = {10.29007/1kq2}}
Download PDFOpen PDF in browser