License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
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://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4007/
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)
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 |
Collection: |
|
Dagstuhl Reports, Volume 3, Issue 1 |
Issue Date: |
|
2013 |
Date of publication: |
|
03.06.2013 |