Towards CPS Verification Engineering

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

Publikation: Beitrag in Buch/Bericht/TagungsbandKonferenzbeitragBegutachtung

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.

OriginalspracheEnglisch
Titel22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Proceedings
Redakteure/-innenMaria Indrawan-Santiago, Eric Pardede, Ivan Luiz Salvadori, Matthias Steinbauer, Ismail Khalil, Gabriele Kotsis
Herausgeber (Verlag)Association for Computing Machinery
Seiten367-371
Seitenumfang5
ISBN (elektronisch)9781450389228
DOIs
PublikationsstatusVeröffentlicht - 30 Nov. 2020
Veranstaltung22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020 - Virtual, Online, Thailand
Dauer: 30 Nov. 20202 Dez. 2020

Publikationsreihe

NameACM International Conference Proceeding Series

Konferenz

Konferenz22nd International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2020
Land/GebietThailand
OrtVirtual, Online
Zeitraum30.11.202002.12.2020

Fingerprint

Untersuchen Sie die Forschungsthemen von „Towards CPS Verification Engineering“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren