pte20031001029 in Forschung
Deutsches Forschungsministerium fördert IT-Sicherheit
7,2 Mio. Euro für Korrektheitsbeweis bei Computersystemen
Bonn/Berlin (pte029/01.10.2003/16:49)
Das deutsche Bundesministerium für Bildung und Forschung (BMBF) http://www.bmbf.de 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.
http://www.bmbf.de/presse01/964.html
http://www.bmbf.de/presse01/964.html
Profitieren Sie von
unabhängigem Journalismus!
Lesen Sie mit pressetext Abo+ weiter und unterstützen Sie
Qualitätsberichterstattung für nur 1 EUR pro Woche!
Das Angebot beläuft sich auf 1 EUR pro Woche bzw. 49 EUR im Jahr
– und das, solange Sie wollen. Sie bleiben flexibel, denn Ihr pressetext Abo+
passt sich an Ihre Lesegewohnheiten an und ist jederzeit kündbar