https://www.dagstuhl.de/23041

January 22 – 27 , 2023, Dagstuhl Seminar 23041

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering

Organizers

Erika Abraham (RWTH Aachen University, DE)
Stefan Hallerstede (Aarhus University, DK)
John Hatcliff (Kansas State University – Manhattan, US)
Danielle Stewart (Adventium Labs – Minneapolis, US)

For support, please contact

Jutka Gasiorowski for administrative matters

Andreas Dolzmann for scientific matters

Documents

Dagstuhl Seminar Schedule (Upload here)

(Use personal credentials as created in DOOR to log in)

Motivation

Over the past twenty years, the research community has made significant advances in methods for modelling CPSs and in engineering systems that include both discrete and continuous dimensions while permitting execution or simulation of involved CPS models. Researchers can now model, analyze, specify, and verify important properties of CPS with a broad array of tools, methodologies, and formalisms. Unfortunately, these valuable results of the research community are still not reaching their potential in industrial practice. Moreover, within academia, remaining challenges are not being exposed and framed in a way that catalyzes community research efforts.

Over the past twenty years, the research community has made significant advances in methods for modelling CPSs and in engineering systems that include both discrete and continuous dimensions while permitting execution or simulation of involved CPS models. Researchers can now model, analyze, specify, and verify important properties of CPS with a broad array of tools, methodologies, and formalisms. Unfortunately, these valuable results of the research community are still not reaching their potential in industrial practice. Moreover, within academia, remaining challenges are not being exposed and framed in a way that catalyzes community research efforts.

Over the past twenty years, the research community has made significant advances in methods for modelling CPSs and in engineering systems that include both discrete and continuous dimensions while permitting execution or simulation of involved CPS models. Researchers can now model, analyze, specify, and verify important properties of CPS with a broad array of tools, methodologies, and formalisms. Unfortunately, these valuable results of the research community are still not reaching their potential in industrial practice. Moreover, within academia, remaining challenges are not being exposed and framed in a way that catalyzes community research efforts.

Over the past twenty years, the research community has made significant advances in methods for modelling CPSs and in engineering systems that include both discrete and continuous dimensions while permitting execution or simulation of involved CPS models. Researchers can now model, analyze, specify, and verify important properties of CPS with a broad array of tools, methodologies, and formalisms. Unfortunately, these valuable results of the research community are still not reaching their potential in industrial practice. Moreover, within academia, remaining challenges are not being exposed and framed in a way that catalyzes community research efforts.

Motivation text license
  Creative Commons BY 4.0
  Erika Abraham, Stefan Hallerstede, John Hatcliff, and Danielle Stewaart

Classification

  • Logic In Computer Science
  • Software Engineering
  • Systems And Control

Keywords

  • Rigorous modelling and analysis
  • Formal methods
  • Cyber-physical systems
  • Systems engineering

Documentation

In the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.

 

Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.

Publications

Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.