Dagstuhl Seminar Proceedings, Volume 9201



Publication Details

  • published at: 2009-07-29
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
09201 Abstracts Collection – Self-Healing and Self-Adaptive Systems

Authors: Artur Andrzejak, Kurt Geihs, Onn Shehory, and John Wilkes


Abstract
From May 10th 2009 to May 15th 2009 the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar are put together in this paper. Links to extended abstracts or full papers are provided, if available. A description of the seminar topics, goals and results in general can be found in a separate document ``Executive Summary''.

Cite as

Artur Andrzejak, Kurt Geihs, Onn Shehory, and John Wilkes. 09201 Abstracts Collection – Self-Healing and Self-Adaptive Systems. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{andrzejak_et_al:DagSemProc.09201.1,
  author =	{Andrzejak, Artur and Geihs, Kurt and Shehory, Onn and Wilkes, John},
  title =	{{09201 Abstracts Collection – Self-Healing and Self-Adaptive Systems}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--24},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.1},
  URN =		{urn:nbn:de:0030-drops-21131},
  doi =		{10.4230/DagSemProc.09201.1},
  annote =	{Keywords: Self-healing, self-adaptive systems, dependability, root-cause analysis, system and software modeling, large IT infrastructures}
}
Document
09201 Executive Summary – Self-Healing and Self-Adaptive Systems

Authors: Artur Andrzejak, Kurt Geihs, Onn Shehory, and John Wilkes


Abstract
From May 10th 2009 to May 15th 2009 the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. The topics, goals, schedule and overview of group work is given in this paper.

Cite as

Artur Andrzejak, Kurt Geihs, Onn Shehory, and John Wilkes. 09201 Executive Summary – Self-Healing and Self-Adaptive Systems. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{andrzejak_et_al:DagSemProc.09201.2,
  author =	{Andrzejak, Artur and Geihs, Kurt and Shehory, Onn and Wilkes, John},
  title =	{{09201 Executive Summary – Self-Healing and Self-Adaptive Systems}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.2},
  URN =		{urn:nbn:de:0030-drops-21049},
  doi =		{10.4230/DagSemProc.09201.2},
  annote =	{Keywords: Self-healing, self-adaptive systems, dependability, root-cause analysis, system and software modeling, large IT infrastructures}
}
Document
Self-Healing and Recovery Methods and their Classification

Authors: Onn Shehory, Josu Martinez, Artur Andrzejak, Cinzia Cappiello, Wlodzimierz Funika, Derrick Kondo, Leonardo Mariani, Benjamin Satzger, and Markus Schmid


Abstract
This document summarizes the results of the Working Group 1 - ``Self-Healing and Recovery'' - within the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' (organized by A. Andrzejak, K. Geihs, O. Shehory and J. Wilkes). The seminar was held from May 10th 2009 to May 15th 2009 in Schloss Dagstuhl~--~Leibniz Center for Informatics.

Cite as

Onn Shehory, Josu Martinez, Artur Andrzejak, Cinzia Cappiello, Wlodzimierz Funika, Derrick Kondo, Leonardo Mariani, Benjamin Satzger, and Markus Schmid. Self-Healing and Recovery Methods and their Classification. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{shehory_et_al:DagSemProc.09201.3,
  author =	{Shehory, Onn and Martinez, Josu and Andrzejak, Artur and Cappiello, Cinzia and Funika, Wlodzimierz and Kondo, Derrick and Mariani, Leonardo and Satzger, Benjamin and Schmid, Markus},
  title =	{{Self-Healing and Recovery Methods and their Classification}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.3},
  URN =		{urn:nbn:de:0030-drops-21082},
  doi =		{10.4230/DagSemProc.09201.3},
  annote =	{Keywords: Self-healing, self-recovery, redundancy techniques, architecture models, micro-rebooting, SOA-based process reorganization}
}
Document
The Role of Models in Self-adaptive and Self-healing Systems

Authors: Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Müller-Schloer, and Roland Reichle


Abstract
Self-healing and self-adaptive systems dynamically react on changes in the environment. They enable software systems to adjust to new conditions and work optimally even in unstable environments. However, such systems have to cope with an ever increasing complexity and size of software systems. In order to handle such systems, models are an efficient means for analysis, control, and documentation. Furthermore, hierarchically structured models can make self-healing and self-adaptation manageable. In this report, we discuss several questions that address the role of models in self-healing and self-adaptive systems. We outline today's challenges and present different viewpoints on the application and benefit of models.

Cite as

Jens Happe, Heiko Koziolek, Umesh Bellur, Holger Giese, Wilhelm Hasselbring, Robert Laddaga, Margaria Tiziana, Josu Martinez, Christian Müller-Schloer, and Roland Reichle. The Role of Models in Self-adaptive and Self-healing Systems. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{happe_et_al:DagSemProc.09201.4,
  author =	{Happe, Jens and Koziolek, Heiko and Bellur, Umesh and Giese, Holger and Hasselbring, Wilhelm and Laddaga, Robert and Tiziana, Margaria and Martinez, Josu and M\"{u}ller-Schloer, Christian and Reichle, Roland},
  title =	{{The Role of Models in Self-adaptive and Self-healing Systems}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--8},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.4},
  URN =		{urn:nbn:de:0030-drops-21001},
  doi =		{10.4230/DagSemProc.09201.4},
  annote =	{Keywords: Self-adaptive, self-healing, models, hierarchicy}
}
Document
Self-Healing Systems: Foundations and Challenges

Authors: Gabi Dreo Rodosek, Kurt Geihs, Hartmut Schmeck, and Stiller Burkhard


Abstract
This document summarizes the results of the Working Group 3 - ``Terminology'' - at the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' (organized by A. Andrzejak, K. Geihs, O. Shehory and J. Wilkes). The seminar was held from May 10th 2009 to May 15th 2009 in Schloss Dagstuhl~--~Leibniz Center for Informatics.

Cite as

Gabi Dreo Rodosek, Kurt Geihs, Hartmut Schmeck, and Stiller Burkhard. Self-Healing Systems: Foundations and Challenges. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dreorodosek_et_al:DagSemProc.09201.5,
  author =	{Dreo Rodosek, Gabi and Geihs, Kurt and Schmeck, Hartmut and Stiller Burkhard},
  title =	{{Self-Healing Systems: Foundations and Challenges}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.5},
  URN =		{urn:nbn:de:0030-drops-21104},
  doi =		{10.4230/DagSemProc.09201.5},
  annote =	{Keywords: Self-healing Definition, Fault Tolerance, Terminology}
}
Document
Testing Run-time Evolving Systems

Authors: Tudor Dumitras, Frank Eliassen, Kurt Geihs, Henry Muccini, Andrea Polini, and Theo Ungerer


Abstract
This document summarizes the results of the Working Group 4 - ``Testing'' - at the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' (organized by A. Andrzejak, K. Geihs, O. Shehory and J. Wilkes). The seminar was held from May 10th 2009 to May 15th 2009 in Schloss Dagstuhl~--~Leibniz Center for Informatics.

Cite as

Tudor Dumitras, Frank Eliassen, Kurt Geihs, Henry Muccini, Andrea Polini, and Theo Ungerer. Testing Run-time Evolving Systems. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{dumitras_et_al:DagSemProc.09201.6,
  author =	{Dumitras, Tudor and Eliassen, Frank and Geihs, Kurt and Muccini, Henry and Polini, Andrea and Ungerer, Theo},
  title =	{{Testing Run-time Evolving Systems}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.6},
  URN =		{urn:nbn:de:0030-drops-21065},
  doi =		{10.4230/DagSemProc.09201.6},
  annote =	{Keywords: Software Testing, Dynamically Evolving Systems}
}
Document
Progressive automation to gain appropriate trust in management automation systems

Authors: Ralf Koenig, Elaine Wong, and Gregoire Danoy


Abstract
This document summarizes the results of the Working Group 5 - ``Progressive Automation / Trust'' - at the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' (organized by A. Andrzejak, K. Geihs, O. Shehory and J. Wilkes). The seminar was held from May 10th 2009 to May 15th 2009 in Schloss Dagstuhl~--~Leibniz Center for Informatics.

Cite as

Ralf Koenig, Elaine Wong, and Gregoire Danoy. Progressive automation to gain appropriate trust in management automation systems. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{koenig_et_al:DagSemProc.09201.7,
  author =	{Koenig, Ralf and Wong, Elaine and Danoy, Gregoire},
  title =	{{Progressive automation to gain appropriate trust in management automation systems}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.7},
  URN =		{urn:nbn:de:0030-drops-20988},
  doi =		{10.4230/DagSemProc.09201.7},
  annote =	{Keywords: Systems and network management, aircraft maintenance management, automation, self-managing systems, autonomic systems, trust}
}
Document
Wheels within Wheels: Making Fault Management Cost-Effective

Authors: Moises Goldszmidt, Miroslaw Malek, Simin Nadjm-Tehrani, Priya Narasimhan, Felix Salfner, Paul A.S. Ward, and John Wilkes


Abstract
Local design and optimization of the components of a fault management system results in sub-optimal decisions. This means that the target system will likely not meet its objectives (under-performs) or cost too much if conditions, objectives, or constraints change. We can fix this by applying a nested, management system for the fault-management system itself. We believe that doing so will produce a more resilient, self-aware, system that can operate more effectively across a wider range of conditions, and provide better behavior at closer to optimal cost. This document summarizes the results of the Working Group 7 - ``Cost-Effective Fault Management'' - at the Dagstuhl Seminar 09201 ``Self-Healing and Self-Adaptive Systems'' (organized by A. Andrzejak, K. Geihs, O. Shehory and J. Wilkes). The seminar was held from May 10th 2009 to May 15th 2009 in Schloss Dagstuhl~--~Leibniz Center for Informatics.

Cite as

Moises Goldszmidt, Miroslaw Malek, Simin Nadjm-Tehrani, Priya Narasimhan, Felix Salfner, Paul A.S. Ward, and John Wilkes. Wheels within Wheels: Making Fault Management Cost-Effective. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{goldszmidt_et_al:DagSemProc.09201.8,
  author =	{Goldszmidt, Moises and Malek, Miroslaw and Nadjm-Tehrani, Simin and Narasimhan, Priya and Salfner, Felix and Ward, Paul A.S. and Wilkes, John},
  title =	{{Wheels within Wheels: Making Fault Management Cost-Effective}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--6},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.8},
  URN =		{urn:nbn:de:0030-drops-21029},
  doi =		{10.4230/DagSemProc.09201.8},
  annote =	{Keywords: Fault management, cost-effectiveness}
}
Document
Component-Oriented Behavior Extraction for Autonomic System Design

Authors: Tiziana Margaria, Marco Bakera, and Christian Wagner


Abstract
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA Exo- Mars Rover in depth. We show here how to enable GEAR’s game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission.

Cite as

Tiziana Margaria, Marco Bakera, and Christian Wagner. Component-Oriented Behavior Extraction for Autonomic System Design. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{margaria_et_al:DagSemProc.09201.9,
  author =	{Margaria, Tiziana and Bakera, Marco and Wagner, Christian},
  title =	{{Component-Oriented Behavior Extraction for Autonomic System Design}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.9},
  URN =		{urn:nbn:de:0030-drops-20964},
  doi =		{10.4230/DagSemProc.09201.9},
  annote =	{Keywords: Self-healing, model driven design, game based model checking, model extraction}
}
Document
Sandbox Learning: Try without error?

Authors: Christian Müller-Schloer


Abstract
Adaptivity is enabled by learning. Natural systems learn differently from technical systems. In particular, technical systems must not make errors. On the other hand, learning seems to be impossible without occasional errors. We propose a 3-level architecture for learning in adaptive technical systems and show its applicability in the domains of traffic control and communication network control.

Cite as

Christian Müller-Schloer. Sandbox Learning: Try without error?. In Self-Healing and Self-Adaptive Systems. Dagstuhl Seminar Proceedings, Volume 9201, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)


Copy BibTex To Clipboard

@InProceedings{mullerschloer:DagSemProc.09201.10,
  author =	{M\"{u}ller-Schloer, Christian},
  title =	{{Sandbox Learning: Try without error?}},
  booktitle =	{Self-Healing and Self-Adaptive Systems},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9201},
  editor =	{Artur Andrzejak and Kurt Geihs and Onn Shehory and John Wilkes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09201.10},
  URN =		{urn:nbn:de:0030-drops-21232},
  doi =		{10.4230/DagSemProc.09201.10},
  annote =	{Keywords: Learning, real time, natural systems, technical systems}
}

Filters


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