Mit CEDARtools® bietet das Kiefersfeldener Unternehmen Accemic Technologies GmbH ein Verifikationswerkzeug mit der Fähigkeit zur langandauernden, umfassenden, nichtintrusiven und automatisierten Analyse von Abläufen in eingebetteten Prozessoren an.

Diese weltweit einmalige Technologie besteht aus zwei Komponenten: (1) die Echtzeitbeobachtung von Prozessoren sowie (2) die dynamische Analyse von Ereignisströmen mittels hochsprachlich konfigurierbarer Datenflussprozessoren. Mit dem CEDARtools®-System kann laufende Software in den immer komplexeren Prozessoren und Systemen automatisch analysiert werden. Potentielle Kunden sind OEMs und Zulieferer von prozessorgestützten eingebetteten Systemen (Luftfahrt, Automobilbau, Maschinenbau).