Deutsches Forschungsministerium fördert IT-Sicherheit
7,2 Mio. Euro für Korrektheitsbeweis bei Computersystemen
Das deutsche Bundesministerium für Bildung und Forschung (BMBF) fördert Bemühungen um eine Standardmethode, die das fehlerfreie Funktionieren von Computersystemen sicherstellen kann. In der ersten, zweijährigen Forschungsphase will das BMBF 7,2 Mio. Euro in Arbeiten rund um den geschlossenen integrierten Korrektsheitsbeweis durch Methoden der Verifikation investieren. Ziel ist es, wie das BMBF heute, Mittwoch, mitteilte, Fehler bereits im Entwurf von autonomen oder integrierten Computersystemen erkennen und korrigieren zu können.
Zunächst sollen die mathematischen Grundlagen entwickelt, vollständig formalisiert und für Informatikanwendungen in den Bereichen Embedded Systems, Kommunikation und Anwendungssoftware erschlossen werden. Darauf aufbauend sollen Demonstratoren entwickelt werden, mit deren Hilfe Computersysteme für Chipkarten, Telekommunikation und Automobilelektronik überprüft werden können.
Vor allem für die Industrie ist die Beherrschung der Verifikationstechnologie von großer Bedeutung. Denn durch diese Technologie könnten Zeit und Geld bei der Entwicklung neuer Systeme gespart und zudem Kosten für die Behebung von Systemfehlern vermieden werden.
Geleitet wird das Projekt laut BMBF von der Universität Saarland, zudem sind noch die technischen Universitäten in Darmstadt, Karlsruhe und München, das Deutsche Forschungszentrum für Künstliche Intelligenz und das Max-Planck-Institut in Saarbrücken beteiligt. Aber auch die Industrie trägt mit Infineon Technologies, T-Systems Nova, BMW und der mittelständischen Absint ihr Scherflein zum Gelingen bei.
Media Contact
Weitere Informationen:
http://www.bmbf.de http://www.bmbf.de/presse01/964.html http://www.uni-saarland.deAlle Nachrichten aus der Kategorie: Förderungen Preise
Neueste Beiträge
Diamantstaub leuchtet hell in Magnetresonanztomographie
Mögliche Alternative zum weit verbreiteten Kontrastmittel Gadolinium. Eine unerwartete Entdeckung machte eine Wissenschaftlerin des Max-Planck-Instituts für Intelligente Systeme in Stuttgart: Nanometerkleine Diamantpartikel, die eigentlich für einen ganz anderen Zweck bestimmt…
Neue Spule für 7-Tesla MRT | Kopf und Hals gleichzeitig darstellen
Die Magnetresonanztomographie (MRT) ermöglicht detaillierte Einblicke in den Körper. Vor allem die Ultrahochfeld-Bildgebung mit Magnetfeldstärken von 7 Tesla und höher macht feinste anatomische Strukturen und funktionelle Prozesse sichtbar. Doch alleine…
Hybrid-Energiespeichersystem für moderne Energienetze
Projekt HyFlow: Leistungsfähiges, nachhaltiges und kostengünstiges Hybrid-Energiespeichersystem für moderne Energienetze. In drei Jahren Forschungsarbeit hat das Konsortium des EU-Projekts HyFlow ein extrem leistungsfähiges, nachhaltiges und kostengünstiges Hybrid-Energiespeichersystem entwickelt, das einen…