Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

BMBF-Förderung macht Computersysteme sicherer

26.08.2005


Mathematische Methoden für fehlerfreies Chip-Design entwickelt



Fehler beim Entwurf von Computer-Chips können sehr teuer und gefährlich werden. Mit Förderung durch das Bundesministerium für Bildung und Forschung (BMBF) sind jetzt mathematische Grundlagen entwickelt und erprobt worden, die Computersysteme deutlich sicherer machen, teilte das Ministerium am Freitag in Berlin mit. Im Rahmen des BMBF-Projekts Verisoft wurden Methoden entwickelt, mit denen mathematisch nachgewiesen werden kann, dass die Logik von Schaltungen keine Funktionsfehler enthält. Das BMBF verlängerte daraufhin die Laufzeit der Förderung um zwei Jahre bis 2007 und stockte die Fördersumme um 7,2 Millionen Euro auf 14,8 Millionen Euro auf.



An dem Projekt sind unter der Leitung des Instituts für Rechnerarchitektur der Universität des Saarlandes neun Forschungspartner aus der Wissenschaft und vier aus der Industrie beteiligt. Ihre Methoden der formalen Verifikation könnten die heute üblichen Simulationstests ersetzen. Am Beispiel des Infineon-Prozessors TriCore 2, der vor allem in der Automobilelektronik eingesetzt werden soll, konnten die Wissenschaftler erstmals nachweisen, dass die Verifikationstechniken auf hochkomplexe Designs angewendet werden können.

Zusammen mit der T-Systems International GmbH und der BMW Group AG arbeiten die Verisoft-Forscher auch an Methoden der formalen Verifikation für die Bereiche IT-Sicherheit und Automotive. Dabei geht es unter anderem um die Entwicklung eines chipkartenbasierten biometrischen Identifikationssystems.

Weitere Informationen erteilt auch die:

Projektleitung Verisoft
Tom In der Rieden
Tel. 0681/302-3585
Email: idr@cs.uni-saarland.de

| BMBF - Newsletter
Weitere Informationen:
http://www.verisoft.de

Weitere Berichte zu: BMBF-Förderung Computersystem Verifikation

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Künstliche Intelligenz erobert die Fahrzeugentwicklung
21.09.2018 | Technische Universität Berlin

nachricht Preis für Arbeit über autonomes Fahren
11.09.2018 | Julius-Maximilians-Universität Würzburg

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 Therapien bei Gefäßerkrankungen

Auf der Jahrestagung der Deutschen Gesellschaft für Angiologie (DGA) vom 12. bis 15. September in Münster stellten Gefäßspezialisten aus ganz Deutschland die neuesten Therapien bei Gefäßerkrankungen vor. Vor allem in den Bereichen periphere arterielle Verschlusskrankheit (pAVK) und venöse Verschlusskrankheiten wie die Tiefe Venenthrombose (TVT) gibt gute Neuigkeiten für die Patienten. Viele der 720 Gefäßspezialisten, die an der Jahrestagung teilnahmen, stellten neueste Studienergebnisse vor.

Millionen Menschen leiden in Deutschland unter Gefäßerkrankungen, allein rund fünf Millionen unter der „Schaufensterkrankheit“, medizinisch periphere...

Im Focus: Wie Magnetismus entsteht: Elektronen stärker verbunden als gedacht

Wieso sind manche Metalle magnetisch? Diese einfache Frage ist wissenschaftlich gar nicht so leicht fundiert zu beantworten. Das zeigt eine aktuelle Arbeit von Wissenschaftlern des Forschungszentrums Jülich und der Universität Halle. Den Forschern ist es zum ersten Mal gelungen, in einem magnetischen Material, in diesem Fall Kobalt, die Wechselwirkung zwischen einzelnen Elektronen sichtbar zu machen, die letztlich zur Ausbildung der magnetischen Eigenschaften führt. Damit sind erstmals genaue Einblicke in den elektronischen Ursprung des Magnetismus möglich, die vorher nur auf theoretischem Weg zugänglich waren.

Für ihre Untersuchung nutzten die Forscher ein spezielles Elektronenmikroskop, das das Forschungszentrum Jülich am Elettra-Speicherring im italienischen Triest...

Im Focus: Erstmals gemessen: Wie lange dauert ein Quantensprung?

Mit Hilfe ausgeklügelter Experimente und Berechnungen der TU Wien ist es erstmals gelungen, die Dauer des berühmten photoelektrischen Effekts zu messen.

Es war eines der entscheidenden Experimente für die Quantenphysik: Wenn Licht auf bestimmte Materialien fällt, werden Elektronen aus der Oberfläche...

Im Focus: Scientists present new observations to understand the phase transition in quantum chromodynamics

The building blocks of matter in our universe were formed in the first 10 microseconds of its existence, according to the currently accepted scientific picture. After the Big Bang about 13.7 billion years ago, matter consisted mainly of quarks and gluons, two types of elementary particles whose interactions are governed by quantum chromodynamics (QCD), the theory of strong interaction. In the early universe, these particles moved (nearly) freely in a quark-gluon plasma.

This is a joint press release of University Muenster and Heidelberg as well as the GSI Helmholtzzentrum für Schwerionenforschung in Darmstadt.

Then, in a phase transition, they combined and formed hadrons, among them the building blocks of atomic nuclei, protons and neutrons. In the current issue of...

Im Focus: Der Truck der Zukunft

Lastkraftwagen (Lkw) sind für den Gütertransport auch in den kommenden Jahrzehnten unverzichtbar. Wissenschaftler und Wissenschaftlerinnen der Technischen Universität München (TUM) und ihre Partner haben ein Konzept für den Truck der Zukunft erarbeitet. Dazu zählen die europaweite Zulassung für Lang-Lkw, der Diesel-Hybrid-Antrieb und eine multifunktionale Fahrerkabine.

Laut der Prognose des Bundesministeriums für Verkehr und digitale Infrastruktur wird der Lkw-Güterverkehr bis 2030 im Vergleich zu 2010 um 39 Prozent steigen....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

4. BF21-Jahrestagung „Car Data – Telematik – Mobilität – Fahrerassistenzsysteme – Autonomes Fahren – eCall – Connected Car“

21.09.2018 | Veranstaltungen

Forum Additive Fertigung: So gelingt der Einstieg in den 3D-Druck

21.09.2018 | Veranstaltungen

12. BusinessForum21-Kongress „Aktives Schadenmanagement"

20.09.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Mit traditionellen Methoden gegen extreme Trockenheit

24.09.2018 | Geowissenschaften

Europäische Spitzenforschung auf der EuMW

24.09.2018 | Messenachrichten

Neue Therapien bei Gefäßerkrankungen

24.09.2018 | Medizintechnik

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics