Towards CPS Verification Engineering

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

Research output: Chapter in Book/Report/Conference proceedingsConference contributionpeer-review

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 languageEnglish
Title of host publication22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings
EditorsMaria Indrawan-Santiago, Eric Pardede, Ivan Luiz Salvadori, Matthias Steinbauer, Ismail Khalil, Gabriele Kotsis
PublisherAssociation for Computing Machinery
Pages367-371
Number of pages5
ISBN (Electronic)9781450389228
DOIs
Publication statusPublished - 30 Nov 2020
Event22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Virtual, Online, Thailand
Duration: 30 Nov 20202 Dec 2020

Publication series

NameACM International Conference Proceeding Series

Conference

Conference22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020
Country/TerritoryThailand
CityVirtual, Online
Period30.11.202002.12.2020

Fingerprint

Dive into the research topics of 'Towards CPS Verification Engineering'. Together they form a unique fingerprint.

Cite this