Towards CPS Verification Engineering

Andreas Müller; Stefan Mitsch; Werner Retschitzegger; Wieland Schwinger

doi:10.1145/3428757.3429146

Towards CPS Verification Engineering

Andreas Müller
, Stefan Mitsch
, Werner Retschitzegger
, Wieland Schwinger

Department of Cooperative Information Systems

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

Abstract

While formal verification techniques are inevitable to ensure safetyof critical cyber-phyical systems (CPS), engineering techniques tosupport thedesignandanalysisof such CPS are still in their infancy.Therefore, we take a first step towards the provision of appropri-ate engineering techniques for CPS verification, by providing anextensive evaluation of the current state of the art, identifying chal-lenges not yet tackled by existing approaches and by proposing aresearch roadmap intended to pave the way towards a fully supportedengineering process for CPS verification models

Original language	English
Title of host publication	Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS)
Editors	Maria Indrawan-Santiago, Eric Pardede, Ivan Luiz Salvadori, Matthias Steinbauer, Ismail Khalil, Gabriele Kotsis
Publisher	ACM
Pages	367-372
Number of pages	5
ISBN (Electronic)	9781450389228
ISBN (Print)	978-1-4503-8924-2
DOIs	https://doi.org/10.1145/3428757.3429146
Publication status	Published - 2020

Fields of science

102 Computer Sciences
102015 Information systems
102027 Web engineering

JKU Focus areas

Digital Transformation
Sustainable Development: Responsible Technologies and Management

Access to Document

10.1145/3428757.3429146

Cite this

Müller, A., Mitsch, S., Retschitzegger, W., & Schwinger, W. (2020). Towards CPS Verification Engineering. In M. Indrawan-Santiago, E. Pardede, I. L. Salvadori, M. Steinbauer, I. Khalil, & G. Kotsis (Eds.), Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS) (pp. 367-372). Article 3429146 ACM. https://doi.org/10.1145/3428757.3429146

Müller, Andreas ; Mitsch, Stefan ; Retschitzegger, Werner et al. / Towards CPS Verification Engineering. Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS). editor / Maria Indrawan-Santiago ; Eric Pardede ; Ivan Luiz Salvadori ; Matthias Steinbauer ; Ismail Khalil ; Gabriele Kotsis. ACM, 2020. pp. 367-372

@inproceedings{15c7f996d0b14e9da007ca103408d80f,

title = "Towards CPS Verification Engineering",

abstract = "While formal verification techniques are inevitable to ensure safetyof critical cyber-phyical systems (CPS), engineering techniques tosupport thedesignandanalysisof such CPS are still in their infancy.Therefore, we take a first step towards the provision of appropri-ate engineering techniques for CPS verification, by providing anextensive evaluation of the current state of the art, identifying chal-lenges not yet tackled by existing approaches and by proposing aresearch roadmap intended to pave the way towards a fully supportedengineering process for CPS verification models",

author = "Andreas M{\"u}ller and Stefan Mitsch and Werner Retschitzegger and Wieland Schwinger",

year = "2020",

doi = "10.1145/3428757.3429146",

language = "English",

isbn = "978-1-4503-8924-2",

pages = "367--372",

editor = "Maria Indrawan-Santiago and Eric Pardede and Salvadori, \{Ivan Luiz\} and Matthias Steinbauer and Ismail Khalil and Gabriele Kotsis",

booktitle = "Proceedings of the 22nd International Conference on Information Integration and Web-based Applications \& Services (iiWAS)",

publisher = "ACM",

}

Müller, A, Mitsch, S, Retschitzegger, W & Schwinger, W 2020, Towards CPS Verification Engineering. in M Indrawan-Santiago, E Pardede, IL Salvadori, M Steinbauer, I Khalil & G Kotsis (eds), Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS)., 3429146, ACM, pp. 367-372. https://doi.org/10.1145/3428757.3429146

Towards CPS Verification Engineering. / Müller, Andreas; Mitsch, Stefan; Retschitzegger, Werner et al.
Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS). ed. / Maria Indrawan-Santiago; Eric Pardede; Ivan Luiz Salvadori; Matthias Steinbauer; Ismail Khalil; Gabriele Kotsis. ACM, 2020. p. 367-372 3429146.

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

TY - GEN

T1 - Towards CPS Verification Engineering

AU - Müller, Andreas

AU - Mitsch, Stefan

AU - Retschitzegger, Werner

AU - Schwinger, Wieland

PY - 2020

Y1 - 2020

N2 - While formal verification techniques are inevitable to ensure safetyof critical cyber-phyical systems (CPS), engineering techniques tosupport thedesignandanalysisof such CPS are still in their infancy.Therefore, we take a first step towards the provision of appropri-ate engineering techniques for CPS verification, by providing anextensive evaluation of the current state of the art, identifying chal-lenges not yet tackled by existing approaches and by proposing aresearch roadmap intended to pave the way towards a fully supportedengineering process for CPS verification models

AB - While formal verification techniques are inevitable to ensure safetyof critical cyber-phyical systems (CPS), engineering techniques tosupport thedesignandanalysisof such CPS are still in their infancy.Therefore, we take a first step towards the provision of appropri-ate engineering techniques for CPS verification, by providing anextensive evaluation of the current state of the art, identifying chal-lenges not yet tackled by existing approaches and by proposing aresearch roadmap intended to pave the way towards a fully supportedengineering process for CPS verification models

UR - https://www.cs.cmu.edu/~smitsch/pdf/towardscpsengineering.pdf

U2 - 10.1145/3428757.3429146

DO - 10.1145/3428757.3429146

M3 - Conference proceedings

SN - 978-1-4503-8924-2

SP - 367

EP - 372

BT - Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS)

A2 - Indrawan-Santiago, Maria

A2 - Pardede, Eric

A2 - Salvadori, Ivan Luiz

A2 - Steinbauer, Matthias

A2 - Khalil, Ismail

A2 - Kotsis, Gabriele

PB - ACM

ER -

Towards CPS Verification Engineering

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this