Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger,
"Towards CPS Verification Engineering"
: Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS), ACM, Seite(n) 367-372, 2020, ISBN: 978-1-4503-8924-2
Original Titel:
Towards CPS Verification Engineering
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 22nd International Conference on Information Integration and Web-based Applications & Services (iiWAS)
Original Kurzfassung:
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