2 Search Results for "Heisel, Maritta"


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-dev.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
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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.359},
  URN =		{urn:nbn:de:0030-drops-152392},
  doi =		{10.4230/DagSemRep.359},
}
  • Refine by Author
  • 2 Heisel, Maritta
  • 1 Anderson, Stuart
  • 1 Bloomfield, Robin E.
  • 1 Kaaniche, Mohamed
  • 1 Krämer, Bernd
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Resilience
  • 1 evaluation
  • 1 evolution
  • 1 fault tolerance
  • 1 modelling
  • Show More...

  • Refine by Type
  • 2 document

  • Refine by Publication Year
  • 1 2003
  • 1 2013

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