Das Forschungsprojekt ANCONA (Analog-Coverage der Nanoelektronik) entwickelte ein rechnergestütztes Verfahren zur Systemsicherung.
Das Clusterforschungsprojekt ANCONA hat sich mit aus verschiedenen Forschungsinstituten zusammengesetzt: Goethe-Universität Frankfurt, IMMS Institut für Mikroelektronik Ilmenau, Leibniz Universität Hannover, Technische Universität Kaiserslautern, RWTH Aachen, Institut für Informatik Oldenburg, sowie Bosch, Intel Mobile Communications und Mentor Graphics. Gemeinsam erforscht man unter Finanzierung des BMBF, die Sicherheitsüberprüfung von Systemen.
Für die Industrie 4.0, das Internet der Dinge und nicht zuletzt das Autonome Fahren bedarf es analoger Schaltungen, deren Funktion im Zusammenspiel mit digitalen Hard- und Software sicherstellt werden muss. Dies zu garantieren hat man ein computergestütztes Verfahren entwickelt, das schon bei der Planung eingesetzt werden kann.