Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Reinhart Koselleck-Projekt für Bremer Informatiker Rolf Drechsler

17.12.2010
Erneut geht eine hohe Auszeichnung der Deutschen Forschungsgemeinschaft (DFG) an die Universität Bremen: Der Hauptausschuss der DFG bewilligte Professor Rolf Drechsler aus dem Studiengang Informatik ein Reinhart Koselleck-Projekt.

Damit stehen dem Leiter der Arbeitsgruppe Rechnerarchitektur in den kommenden fünf Jahren 1,25 Mio. Euro zur Verfügung, um Methoden zu entwickeln, die die Korrektheit von modernen Schaltkreis- und Systementwürfen in Eingebetteten Systemen (embedded systems) sicherstellen.

Das Besondere der Koselleck-Projekte: Es werden wissenschaftlich hervorragenden Forscherinnen und Forschern Mittel gegeben, damit diese innovative, aber was die Ergebnisse angeht auch risikobehaftete Forschungsfragen bearbeiten können. Den Wissenschaftlern wird ein hohes Maß an Freiheit bei der Verwendung der Mittel zugestanden. Die wissenschaftliche Kreativität soll sich ungehindert entfalten können und nicht durch übermäßige Begeleitprüfungen eingeengt werden. Die Bewilligung auf Grund eines skizzierten Projektantrages erfordert also einen besonderen Vertrauensvorschuss. Erstmalig ist ein Projekt dieser Art nach Bremen vergeben worden.

Rolf Drechsler, zugleich Konrektor für Forschung und wissenschaftlichen Nachwuchs an der Uni Bremen, nahm die Nachricht von der Projektbewilligung begeistert auf: „Es ist ein Traum für jeden Wissenschaftler, sich über mehrere Jahre einem innovativen Projekt widmen zu können, ohne in kurzen Intervallen Ergebnisse vorweisen zu müssen. Somit sind auch größere Forschungsvorhaben realisierbar, die anspruchsvolle Vorarbeiten erfordern.“ Auch Uni-Rektor Professor Wilfried Müller war in Anbetracht der hohen Auszeichnung sehr erfreut: „Hier zeigt sich erneut die Bremer Stärke in innovativen Forschungsfeldern. Gerade der Bereich der Informatik hat sich in den vergangenen Jahren sehr positiv entwickelt. Dies wird durch die Genehmigung des Projektes eindrucksvoll bestätigt.“

Worum geht es inhaltlich?

Im modernen Schaltkreis- und Systementwurf wird in Eingebetteten Systemen zunehmend die gemeinsame Modellierung von Hardware und (Hardware-naher) Software betrachtet. Die schon seit mehreren Jahrzehnten ständig wachsende Komplexität hat zu Systemen geführt, die aus mehreren hundert Millionen Komponenten bestehen. Eine weitere Steigerung der Entwurfsproduktivität ist nur durch vermehrte Wiederverwendung (design reuse) oder den Entwurf auf höheren Abstraktionsebenen möglich. Daher werden die Entwürfe mittlerweile nicht mehr auf Register-Transfer Ebene (RT-Ebene) sondern zunehmend auf der Systemebene (electronic system level (ESL)) beschrieben. Dabei rückt die Sicherstellung der Korrektheit der Systeme zunehmend in den Vordergrund. Bisher existiert hierfür aber noch keine durchgängige Methodik. Im Rahmen des Drechsler-Projektes soll ein solcher durchgängiger ESL-Verifikationsansatz entwickelt werden, welcher neben den entsprechenden Verifikationsmethoden auch Verfahren zur automatischen Generierung von Eigenschaften sowie zur Überprüfung der Vollständigkeit enthält. Die überprüften ESL-Eigenschaften sollen sich zudem mit den Eigenschaften auf niedrigeren Abstraktionsebenen (z.B. auf RT-Ebene) in Beziehung setzen lassen, so dass die Korrektheit von der Systembeschreibung bis hin zur Logikebene sichergestellt werden kann.

Weitere Informationen:
Universität Bremen
Fachbereich 3 Mathematik/ Informatik
Arbeitsgruppe Rechnerarchitektur
Prof. Dr. Rolf Drechsler
Telefon: 0421 218-63932
E-Mail: drechsler@uni-bremen.de

Eberhard Scholz | idw
Weitere Informationen:
http://www.informatik.uni-bremen.de/agra/ger/index.php

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Umfangreiche Fördermaßnahmen für Forschung an Chromatin, Nebenniere und Krebstherapie
28.06.2017 | Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt

nachricht Revolutionäres Desinfektionsverfahren und Referenzmaterial für Genanalysen sind UNIQUE-Sieger
28.06.2017 | Ernst-Moritz-Arndt-Universität Greifswald

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: Schnelles und umweltschonendes Laserstrukturieren von Werkzeugen zur Folienherstellung

Kosteneffizienz und hohe Produktivität ohne dabei die Umwelt zu belasten: Im EU-Projekt »PoLaRoll« entwickelt das Fraunhofer-Institut für Produktionstechnologie IPT aus Aachen gemeinsam mit dem Oberhausener Fraunhofer-Institut für Umwelt-, Sicherheit- und Energietechnik UMSICHT und sechs Industriepartnern ein Modul zur direkten Laser-Mikrostrukturierung in einem Rolle-zu-Rolle-Verfahren. Ziel ist es, mit Hilfe dieses Systems eine siebartige Metallfolie als Demonstrator zu fertigen, die zum Sonnenschutz von Glasfassaden verwendet wird: Durch ihre besondere Geometrie wird die Sonneneinstrahlung reduziert, woraus sich ein verminderter Energieaufwand für Kühlung und Belüftung ergibt.

Das Fraunhofer IPT ist im Projekt »PoLaRoll« für die Prozessentwicklung der Laserstrukturierung sowie für die Mess- und Systemtechnik zuständig. Von den...

Im Focus: Das Auto lernt vorauszudenken

Ein neues Christian Doppler Labor an der TU Wien beschäftigt sich mit der Regelung und Überwachung von Antriebssystemen – mit Unterstützung des Wissenschaftsministeriums und von AVL List.

Wer ein Auto fährt, trifft ständig Entscheidungen: Man gibt Gas, bremst und dreht am Lenkrad. Doch zusätzlich muss auch das Fahrzeug selbst ununterbrochen...

Im Focus: Vorbild Delfinhaut: Elastisches Material vermindert Reibungswiderstand bei Schiffen

Für eine elegante und ökonomische Fortbewegung im Wasser geben Delfine den Wissenschaftlern ein exzellentes Vorbild. Die flinken Säuger erzielen erstaunliche Schwimmleistungen, deren Ursachen einerseits in der Körperform und andererseits in den elastischen Eigenschaften ihrer Haut zu finden sind. Letzteres Phänomen ist bereits seit Mitte des vorigen Jahrhunderts bekannt, konnte aber bislang nicht erfolgreich auf technische Anwendungen übertragen werden. Experten des Fraunhofer IFAM und der HSVA GmbH haben nun gemeinsam mit zwei weiteren Forschungspartnern eine Oberflächenbeschichtung entwickelt, die ähnlich wie die Delfinhaut den Strömungswiderstand im Wasser messbar verringert.

Delfine haben eine glatte Haut mit einer darunter liegenden dicken, nachgiebigen Speckschicht. Diese speziellen Hauteigenschaften führen zu einer signifikanten...

Im Focus: Kaltes Wasser: Und es bewegt sich doch!

Bei minus 150 Grad Celsius flüssiges Wasser beobachten, das beherrschen Chemiker der Universität Innsbruck. Nun haben sie gemeinsam mit Forschern in Schweden und Deutschland experimentell nachgewiesen, dass zwei unterschiedliche Formen von Wasser existieren, die sich in Struktur und Dichte stark unterscheiden.

Die Wissenschaft sucht seit langem nach dem Grund, warum ausgerechnet Wasser das Molekül des Lebens ist. Mit ausgefeilten Techniken gelingt es Forschern am...

Im Focus: Hyperspektrale Bildgebung zur 100%-Inspektion von Oberflächen und Schichten

„Mehr sehen, als das Auge erlaubt“, das ist ein Anspruch, dem die Hyperspektrale Bildgebung (HSI) gerecht wird. Die neue Kameratechnologie ermöglicht, Licht nicht nur ortsaufgelöst, sondern simultan auch spektral aufgelöst aufzuzeichnen. Das bedeutet, dass zur Informationsgewinnung nicht nur herkömmlich drei spektrale Bänder (RGB), sondern bis zu eintausend genutzt werden.

Das Fraunhofer IWS Dresden entwickelt eine integrierte HSI-Lösung, die das Potenzial der HSI-Technologie in zuverlässige Hard- und Software überführt und für...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Marine Pilze – hervorragende Quellen für neue marine Wirkstoffe?

28.06.2017 | Veranstaltungen

Willkommen an Bord!

28.06.2017 | Veranstaltungen

Internationale Fachkonferenz IEEE ICDCM - Lokale Gleichstromnetze bereichern die Energieversorgung

27.06.2017 | Veranstaltungen

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

EUROSTARS-Projekt gestartet - mHealth-Lösung: time4you Forschungs- und Entwicklungspartner bei IMPACHS

28.06.2017 | Unternehmensmeldung

Proteine entdecken, zählen, katalogisieren

28.06.2017 | Biowissenschaften Chemie

Neue Scheinwerfer-Dimension: Volladaptive Lichtverteilung in Echtzeit

28.06.2017 | Automotive