In den letzten Jahren durchdringen immer kleinere, eingebettete Computersysteme verstaerkt unsere Lebensumwelt. Mit der Allgegenwaertigkeit solcher Systeme werden wir aber auch immer abhaewngiger von ihnen. Mit der Abhaengigkeit steigen unsere Erwartungen an die Zuverlaessigkeit der Systeme bis zu dem Punkt, an dem wir uns w\"unschen, dass das System auch dann noch funktioniert, wenn ein bestimmtes Mass an Fehlverhalten innerhalb der Systemkomponenten auftritt. Derartige Systeme werden als fehlertolerant oder verlaesslich bezeichnet. Eine Moeglichkeit, verlaessliche Computersysteme zu bauen, besteht darin, das System mehrfach vorzuhalten, um im Fehlerfall auf ein funktionsfaehiges System umschalten zu koennen. Eine weitere und in der Praxis haeufig guenstigere Alternative ist die sogenannte software-basierte Fehlertoleranz, um die es in dieser Arbeit geht. Man unterscheidet verschiedene Arten von Fehlertoleranz, beispielsweise die bekannte maskierende Fehlertoleranz (masking fault tolerance). In dieser Arbeit geht es um die sogenannte fail-safe Fehlertoleranz (fail-safe fault tolerance). Bei fail-safe Fehlertoleranz ist es akzeptabel, wenn das System im Fehlerfall ``anhaelt'' anstatt weiterhin seinen Dienst zu erbringen. Wichtig ist lediglich, dass das System immer in einem ``sicheren'' Zustand verweilt. In dieser Arbeit werden Verfahren vorgeschlagen, um effiziente fail-safe-fehlertolerante Systeme aus fehler-intolerante Originalsystemen zu synthetisieren. Wir verwenden zwei bekannte Kriterien, um die Effizienz der fehlertoleranten Systeme zu messen: (1) Fehlererkennungszeit (error detection latency), also die ``Zeit'', die benoetigt wird, um einen aufgetretenen Fehler zu entdecken, und (2) Fehlererkennungsabdeckung (error detection coverage), also die Rate von relevanten Fehlern, die das Programm entdecken kann. Diese Arbeit legt die formalen Grundlagen fuer den Entwurf von effizienten fail-safe-fehlertoleranten Systemen. Grundlage ist eine verfeinerte Theorie sogenannter Detektoren (detectors). Wir definieren eine neue Klasse von Detektoren, perfekte Detektoren (perfect detectors), die es erlauben, fail-safe-fehlertolerante Systeme mit perfekter Fehlerekennung (perfect detection) und damit vollstaendiger Fehlererkennungsabdeckung zu synthetisieren. Anschliessend definieren wir das Konzept der schnellen Fehlererkennung (fast detection), welches eine optimale Fehlererkennungszeit erlaubt. Wir stellen ein Verfahren vor, wie man ein fail-safe-fehlertolerantes System sowohl mit perfekter Fehlererkennung als auch mit schneller Fehlererkennung synthetisieren kann. Darueberhinaus ist die Fehlererkennungszeit der synthetisierten Programme ist optimal. Die Arbeit besch\"aftigt sich abschliessend mit dem Konzept der Multitoleranz (multitolerance), also der Faehigkeit eines Programmes, verschiedene Fehlerklassen gleichzeitig zu tolerieren. Bei Multitoleranz kann es zu einer wechselseitigen Beeinflussung (interference) der Detektoren fuer verschiedene Fehlerklassen kommen. Wir stellen eine Reihe von Nicht-Beeinflussungskriterien (non-interference conditions) vor, die ueberpr ueft werden muessen, um Multitoleranz zu gewaehrleisten. Wir stellen zwei Ansaetze fuer den Entwurf multitoleranter Programme vor. Fuer jeden Ansatz geben wir zwei verschiedene Algorithmen an, die fail-safe-fehlertolerante Programme bezueglich verschiedener Fehlerklassen und mit unterschiedlicher Effizienz synthetisieren. The Algorithmen dieser Arbeit eignen sich insbesondere fuer sogenannte beschraenkte Programme bounded programs. Beschraenkte Programme sind Programme ohne unbeschraenkte Schleifenstrukturen.