Synthesis of online diagnostic techniques for embedded systems

The development of safety-critical embedded systems is an error-prone and time-consuming task. Various safety analyses have to be carried out during the development to select appropriate diagnostic techniques, which help to control unacceptable risks to human lives. This thesis describes an approach to speed up development activities by automation. Moreover, it makes a first step towards the development of safe cyber-physical systems. To achieve these goals, it defines a metamodel for various aspects of functional safety and builds a generative workflow on top of it. This workflow generates the source code of diagnostic techniques and lightweight safety analyses and integrates them into existing runtime systems.