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 Center Smart Materials CeSMa erhält SilverStar Förderpreis 2017 für innovativen Druckmessstrumpf
30.05.2017 | Fraunhofer-Institut für Silicatforschung ISC

nachricht Ausgezeichnet: Hallesche Pharmazeuten erhalten „Best Paper Award“ für Studie zu Nanopartikeln
30.05.2017 | Martin-Luther-Universität Halle-Wittenberg

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: Neue Methode zur Charakterisierung von Graphen

Wissenschaftler haben eine neue Methode entwickelt, um die Eigenschaften von Graphen ohne das Anlegen störender elektrischer Kontakte zu charakterisieren. Damit lassen sich gleichzeitig der Widerstand und die Quantenkapazität von Graphen sowie von anderen zweidimensionalen Materialien untersuchen. Dies berichten Forscher vom Swiss Nanoscience Institute und Departement Physik der Universität Basel im Wissenschaftsjournal «Physical Review Applied».

Graphen besteht aus einer einzigen Lage von Kohlenstoffatomen. Es ist transparent, härter als Diamant, stärker als Stahl, dabei aber flexibel und ein deutlich...

Im Focus: New Method of Characterizing Graphene

Scientists have developed a new method of characterizing graphene’s properties without applying disruptive electrical contacts, allowing them to investigate both the resistance and quantum capacitance of graphene and other two-dimensional materials. Researchers from the Swiss Nanoscience Institute and the University of Basel’s Department of Physics reported their findings in the journal Physical Review Applied.

Graphene consists of a single layer of carbon atoms. It is transparent, harder than diamond and stronger than steel, yet flexible, and a significantly better...

Im Focus: Detaillierter Blick auf molekularen Gifttransporter

Transportproteine in unseren Körperzellen schützen uns vor gewissen Vergiftungen. Forschende der ETH Zürich und der Universität Basel haben nun die hochaufgelöste dreidimensionale Struktur eines bedeutenden menschlichen Transportproteins aufgeklärt. Langfristig könnte dies helfen, neue Medikamente zu entwickeln.

Fast alle Lebewesen haben im Lauf der Evolution Mechanismen entwickelt, um Giftstoffe, die ins Innere ihrer Zellen gelangt sind, wieder loszuwerden: In der...

Im Focus: Neue Methode für die Datenübertragung mit Licht

Der steigende Bedarf an schneller, leistungsfähiger Datenübertragung erfordert die Entwicklung neuer Verfahren zur verlustarmen und störungsfreien Übermittlung von optischen Informationssignalen. Wissenschaftler der Universität Johannesburg, des Instituts für Angewandte Optik der Friedrich-Schiller-Universität Jena und des Leibniz-Instituts für Photonische Technologien Jena (Leibniz-IPHT) präsentieren im Fachblatt „Journal of Optics“ eine neue Möglichkeit, glasfaserbasierte und kabellose optische Datenübertragung effizient miteinander zu verbinden.

Dank des Internets können wir in Sekundenbruchteilen mit Menschen rund um den Globus in Kontakt treten. Damit die Kommunikation reibungslos funktioniert,...

Im Focus: Strathclyde-led research develops world's highest gain high-power laser amplifier

The world's highest gain high power laser amplifier - by many orders of magnitude - has been developed in research led at the University of Strathclyde.

The researchers demonstrated the feasibility of using plasma to amplify short laser pulses of picojoule-level energy up to 100 millijoules, which is a 'gain'...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Wissenschaftsforum Chemie 2017

30.05.2017 | Veranstaltungen

Erfolgsfaktor Digitalisierung

30.05.2017 | Veranstaltungen

Lebensdauer alternder Brücken - prüfen und vorausschauen

29.05.2017 | Veranstaltungen

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

Neue Methode zur Charakterisierung von Graphen

30.05.2017 | Physik Astronomie

Riesenfresszellen steuern die Entwicklung von Nerven und Blutgefäßen im Gehirn

30.05.2017 | Biowissenschaften Chemie

Nano-U-Boot mit Selbstzerstörungs-Mechanismus

30.05.2017 | Biowissenschaften Chemie