Integrated Rigorous Analysis in Cyber-Physical Systems Engineering

Erika Abraham (Editor), Stefan Hallerstede (Editor), John Hatcliff (Editor), Danielle Stewart (Editor), Noah Abou El Wafa

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperConference articleResearch

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.
Original languageEnglish
JournalDagstuhl Reports
Volume13
Issue1
Pages (from-to)155-183
Number of pages29
ISSN2192-5283
DOIs
Publication statusPublished - Sept 2023
EventDagstuhl Seminar 23041 -
Duration: 22 Jan 202327 Jan 2023

Conference

ConferenceDagstuhl Seminar 23041
Period22/01/202327/01/2023

Cite this