The complexity of car subsystems and their interaction is growing. This fact, together with the existence of many variants, enforces a trade-off between the quality and coverage of the respective diagnostics and the efforts spent on their development. What is needed is a comprehensive, general (system-independent) and systematic approach to the generation of diagnostics and its automation. This...