Verification and validation in cyber physical systems: research challenges and a way forward

Xi Zheng; Christine Julien

doi:10.1109/SEsCPS.2015.11

Verification and validation in cyber physical systems: research challenges and a way forward

Xi Zheng, Christine Julien

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

39 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 language	English
Title of host publication	Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015
Place of Publication	Los Alamitos, California
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	15-18
Number of pages	4
ISBN (Electronic)	9781467370882
DOIs	https://doi.org/10.1109/SEsCPS.2015.11
Publication status	Published - 2015
Externally published	Yes
Event	International Workshop on Software Engineering for Smart Cyber-Physical Systems - Florence, Italy Duration: 17 May 2015 → 17 May 2015

Conference

Conference	International Workshop on Software Engineering for Smart Cyber-Physical Systems
Abbreviated title	SEsCPS 2015
Country/Territory	Italy
City	Florence
Period	17/05/15 → 17/05/15

Keywords

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

Access to Document

10.1109/SEsCPS.2015.11

Cite this

@inproceedings{be03e28f3e1e4e83bc257b7aeb243d2a,

title = "Verification and validation in cyber physical systems: research challenges and a way forward",

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.",

keywords = "cyber physical systems, Empirical study, formal methods, runtime verification, simulation, testing, verification and validation",

author = "Xi Zheng and Christine Julien",

year = "2015",

doi = "10.1109/SEsCPS.2015.11",

language = "English",

pages = "15--18",

booktitle = "Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "International Workshop on Software Engineering for Smart Cyber-Physical Systems , SEsCPS 2015 ; Conference date: 17-05-2015 Through 17-05-2015",

}

Zheng, X & Julien, C 2015, Verification and validation in cyber physical systems: research challenges and a way forward. in Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Institute of Electrical and Electronics Engineers (IEEE), Los Alamitos, California, pp. 15-18, International Workshop on Software Engineering for Smart Cyber-Physical Systems , Florence, Italy, 17/05/15. https://doi.org/10.1109/SEsCPS.2015.11

Verification and validation in cyber physical systems : research challenges and a way forward. / Zheng, Xi; Julien, Christine.

Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015. Los Alamitos, California : Institute of Electrical and Electronics Engineers (IEEE), 2015. p. 15-18.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - Verification and validation in cyber physical systems

T2 - International Workshop on Software Engineering for Smart Cyber-Physical Systems

AU - Zheng, Xi

AU - Julien, Christine

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - cyber physical systems

KW - Empirical study

KW - formal methods

KW - runtime verification

KW - simulation

KW - testing

KW - verification and validation

UR - http://www.scopus.com/inward/record.url?scp=84946222990&partnerID=8YFLogxK

U2 - 10.1109/SEsCPS.2015.11

DO - 10.1109/SEsCPS.2015.11

M3 - Conference proceeding contribution

SP - 15

EP - 18

BT - Proceedings - International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Los Alamitos, California

Y2 - 17 May 2015 through 17 May 2015

ER -

Verification and validation in cyber physical systems: research challenges and a way forward

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this