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.
Original language | English |
---|---|
Journal | Dagstuhl Reports |
Volume | 13 |
Issue | 1 |
Pages (from-to) | 155-183 |
Number of pages | 29 |
ISSN | 2192-5283 |
DOIs | |
Publication status | Published - Sept 2023 |
Event | Dagstuhl Seminar 23041 - Duration: 22 Jan 2023 → 27 Jan 2023 |
Conference
Conference | Dagstuhl Seminar 23041 |
---|---|
Period | 22/01/2023 → 27/01/2023 |