Search Results

Documents authored by Heisel, Maritta

Document
DOI: 10.4230/DagRep.3.1.30
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},
}
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-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact