Architecting Fault-Tolerant Software Systems

197 Pages·2009·2.35 MB·English

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.
Although I have been living abroad, I have also had the chance to meet with many
new Turkish friends during my studies. They have became very close friends of mine
and they have helped me not to feel so much homesick. There are many people to
count in this group and I will shortly refer to them as ‘¨oztwenteliler’. Selim and
Emre are also in this group and I especially thank them for “supporting” me during
my defense.
I would like to thank all the people who have contributed to Tusat. Similarly, I am
grateful to people who have volunteered to work for making our life more social and
enjoyable in the university, for example, members of Esn Twente over the years.
Stichting Kleurrijke Dans has also made my life more colorful lately. In addition,
I would like to thank all my friends who accompany me in recreational trips and
various other activities during the last four years.
I have had endless love and support from my family throughout my life. I thank
foremost my parents for always standing by me regardless of the geographic distance
between us.