Forschungsministerium fördert Standard für IT-Sicherheit

BMBF fördert Forschung nach einem geschlossenen integrierten Korrektheitsbeweis. Das Bundesministerium für Bildung und Forschung (BMBF) will Arbeiten zum so genannten geschlossenen integrierten Korrektheitsbeweis mit Methoden der Verifikation fördern. Dieser soll Fehler bereits im Entwurf von autonomen oder integrierten Computersystemen erkennen und korrigieren können und so die Sicherheit von IT-Systemen erhöhen. Für die erste zweijährige Forschungsphase will das BMBF 7,2 Millionen Euro zur Verfügung stellen.

1. Oktober 2003 um 16:15 Uhr / Jens Ihlenfeld

Die Federführung für das Projekt liegt bei der Universität des Saarlandes. Auf wissenschaftlicher Seite arbeitet sie mit den Technischen Universitäten Darmstadt, Karlsruhe und München sowie dem Deutschen Forschungszentrum für Künstliche Intelligenz und dem Max-Planck-Institut in Saarbrücken zusammen. Industrielle Partner sind die Infineon Technologies AG, die T-Systems Nova GmbH, die BMW AG und die mittelständische Absint GmbH.

Zunächst sollen die mathematischen Grundlagen entwickelt, vollständig formalisiert und für Informatikanwendungen in den Bereichen Embedded Systems, Kommunikation und Anwendungssoftware erschlossen werden. Die Projektpartner wollen darauf aufbauend Demonstratoren entwickeln und mit ihnen Computersysteme für Chipkarten, Telekommunikation und Automobilelektronik von der Hardware bis zur Anwendungssoftware überprüfen.

Die Entwicklung eines integrierten Korrektheitsbeweises gelte derzeit als eine der größten Herausforderungen der Informatik, so das Ministerium. Er soll die Funktionen bei der Entwicklung von Hard- und Systemsoftware bis zur Netzwerk- und Anwendungsebene laufend überprüfen. Für die Industrie sei die Beherrschung der Verifikationstechnologie von erheblicher Bedeutung. Sie spare Geld und Zeit bei der Entwicklung neuer Systeme und vermeide Kosten, die bei der Behebung von Systemfehlern in der Elektronik entstehen können.