DROPS

Document

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

Authors: Erika Abraham, Stefan Hallerstede, John Hatcliff, Danielle Stewart, and Noah Abou El Wafa

Published in: Dagstuhl Reports, Volume 13, Issue 1 (2023)

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

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)

Copy BibTex To Clipboard

@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/entities/document/10.4230/DagRep.13.1.155},
  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}
}

Document

DOI: 10.4230/DagRep.3.9.74

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

Authors: Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene

Published in: Dagstuhl Reports, Volume 3, Issue 9 (2014)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 13372 "Integration of Tools for Rigorous Software Construction and Analysis". The 32 participants came from 10 countries: Australia, Austria, Brazil, Canada, Denmark, France, Germany, Great Britain, Italy, Norway. The aim of the seminar was to bring together researchers and tool developers from different state- and machine-based formal methods communities in order to share expertise and promote the joint use of modelling tool technologies. Indeed, each of these communities -- from Abstract State Machines, to B, TLA, VDM, Z -- has valuable tools and technologies which would be beneficial also for the other formal approaches. Understanding and clarifying their commonalities and differences is a key factor to achieve a possible integration or integrated use of these related approaches for accomplishing, in a rigorous way, the various modelling and analysis tasks to construct reliable high quality software systems. The working group formula offered by the Dagstuhl seminar was a fruitful way to share knowledge of the various techniques and tools -- such as simulators, animators, model checkers, theorem proves -- developed for the individual methods, and to constructively experiment the combined use of different approaches by means of a series of well known case studies. Participants did not arrive with well-prepared solutions, but all the modelling and integration work was directly done in Dagstuhl in a very exciting and competitive atmosphere. Some related presentation were also given on recent advances on methodologies and tools. The seminar posed the bases for a series of future research collaborations between different, and up to know closed, formal method communities. An LNCS volume will be prepared by the contributions of the all participants to give the common vision of future methodology and tool integration.

Cite as

Uwe Glässer, Stefan Hallerstede, Michael Leuschel, and Elvinia Riccobene. Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). In Dagstuhl Reports, Volume 3, Issue 9, pp. 74-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{glasser_et_al:DagRep.3.9.74,
  author =	{Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
  title =	{{Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)}},
  pages =	{74--105},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{9},
  editor =	{Gl\"{a}sser, Uwe and Hallerstede, Stefan and Leuschel, Michael and Riccobene, Elvinia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.9.74},
  URN =		{urn:nbn:de:0030-drops-43584},
  doi =		{10.4230/DagRep.3.9.74},
  annote =	{Keywords: Applied Formal Methods; Modelling Formalisms; Modelling Tools; Abstract State Machines; B Method; Event-B; TLA+; VDM; Z; Verification; Validation; Proof; Simulation; Animation; Visualisation; Model-Checking; Tool Integration}
}

Search Results

Documents authored by Hallerstede, Stefan

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

Abstract

Cite as

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372)

Abstract

Cite as

Thanks for your feedback!

Could not send message