License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.13.1.155
URN: urn:nbn:de:0030-drops-191209
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/19120/
Abraham, Erika ;
Hallerstede, Stefan ;
Hatcliff, John ;
Stewart, Danielle ;
Wafa, Noah Abou El
Weitere Beteiligte (Hrsg. etc.): Erika Abraham and Stefan Hallerstede and John Hatcliff and Danielle Stewart and Noah Abou El Wafa
Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)
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.
BibTeX - Entry
@Article{abraham_et_al:DagRep.13.1.155,
author = {Abraham, Erika and Hallerstede, Stefan and Hatcliff, John and Stewart, Danielle and Wafa, Noah Abou El},
title = {{Integrated Rigorous Analysis in Cyber-Physical Systems Engineering (Dagstuhl Seminar 23041)}},
pages = {155--183},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2023},
volume = {13},
number = {1},
editor = {Abraham, Erika and Hallerstede, Stefan and Hatcliff, John and Stewart, Danielle and Wafa, Noah Abou El},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2023/19120},
URN = {urn:nbn:de:0030-drops-191209},
doi = {10.4230/DagRep.13.1.155},
annote = {Keywords: cyber-physical systems, formal methods, rigorous modelling and analysis, systems engineering}
}
Keywords: |
|
cyber-physical systems, formal methods, rigorous modelling and analysis, systems engineering |
Collection: |
|
DagRep, Volume 13, Issue 1 |
Issue Date: |
|
2023 |
Date of publication: |
|
18.09.2023 |