Architecting Fault-Tolerant Software Systems Invitation

198 Pages·2009·2.35 MB·English

A
Architecting Fault-Tolerant Software Systems rc Invitation
h
i Architecting
t
e
c
The increasing size and complexity of software systems t
in Fault-Tolerant to the public defense
makes it hard to prevent or remove all possible faults. Faults g
of my thesis

that remain in the system can eventually lead to a system F
a Software Systems
failure. Fault tolerance techniques are introduced for
u Architecting
l
enabling systems to recover and continue operation when t
-T Fault-Tolerant
they are subject to faults. Many fault tolerance techniques o
l Software Systems
e
are available but incorporating them in a system is not
r
a
always trivial. In this thesis, we introduce methods and tools
n
t on Thursday,
for the application of fault tolerance techniques to increase
S
January 29, 2009
the reliability and availability of software systems. o
f at 16:45 in Collegezaal 2
t
w of the Spiegel building at the
a
University of Twente.
r
e

S
y
s
t
e
At 16:30 I will give a brief
m
introduction to the subject of
s
my thesis.

The defense will be followed

by a reception in the

same building.

Hasan Sözer

H
a
s
a
n

S
ö
z Hasan Sözer
e
r
ISBN 978-90-365-2788-0
Architecting Fault-Tolerant Software Systems
Hasan S¨ozer
Architecting Fault-Tolerant Software Systems
Hasan S¨ozer
Ph.D. dissertation committee:
Chairman and secretary:
Prof. Dr. Ir. A.J. Mouthaan, University of Twente, The Netherlands
Promoter:
Prof. Dr. Ir. M. Ak¸sit, University of Twente, The Netherlands
Assistant promoter:
Dr. Ir. B. Tekinerdo˘gan, Bilkent University, Turkey
Members:
Dr. Ir. J. Broenink, University of Twente, The Netherlands
Prof. Dr. Ir. A. van Gemund, Delft University of Technology, The Netherlands
Dr. R. de Lemos, University of Kent, United Kingdom
Prof. Dr. A. Romanovsky, Newcastle University, United Kingdom
Prof. Dr. Ir. G. Smit, University of Twente, The Netherlands
CTIT Ph.D. thesis series no. 09-135. Centre for Telematics and Information Tech-
nology (CTIT), P.O. Box 217 - 7500 AE Enschede, The Netherlands.
This work has been carried out as part of the Trader project under the responsibil-
ity of the Embedded Systems Institute. This project is partially supported by the
Dutch Government under the Bsik program. The work in this thesis has been car-
ried out under the auspices of the research school IPA (Institute for Programming
research and Algorithmics).
ISBN 978-90-365-2788-0
ISSN 1381-36-17 (CTIT Ph.D. thesis series no. 09-135)
IPA Dissertation Series 2009-05
Cover design by Hasan S¨ozer
Printed by PrintPartners Ipskamp, Enschede, The Netherlands
Copyright (cid:13)c 2009, Hasan S¨ozer, Enschede, The Netherlands
Architecting Fault-Tolerant Software Systems
DISSERTATION
to obtain
the degree of doctor at the University of Twente,
on the authority of the rector magnificus,
Prof. Dr. H. Brinksma,
on account of the decision of the graduation committee,
to be publicly defended
on Thursday the 29th of January 2009 at 16.45
by
Hasan S¨ozer
born on the 21st of August 1980
in Bursa, Turkey
This dissertation is approved by
Prof. Dr. Ir. M. Ak¸sit (promoter)
Dr. Ir. Bedir Tekinerdo˘gan (assistant promoter)
“The more you know, the more you realize you know nothing.”
- Socrates

Acknowledgements
When I was a M.Sc. student at Bilkent University, I have met with Bedir Tekin-
erdo˘gan. He was a visiting assistant professor there at that time. Towards the end
of my M.Sc. studies, he has notified me about the vacancy for a Ph.D. position at
the University of Twente. He has also recommended me for this position. First of
all, I would like to thank him for the faith he had in me. Following my admission
to this position, he became my daily supervisor and we have been working very
closely thereafter. I have always been impressed by his ability to abstract away key
points out of details and his writing/presentation skills based on a true empathy
towards the intended audience. I would like to thank him for his contributions to
my intellectual growth and for his continuous encouragement, which has been an
important source of motivation for me.
I have carried out my Ph.D. studies at the software engineering group lead by
Mehmet Ak¸sit. We have had regular meetings with him to discuss my progress
and future research directions. In these meetings, I have sometimes been exposed
to challenging critics but always with a positive, optimistic attitude and encourage-
ment. Over the years, I have witnessed his ability to foresee pitfalls and I have been
convinced about the accuracy of his predictions in research. I would like to thank
him for his reliable guidance.
During my studies, I have also had the opportunity to work together with Hichem
Boudali and Mari¨elle Stoelinga from the formal methods group. I have learned a lot
from them and an important part of this thesis (Section 5.10) presents the results
of our collaboration. I would like to thank them for their contribution.
I would like to thank to the members of my Ph.D. committee: Jan Broenink, Ar-
jan van Gemund, Rog´erio de Lemos, Alexander Romanovsky, and Gerard Smit for
spending their valuable time and energy to evaluate my work. Their useful com-
ments enabled me to dramatically improve this thesis.
vii
I would like to thank to the members of the Trader project for their useful feedback
during our regular project meetings. In particular, David Watts, Jozef Hooman and
Teun Hendriks have reviewed my work closely. Ben Pronk brought up the research
direction on local recovery, which later happened to be the main focus of my work.
He has also spent his valuable time to provide us TV domain knowledge together
with Rob Golsteijn. Previously we had several discussions with Iulian Nitescu, Paul
L. Janson and Pierre van de Laar on failure scenarios, fault/error/failure classes and
recovery strategies. These discussions have also directly or indirectly contributed to
this thesis.
The members of the software engineering group have provided me useful feedback
during our regular seminars. I would like to thank them also for the comfortable
working environment I have had. In particular, I thank my roommates over the
years: Joost, Christian and Somayeh. In addition to the Dutch courses provided
by the university, Joost has given me a ‘complementary’ course on Dutch language
and Dutch culture. He has also read and corrected my official Dutch letters, which
would have caused quite some trouble if they were not corrected. Christian and
Somayeh have always been open to give their opinion about any issue I may bring
up and help me if necessary.
I would like to thank Ellen Roberts-Tieke, Joke Lammerink, Elvira Dijkhuis, Hilda
Ferweda and Nathalie van Zetten for their invaluable administrative support.
To be able to finish this work, first of all I had to feel secure and comfortable in my
social environment. In the following, I would like to extend my gratitude to people,
who have provided me such an environment during the last four years.
When I first arrived in Enschede, Gu¨rcan was one of the few people I knew at the
university. He has helped me a lot to get acquainted with the new environment. He
has provided me a useful set of survival strategies to deal with never-ending official
procedures. The set of strategies has been later extended for surviving at mountains
and at the military service as well.
I have been sharing an apartment with Espen during the last three years. The
life is a lot easier if you always have a reliable friend around to talk to. Espen is
very effective in killing stress and boosting courage in any circumstance (almost like
alcohol, but almost healthy at the same time). Besides Espen, I had the chance
to meet with several other good friends while I was living at a student house (the
infamous 399) in the campus. I am sure that we will keep in touch in the future, in
one way or another.