License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.1.30
URN: urn:nbn:de:0030-drops-40072
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4007/
Go back to Dagstuhl Reports


Heisel, Maritta ; Kaaniche, Mohamed ; Romanovsky, Alexander ; Troubitsyna, Elena
Weitere Beteiligte (Hrsg. etc.): Maritta Heisel and Mohamed Kaaniche and Alexander Romanovsky and Elena Troubitsyna

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

pdf-format:
dagrep_v003_i001_p030_s13022.pdf (0.7 MB)


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.

BibTeX - Entry

@Article{heisel_et_al:DR:2013:4007,
  author =	{Maritta Heisel and Mohamed Kaaniche and Alexander Romanovsky and Elena Troubitsyna},
  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 =	{Maritta Heisel and Mohamed Kaaniche and Alexander Romanovsky and Elena Troubitsyna},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4007},
  URN =		{urn:nbn:de:0030-drops-40072},
  doi =		{10.4230/DagRep.3.1.30},
  annote =	{Keywords: Resilience, modelling, verification, evaluation, fault tolerance, evolution}
}

Keywords: Resilience, modelling, verification, evaluation, fault tolerance, evolution
Seminar: Dagstuhl Reports, Volume 3, Issue 1
Issue Date: 2013
Date of publication: 03.06.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI