Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward

@article{Zheng2015VerificationAV,
  title={Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward},
  author={Xi Zheng and Christine Julien},
  journal={2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems},
  year={2015},
  pages={15-18}
}
It is widely held that debugging cyber-physical systems (CPS) is challenging; to date, empirical studies investigating research challenges in CPS verification and validation have not been done. As a result, the exact challenges facing CPS developers in the real world remain at best unquantified and at worst unknown, and the research directions the community should undertake are not clearly identified. In this paper, we review our recent empirical study of real-world CPS developers. This… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…