Document Open Access Logo

Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)

Authors Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, Noah Abou El Wafa and all authors of the abstracts in this report

PDF

File

Thumbnail PDF
PDF
DagRep.13.1.155.pdf
  • Filesize: 7.04 MB
  • 29 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Computer systems organization → Embedded and cyber-physical systems
  • Security and privacy → Logic and verification
Keywords
  • cyber-physical systems
  • formal methods
  • rigorous modelling and analysis
  • systems engineering

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get BibTex

Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa. Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041). In Dagstuhl Reports, Volume 13, Issue 1, pp. 155-183, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023) https://doi.org/10.4230/DagRep.13.1.155

Author Details

Erika Abraham
  • RWTH Aachen University, DE
Stefan Hallerstede
  • Aarhus University, DK
John Hatcliff
  • Kansas State University - Manhattan, US
Danielle Stewart
  • Galois - Minneapolis, US
Noah Abou El Wafa
  • KIT - Karlsruher Institut für Technologie, DE
and all authors of the abstracts in this report
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact