TY - GEN
T1 - Towards CPS Verification Engineering
AU - Müller, Andreas
AU - Mitsch, Stefan
AU - Retschitzegger, Werner
AU - Schwinger, Wieland
N1 - Publisher Copyright:
© 2020 Owner/Author.
Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
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 -