Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems

Xi Zheng, Christine Julien, Miryung Kim, Sarfraz Khurshid
<span title="">2017</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="" style="color: black;">IEEE Systems Journal</a> </i> &nbsp;
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 cyber-physical
more &raquo; ... ems. 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 cyber-physical systems remains challenging and either dispel or confirm these strongly held beliefs along the way. Specifically, we report on a structured on-line survey of 25 CPS researchers (10 participants classified themselves as CPS developers), semi-structured interviews with 9 practitioners across four continents, and a qualitative literature review. We report these results and discuss several implications for research and practice related to cyber-physical systems.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1109/jsyst.2015.2496293</a> <a target="_blank" rel="external noopener" href="">fatcat:chpll2mi4jfgpm2zy6yr5uw6ku</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> </button> </a>