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 EU-Förderung in Millionenhöhe für Regensburger Wissenschaftler
21.04.2017 | Universität Regensburg

nachricht Förderung Technologietransfer im technologischen Ressourcenschutz mit über 500.000 Euro
20.04.2017 | Ministerium für Wirtschaft, Arbeit und Wohnungsbau Baden-Württemberg

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: Leichtbau serientauglich machen

Immer mehr Autobauer setzen auf Karosserieteile aus kohlenstofffaserverstärktem Kunststoff (CFK). Dennoch müssen Fertigungs- und Reparaturkosten weiter gesenkt werden, um CFK kostengünstig nutzbar zu machen. Das Laser Zentrum Hannover e.V. (LZH) hat daher zusammen mit der Volkswagen AG und fünf weiteren Partnern im Projekt HolQueSt 3D Laserprozesse zum automatisierten Besäumen, Bohren und Reparieren von dreidimensionalen Bauteilen entwickelt.

Automatisiert ablaufende Bearbeitungsprozesse sind die Grundlage, um CFK-Bauteile endgültig in die Serienproduktion zu bringen. Ausgerichtet an einem...

Im Focus: Making lightweight construction suitable for series production

More and more automobile companies are focusing on body parts made of carbon fiber reinforced plastics (CFRP). However, manufacturing and repair costs must be further reduced in order to make CFRP more economical in use. Together with the Volkswagen AG and five other partners in the project HolQueSt 3D, the Laser Zentrum Hannover e.V. (LZH) has developed laser processes for the automatic trimming, drilling and repair of three-dimensional components.

Automated manufacturing processes are the basis for ultimately establishing the series production of CFRP components. In the project HolQueSt 3D, the LZH has...

Im Focus: Wonder material? Novel nanotube structure strengthens thin films for flexible electronics

Reflecting the structure of composites found in nature and the ancient world, researchers at the University of Illinois at Urbana-Champaign have synthesized thin carbon nanotube (CNT) textiles that exhibit both high electrical conductivity and a level of toughness that is about fifty times higher than copper films, currently used in electronics.

"The structural robustness of thin metal films has significant importance for the reliable operation of smart skin and flexible electronics including...

Im Focus: Immunzellen helfen bei elektrischer Reizleitung im Herzen

Erstmals elektrische Kopplung von Muskelzellen und Makrophagen im Herzen nachgewiesen / Erkenntnisse könnten neue Therapieansätze bei Herzinfarkt und Herzrhythmus-Störungen ermöglichen / Publikation am 20. April 2017 in Cell

Makrophagen, auch Fresszellen genannt, sind Teil des Immunsystems und spielen eine wesentliche Rolle in der Abwehr von Krankheitserregern und bei der...

Im Focus: Tief im Inneren von M87

Die Galaxie M87 enthält ein supermassereiches Schwarzes Loch von sechs Milliarden Sonnenmassen im Zentrum. Ihr leuchtkräftiger Jet dominiert das beobachtete Spektrum über einen Frequenzbereich von 10 Größenordnungen. Aufgrund ihrer Nähe, des ausgeprägten Jets und des sehr massereichen Schwarzen Lochs stellt M87 ein ideales Laboratorium dar, um die Entstehung, Beschleunigung und Bündelung der Materie in relativistischen Jets zu erforschen. Ein Forscherteam unter der Leitung von Silke Britzen vom MPIfR Bonn liefert Hinweise für die Verbindung von Akkretionsscheibe und Jet von M87 durch turbulente Prozesse und damit neue Erkenntnisse für das Problem des Ursprungs von astrophysikalischen Jets.

Supermassereiche Schwarze Löcher in den Zentren von Galaxien sind eines der rätselhaftesten Phänomene in der modernen Astrophysik. Ihr gewaltiger...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

3. Bionik-Kongress Baden-Württemberg

24.04.2017 | Veranstaltungen

Smart-Data-Forschung auf dem Weg in die wirtschaftliche Praxis

21.04.2017 | Veranstaltungen

Baukultur: Mehr Qualität durch Gestaltungsbeiräte

21.04.2017 | Veranstaltungen

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

Fraunhofer HHI mit neuesten VR-Technologien auf der NAB in Las Vegas

24.04.2017 | Messenachrichten

Leichtbau serientauglich machen

24.04.2017 | Maschinenbau

Daten vom Kühlgerät in die Cloud

24.04.2017 | HANNOVER MESSE