TY - GEN
T1 - Self-stabilization as a foundation for autonomic computing
AU - Brukman, Olga
AU - Dolev, Shlomi
AU - Haviv, Yinnon
AU - Yagel, Reuven
PY - 2007/8/29
Y1 - 2007/8/29
N2 - This position paper advocates the use of the well defined and provable self-stabilization property of a system, to achieve the goals of the self-* paradigms and autonomic computing. Several recent results starting from hardware concerns, continuing with the operating system, and ending in the applications, are integrated: the self-stabilizing microprocessor, with the self-stabilizing operating system, the self-stabilization preserving compiler, and the self-stabilizing autonomic recoverer for applications.
AB - This position paper advocates the use of the well defined and provable self-stabilization property of a system, to achieve the goals of the self-* paradigms and autonomic computing. Several recent results starting from hardware concerns, continuing with the operating system, and ending in the applications, are integrated: the self-stabilizing microprocessor, with the self-stabilizing operating system, the self-stabilization preserving compiler, and the self-stabilizing autonomic recoverer for applications.
KW - Automatic recovery
KW - Autonomic computing
KW - Liveness
KW - Safety
KW - Self-healing
KW - Self-stabilizing systems
UR - http://www.scopus.com/inward/record.url?scp=34548151860&partnerID=8YFLogxK
U2 - 10.1109/ARES.2007.141
DO - 10.1109/ARES.2007.141
M3 - Conference contribution
AN - SCOPUS:34548151860
SN - 0769527752
SN - 9780769527758
T3 - Proceedings - Second International Conference on Availability, Reliability and Security, ARES 2007
SP - 991
EP - 998
BT - Proceedings - The Second International Conference on Availability, Reliability and Security, ARES 2007
T2 - 2nd International Conference on Availability, Reliability and Security, ARES 2007
Y2 - 10 April 2007 through 13 April 2007
ER -