kirancodes.me
To Proof Maintenance & Beyond!
ICSE 2018

Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge

Shafiul Azam Chowdhury, Soumik Mohian, Sidharth Mehra, Siddhant Gawsane, Taylor T. Johnson, Christoph Csallner

PDFDOI 10.1145/3180155.3180231dblp

Abstract

Cyber-physical system (CPS) development tool chains are widely used in the design, simulation, and verification of CPS data-flow models. Commercial CPS tool chains such as MathWorks' Simulink generate artifacts such as code binaries that are widely deployed in embedded systems. Hardening such tool chains by testing is crucial since formally verifying them is currently infeasible. Existing differential testing frameworks such as CyFuzz can not generate models rich in language features, partly because these tool chains do not leverage the available informal Simulink specifications. Furthermore, no study of existing Simulink models is available, which could guide CyFuzz to generate realistic models.

BibTeX
@inproceedings{Chowdhury-al:ICSE18,
  author    = {Shafiul Azam Chowdhury and
               Soumik Mohian and
               Sidharth Mehra and
               Siddhant Gawsane and
               Taylor T. Johnson and
               Christoph Csallner},
  title     = {Automatically finding bugs in a commercial cyber-physical system development tool chain with {SLforge}},
  booktitle = {ICSE},
  pages     = {981--992},
  publisher = {{ACM}},
  year      = {2018},
}

Related papers