Template-Based Development of Fault-Tolerant Embedded Software

Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware. By implementing from scratch the developer has all options concerning system design, the used programming language and hardware. But on the other hand the implementation is errorprone and time- and cost-intensive. The usage of libraries or specialized hardware reduces the design possibilities, while increasing the quality of the developed system and accelerating the development. We present a new technique for developing fault-tolerant systems that combines the advantages of these approaches. We suggest the implementation of reusable templates that solve different aspects of fault-tolerant systems, for example temporal synchronization. In addition we introduce a code generator that realizes a mapping of these templates into application-dependent source code.