Perceptions on the state of the art in verification and validation in cyber-physical systems

Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid

Research output: Contribution to journalArticle

20 Citations (Scopus)

Abstract

It is widely held that debugging cyber-physical systems (CPS) is challenging; many strongly held beliefs exist regarding how CPS are currently debugged and tested and the suitability of various techniques. For instance, dissenting opinions exist as to whether formal methods (including static analysis, theorem proving, and model checking) are appropriate in CPS verification and validation. Simulation tools and simulation-based testing are also often considered insufficient for CPS. Many “experts” posit that high-level programming languages (e.g., Java or C#) are not applicable to CPS due to their inability to address (significant) resource constraints at a high level of abstraction. To date, empirical studies investigating these questions have not been done. In this paper, we qualitatively and quantitatively analyze why debugging CPS remains challenging and either dispel or confirm these strongly held beliefs along the way. Specifically, we report on a structured online survey of 25 CPS researchers (10 participants classified themselves as CPS developers), semistructured interviews with nine practitioners across four continents, and a qualitative literature review. We report these results and discuss several implications for research and practice related to CPS.
Original languageEnglish
Pages (from-to)2614-2627
Number of pages14
JournalIEEE Systems Journal
Volume11
Issue number4
DOIs
Publication statusPublished - Dec 2017
Externally publishedYes

Keywords

  • computational modeling
  • computer simulation
  • formal specifications
  • formal verification
  • networked control systems
  • software engineering
  • software testing
  • Software testing
  • Networked control systems
  • Computational modeling
  • Computer simulation
  • Formal specifications
  • Formal verification
  • Software engineering

Fingerprint Dive into the research topics of 'Perceptions on the state of the art in verification and validation in cyber-physical systems'. Together they form a unique fingerprint.

  • Cite this