DROPS

Document

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)

Authors: Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna

Published in: Dagstuhl Reports, Volume 3, Issue 1 (2013)

Abstract

Software-intensive systems are becoming widely used in such critical infrastructures as railway, air- and road traffic, power management, health care and banking. In spite of drastically increased complexity and need to operate in unpredictable volatile environment, high dependability remains a must for such systems. Resilience -- the ability to deliver services that can be justifiably trusted despite changes - is an evolution of the dependability concept. It adds several new dimensions to dependability concepts including adaptability to evolving requirements and proactive error prevention. To address these challenges we need novel models, methods and tools that enable explicit modeling of resilience aspects and reasoning about them. The Dagstuhl Seminar 13022 "Engineering Resilient Systems: Models, Methods and Tools" discussed the most promising techniques for achieving resilience both at the system design stage and at runtime. It brought together researchers from dependability, formal methods, fault tolerance and software engineering communities that promoted vivid cross-disciplinary discussions.

Cite as

Maritta Heisel, Mohamed Kaaniche, Alexander Romanovsky, and Elena Troubitsyna. Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022). In Dagstuhl Reports, Volume 3, Issue 1, pp. 30-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@Article{heisel_et_al:DagRep.3.1.30,
  author =	{Heisel, Maritta and Kaaniche, Mohamed and Romanovsky, Alexander and Troubitsyna, Elena},
  title =	{{Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)}},
  pages =	{30--46},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{1},
  editor =	{Heisel, Maritta and Kaaniche, Mohamed and Romanovsky, Alexander and Troubitsyna, Elena},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.1.30},
  URN =		{urn:nbn:de:0030-drops-40072},
  doi =		{10.4230/DagRep.3.1.30},
  annote =	{Keywords: Resilience, modelling, verification, evaluation, fault tolerance, evolution}
}

Document

DOI: 10.4230/DagSemRep.359

Dependability of Component Based Systems (Dagstuhl Seminar 02451)

Authors: Stuart Anderson, Robin E. Bloomfield, Maritta Heisel, and Bernd Krämer

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract

Cite as

Stuart Anderson, Robin E. Bloomfield, Maritta Heisel, and Bernd Krämer. Dependability of Component Based Systems (Dagstuhl Seminar 02451). Dagstuhl Seminar Report 359, pp. 1-14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

Copy BibTex To Clipboard

@TechReport{anderson_et_al:DagSemRep.359,
  author =	{Anderson, Stuart and Bloomfield, Robin E. and Heisel, Maritta and Kr\"{a}mer, Bernd},
  title =	{{Dependability of Component Based Systems (Dagstuhl Seminar 02451)}},
  pages =	{1--14},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{359},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.359},
  URN =		{urn:nbn:de:0030-drops-152392},
  doi =		{10.4230/DagSemRep.359},
}

Search Results

Documents authored by Heisel, Maritta

Engineering Resilient Systems: Models, Methods and Tools (Dagstuhl Seminar 13022)

Abstract

Cite as

Dependability of Component Based Systems (Dagstuhl Seminar 02451)

Abstract

Cite as

Thanks for your feedback!

Could not send message