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

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

3 Citations (Scopus)

Abstract

While formal verification techniques are inevitable to ensure safety of critical cyber-phyical systems (CPS), engineering techniques to support the design and analysis of such CPS are still in their infancy. Therefore, we take a first step towards the provision of appropriate engineering techniques for CPS verification, by providing an extensive evaluation of the current state of the art, identifying challenges not yet tackled by existing approaches and by proposing a research roadmap intended to pave the way towards a fully supported engineering process for CPS verification models.

Original language	English
Title of host publication	22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings
Editors	Maria Indrawan-Santiago, Eric Pardede, Ivan Luiz Salvadori, Matthias Steinbauer, Ismail Khalil, Gabriele Kotsis
Publisher	Association for Computing Machinery
Pages	367-371
Number of pages	5
ISBN (Electronic)	9781450389228
DOIs	https://doi.org/10.1145/3428757.3429146
Publication status	Published - 30 Nov 2020
Event	22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Virtual, Online, Thailand Duration: 30 Nov 2020 → 2 Dec 2020

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020
Country/Territory	Thailand
City	Virtual, Online
Period	30.11.2020 → 02.12.2020

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.), 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings (pp. 367-371). Article 3429146 (ACM International Conference Proceeding Series). Association for Computing Machinery. https://doi.org/10.1145/3428757.3429146

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

@inproceedings{43d880384283494cba706b2690602561,

title = "Towards CPS Verification Engineering",

abstract = "While formal verification techniques are inevitable to ensure safety of critical cyber-phyical systems (CPS), engineering techniques to support the design and analysis of such CPS are still in their infancy. Therefore, we take a first step towards the provision of appropriate engineering techniques for CPS verification, by providing an extensive evaluation of the current state of the art, identifying challenges not yet tackled by existing approaches and by proposing a research roadmap intended to pave the way towards a fully supported engineering process for CPS verification models.",

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

note = "Publisher Copyright: {\textcopyright} 2020 Owner/Author. Copyright: Copyright 2021 Elsevier B.V., All rights reserved.; 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 ; Conference date: 30-11-2020 Through 02-12-2020",

year = "2020",

month = nov,

day = "30",

doi = "10.1145/3428757.3429146",

language = "English",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery",

pages = "367--371",

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

booktitle = "22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings",

}

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), 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings., 3429146, ACM International Conference Proceeding Series, Association for Computing Machinery, pp. 367-371, 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020, Virtual, Online, Thailand, 30.11.2020. https://doi.org/10.1145/3428757.3429146

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

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

TY - GEN

T1 - Towards CPS Verification Engineering

AU - Müller, Andreas

AU - Mitsch, Stefan

AU - Retschitzegger, Werner

AU - Schwinger, Wieland

PY - 2020/11/30

Y1 - 2020/11/30

N2 - While formal verification techniques are inevitable to ensure safety of critical cyber-phyical systems (CPS), engineering techniques to support the design and analysis of such CPS are still in their infancy. Therefore, we take a first step towards the provision of appropriate engineering techniques for CPS verification, by providing an extensive evaluation of the current state of the art, identifying challenges not yet tackled by existing approaches and by proposing a research roadmap intended to pave the way towards a fully supported engineering process for CPS verification models.

AB - While formal verification techniques are inevitable to ensure safety of critical cyber-phyical systems (CPS), engineering techniques to support the design and analysis of such CPS are still in their infancy. Therefore, we take a first step towards the provision of appropriate engineering techniques for CPS verification, by providing an extensive evaluation of the current state of the art, identifying challenges not yet tackled by existing approaches and by proposing a research roadmap intended to pave the way towards a fully supported engineering process for CPS verification models.

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

U2 - 10.1145/3428757.3429146

DO - 10.1145/3428757.3429146

M3 - Conference contribution

AN - SCOPUS:85100352367

T3 - ACM International Conference Proceeding Series

SP - 367

EP - 371

BT - 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings

A2 - Indrawan-Santiago, Maria

A2 - Pardede, Eric

A2 - Salvadori, Ivan Luiz

A2 - Steinbauer, Matthias

A2 - Khalil, Ismail

A2 - Kotsis, Gabriele

PB - Association for Computing Machinery

T2 - 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020

Y2 - 30 November 2020 through 2 December 2020

ER -

Müller A, Mitsch S, Retschitzegger W, Schwinger W. Towards CPS Verification Engineering. In Indrawan-Santiago M, Pardede E, Salvadori IL, Steinbauer M, Khalil I, Kotsis G, editors, 22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings. Association for Computing Machinery. 2020. p. 367-371. 3429146. (ACM International Conference Proceeding Series). doi: 10.1145/3428757.3429146

Towards CPS Verification Engineering

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this