This thesis is a summary of my work as a research assistant in the Computer Engineering Research Group of the Computer Science Department at Brandenburg Technical University, Cottbus, Germany. It embraces the concepts, approaches, implementations, and experiments of my work on dependable processor-based embedded systems. I would like to thank all those, who were directly or indirectly involved in the completion of this thesis, for their support. Especially, I am grateful to my supervisor and mentor Prof. Dr. Heinrich-Theodor Vierhaus for the motivation regarding this interesting and versatile topic, for the excellent support of my work, for the permanent technical discussion, and for multitudinous ideas and suggestions. I would like to thank my consultants Prof. Dr.-habil. M. Gössel from the University of Potsdam, Germany and Prof. Dr. Matteo Sonza Reorda from the Politecnico di Torino, Italy for their helpful remarks and hints. My colleagues T. Mohaupt, O. Kluge, and U. Berger, I would like to thank for giving me the benefit of their experiences and critiques. I would like to acknowledge the support of our secretary, Kathleen Lück, with organizational and administrative tasks. Due to her assistence, many bureaucratic hurdles were removed. A special thanks goes to the student members of our research group, Andreas Behling, Christian Galke, Falk Pompsch, Christian Rousselle, Thomas Schwanzara-Bennoit, and Karsten Walther, for their tireless co-operation during various investigations. Finally, I would like to thank my wife Kathrin Pflanz for her infinite patience and support during the preparation of this thesis.
