Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Deutsches Forschungsministerium fördert IT-Sicherheit

02.10.2003


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.

... mehr zu:
»Computersystem »IT-Sicherheit


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.

Stefan Theißbacher | pressetext.austria
Weitere Informationen:
http://www.bmbf.de
http://www.bmbf.de/presse01/964.html
http://www.uni-saarland.de

Weitere Berichte zu: Computersystem IT-Sicherheit

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Digitale Transformation für den Mittelstand – Projekt „Digivation“ erhält 1,5 Mio. Euro vom Bund
27.02.2017 | Universität Paderborn

nachricht Bildsprache gegen Arbeitskräftemangel
27.02.2017 | Hochschule Augsburg - Hochschule für angewandte Wissenschaften

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Mit Künstlicher Intelligenz das Gehirn verstehen

Wie entsteht Bewusstsein? Die Antwort auf diese Frage, so vermuten Forscher, steckt in den Verbindungen zwischen den Nervenzellen. Leider ist jedoch kaum etwas über den Schaltplan des Gehirns bekannt.

Wie entsteht Bewusstsein? Die Antwort auf diese Frage, so vermuten Forscher, steckt in den Verbindungen zwischen den Nervenzellen. Leider ist jedoch kaum etwas...

Im Focus: Wie Proteine Zellmembranen verformen

Zellen schnüren regelmäßig kleine Bläschen von ihrer Außenhaut ab und nehmen sie in ihr Inneres auf. Daran sind die EHD-Proteine beteiligt, die Professor Oliver Daumke vom MDC erforscht. Er und sein Team haben nun aufgeklärt, wie sich diese Proteine auf der Oberfläche von Zellen zusammenlagern und dadurch deren Außenhaut verformen.

Zellen schnüren regelmäßig kleine Bläschen von ihrer Außenhaut ab und nehmen sie in ihr Inneres auf. Daran sind die EHD-Proteine beteiligt, die Professor...

Im Focus: Safe glide at total engine failure with ELA-inside

On January 15, 2009, Chesley B. Sullenberger was celebrated world-wide: after the two engines had failed due to bird strike, he and his flight crew succeeded after a glide flight with an Airbus A320 in ditching on the Hudson River. All 155 people on board were saved.

On January 15, 2009, Chesley B. Sullenberger was celebrated world-wide: after the two engines had failed due to bird strike, he and his flight crew succeeded...

Im Focus: „Vernetzte Autonome Systeme“ von acatech und DFKI auf der CeBIT

Auf der IT-Messe CeBIT vom 20. bis 24. März präsentieren acatech – Deutsche Akademie der Technikwissenschaften und das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) in Kooperation mit der Deutschen Messe AG vernetzte Autonome Systeme. In Halle 12 am Stand B 63 erwarten die Besucherinnen und Besucher unter anderem Roboter, die Hand in Hand mit Menschen zusammenarbeiten oder die selbstständig gefährliche Umgebungen erkunden.

Auf der IT-Messe CeBIT vom 20. bis 24. März präsentieren acatech – Deutsche Akademie der Technikwissenschaften und das Deutsche Forschungszentrum für...

Im Focus: Kühler Zwerg und die sieben Planeten

Erdgroße Planeten mit gemäßigtem Klima in System mit ungewöhnlich vielen Planeten entdeckt

In einer Entfernung von nur 40 Lichtjahren haben Astronomen ein System aus sieben erdgroßen Planeten entdeckt. Alle Planeten wurden unter Verwendung von boden-...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Nebennierentumoren: Radioaktiv markierte Substanzen vermeiden unnötige Operationen

28.02.2017 | Veranstaltungen

350 Onlineforscher_innen treffen sich zur Fachkonferenz General Online Research an der HTW Berlin

28.02.2017 | Veranstaltungen

23. VDMA-Arbeitsberatung „Engineering und Konstruktion“ am 2. März 2017 an der TH Wildau

28.02.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Das Partnerprogramm von Stellar Datenrettung

28.02.2017 | Unternehmensmeldung

Ein Filter für schweren Wasserstoff

28.02.2017 | Biowissenschaften Chemie

Auf den Spuren der Entstehung von Kondensationstropfen

28.02.2017 | Physik Astronomie