Hiermit beschäftigt sich das Forschungsprojekt Verisoft, dessen Finanzierung durch das Bundesministerium für Bildung und Forschung (BMBF) nun für weitere vier Jahre gesichert ist. Zudem wurde die Fördersumme von 7,2 Millionen Euro auf 14,8 Millionen Euro angehoben.
Der Grund für die Verlängerung sind erste Erfolge bei den Beweisverfahren. Schaltungen auf Logikeben lassen sich bereits heute formal auf Korrektheit überprüfen, der Infineon-Prozessor "TriCore 2", der in der Automobilindustrie Anwendung findet, soll als Beispiel dienen, dass die entwickelten Verfahren auch auf der Komplexebene angewandt werden können. Getragen wird das Projekt vom Deutschen Zentrum für Luft- und Raumfahrttechnik (DLR) unter Leitung des Instituts für Rechnerarchitektur der Universität des Saarlandes. Kooperationspartner aus der Industrie sind unter anderem Infineon, T-Systems und BMW. Das Konsortium arbeitet auch an der Entwicklung eines biometrischen Identifikationssystems.
(Gottfried Hofmann)