A design methodology of diagnostic systems for the automotive industry