Verteilte Laufzeitverifikation auf eingebetteten Systemen