Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar 23041 “Integrated
Rigorous Analysis in Cyber-Physical Systems (CPS) Engineering”.
This seminar brought together academic and industry representations from a variety of
domains with backgrounds in different techniques to develop a roadmap for addressing the current
challenges in the area of CPS engineering. An overarching theme was the potential use of
integrated models and associated methodologies that support cross-technique information/results
sharing and smooth workflow hand-offs between individual tools and methods.
Rigorous Analysis in Cyber-Physical Systems (CPS) Engineering”.
This seminar brought together academic and industry representations from a variety of
domains with backgrounds in different techniques to develop a roadmap for addressing the current
challenges in the area of CPS engineering. An overarching theme was the potential use of
integrated models and associated methodologies that support cross-technique information/results
sharing and smooth workflow hand-offs between individual tools and methods.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Dagstuhl Reports |
Vol/bind | 13 |
Nummer | 1 |
Sider (fra-til) | 155-183 |
Antal sider | 29 |
ISSN | 2192-5283 |
DOI | |
Status | Udgivet - sep. 2023 |
Begivenhed | Dagstuhl Seminar 23041 - Varighed: 22 jan. 2023 → 27 jan. 2023 |
Konference
Konference | Dagstuhl Seminar 23041 |
---|---|
Periode | 22/01/2023 → 27/01/2023 |