This thesis presents an integrated framework for fault-tolerant embedded system design. Its system models enable abstract description of the design problem. The reliability-aware design space exploration engine automatically applies fault-tolerant mechanisms to meet the reliability requirements. The automated generation of implementation artifacts speeds up the development process. It brings reliability-aware design further into practice by providing novel analysis and optimization algorithms that remove unrealistic assumptions in current work as well as an implementation as a tool framework.     «

This thesis presents an integrated framework for fault-tolerant embedded system design. Its system models enable abstract description of the design problem. The reliability-aware design space exploration engine automatically applies fault-tolerant mechanisms to meet the reliability requirements. The automated generation of implementation artifacts speeds up the development process. It brings reliability-aware design further into practice by providing novel analysis and optimization algorithms th...     »

Diese Dissertation stellt einen integrierten Ansatz für das fehlertolerante Systemdesign vor. Der Modellierungsansatz ermöglicht eine abstrakte Beschreibung von Systemen. Wir integrieren Fehlertoleranzmechanismen mit automatischer Entwurfsraumexploration, um die Zuverlässigkeitsanforderungen zu erfüllen. Der Einsatz automatischer Quellcodegenerierung führt zu einer Beschleunigung des Entwicklungsprozesses. Die entwickelten Algorithmen und die Umsetzung des vorgeschlagenen Ansatzes in einer Werkzeugkette vergrößern die praktische Anwendbarkeit von Methoden für den Entwurf zuverlässiger Systeme.     «

Diese Dissertation stellt einen integrierten Ansatz für das fehlertolerante Systemdesign vor. Der Modellierungsansatz ermöglicht eine abstrakte Beschreibung von Systemen. Wir integrieren Fehlertoleranzmechanismen mit automatischer Entwurfsraumexploration, um die Zuverlässigkeitsanforderungen zu erfüllen. Der Einsatz automatischer Quellcodegenerierung führt zu einer Beschleunigung des Entwicklungsprozesses. Die entwickelten Algorithmen und die Umsetzung des vorgeschlagenen Ansatzes in einer Werkz...     »