Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems

Model-driven software development is one possible solution to the problem of increasing code size and complexity in future safety-critical systems. The key is to generate most of the required source code automatically. A lot of research has been performed on this idea, however, as this is a very broad field, some problems are still unsolved. One of this unsolved problems is the synthesis of fault detection mechanisms. This paper presents an approach for this synthesis which consists of three contributions: meta-models and model-transformations for the generation and scheduling of fault detection mechanisms, a runtime environment for the online root-cause analysis of occurred failures and model transformations for the generation of required system documentation.