Verification and validation in cyber physical systems

research challenges and a way forward

Xi Zheng, Christine Julien

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

28 Citations (Scopus)

Abstract

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 position paper then uses the findings from this study to highlight the discovered key challenges and to present a research trajectory to address these challenges.
Original languageEnglish
Title of host publicationProceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015
Place of PublicationLos Alamitos, California
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages15-18
Number of pages4
ISBN (Electronic)9781467370882
DOIs
Publication statusPublished - 2015
Externally publishedYes
EventInternational Workshop on Software Engineering for Smart Cyber-Physical Systems - Florence, Italy
Duration: 17 May 201517 May 2015

Conference

ConferenceInternational Workshop on Software Engineering for Smart Cyber-Physical Systems
Abbreviated titleSEsCPS 2015
CountryItaly
CityFlorence
Period17/05/1517/05/15

Keywords

  • cyber physical systems
  • Empirical study
  • formal methods
  • runtime verification
  • simulation
  • testing
  • verification and validation

Fingerprint Dive into the research topics of 'Verification and validation in cyber physical systems: research challenges and a way forward'. Together they form a unique fingerprint.

Cite this