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/
Go back to Dagstuhl Reports


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)

pdf-format:
dagrep_v013_i001_p155_23041.pdf (7 MB)


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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI