A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit <a rel="external noopener" href="http://mpc.ece.utexas.edu/media/uploads/publishing/CPS_Survey_IEEE_2014.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
<span title="">2017</span>
<i title="Institute of Electrical and Electronics Engineers (IEEE)">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hgg5pl76svbjtlbsafmrhnm24i" style="color: black;">IEEE Systems Journal</a>
</i>
Preserved Fulltext
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
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jsyst.2015.2496293">doi:10.1109/jsyst.2015.2496293</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/chpll2mi4jfgpm2zy6yr5uw6ku">fatcat:chpll2mi4jfgpm2zy6yr5uw6ku</a>
</span>
more »
... 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.
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830011309/http://mpc.ece.utexas.edu/media/uploads/publishing/CPS_Survey_IEEE_2014.pdf" 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="https://blobs.fatcat.wiki/thumbnail/pdf/4b/a6/4ba65c6f6510f3979601cc4f3443378b3084df66.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jsyst.2015.2496293">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
ieee.com
</button>
</a>