On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors

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.

Sommario

1. Introduction.- 2. Fault Models and Fault-Behavior of Processor Structures.- 3. On-line Check Technology for Processor Components.- 4. On-line Check Technology for Processor Control Signals.- 5. Fast Processor Recover Techniques with Micro Rollback.- 6. Conclusion and Outlook.

Dettagli sul prodotto

• Autori: Manfred Pflanz, Matthias Pflanz
• Editore: Springer, Berlin
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 25.04.2002
• EAN: 9783540433187
• ISBN: 978-3-540-43318-7
• Pagine: 132
• Peso: 230 g
• Illustrazioni: XII, 132 p.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Hardware; C, Software Engineering, Rechnerarchitektur und Logik-Entwurf, Wissensbasierte Systeme, Expertensysteme, Systemanalyse und -design, Microprocessors, computer science, Software Engineering/Programming and Operating Systems, Computer Engineering, Systems analysis & design, Operating systems, Computer Engineering and Networks, Expert systems / knowledge-based systems, Computer architecture & logic design, Processor Architectures, Computer system failures, System Performance and Evaluation, Special purpose computers, Special Purpose and Application-Based Systems, Logic Design, Systems analysis and design