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 Schönheit der organischen Form in 3D
12.07.2018 | Technische Hochschule Nürnberg Georg Simon Ohm

nachricht Infektionen und Krebs: Welche Rolle spielen spezielle weiße Blutkörperchen?
06.07.2018 | Medizinische Hochschule Hannover

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: Superscharfe Bilder von der neuen Adaptiven Optik des VLT

Das Very Large Telescope (VLT) der ESO hat das erste Licht mit einem neuen Modus Adaptiver Optik erreicht, die als Lasertomografie bezeichnet wird – und hat in diesem Rahmen bemerkenswert scharfe Testbilder vom Planeten Neptun, von Sternhaufen und anderen Objekten aufgenommen. Das bahnbrechende MUSE-Instrument kann ab sofort im sogenannten Narrow-Field-Modus mit dem adaptiven Optikmodul GALACSI diese neue Technik nutzen, um Turbulenzen in verschiedenen Höhen in der Erdatmosphäre zu korrigieren. Damit ist jetzt möglich, Bilder vom Erdboden im sichtbaren Licht aufzunehmen, die schärfer sind als die des NASA/ESA Hubble-Weltraumteleskops. Die Kombination aus exquisiter Bildschärfe und den spektroskopischen Fähigkeiten von MUSE wird es den Astronomen ermöglichen, die Eigenschaften astronomischer Objekte viel detaillierter als bisher zu untersuchen.

Das MUSE-Instrument (kurz für Multi Unit Spectroscopic Explorer) am Very Large Telescope (VLT) der ESO arbeitet mit einer adaptiven Optikeinheit namens GALACSI. Dabei kommt auch die Laser Guide Stars Facility, kurz ...

Im Focus: Diamant – ein unverzichtbarer Werkstoff der Fusionstechnologie

Forscher am KIT entwickeln Fenstereinheiten mit Diamantscheiben für Fusionsreaktoren – Neue Scheibe mit Rekorddurchmesser von 180 Millimetern

Klimafreundliche und fast unbegrenzte Energie aus dem Fusionskraftwerk – für dieses Ziel kooperieren Wissenschaftlerinnen und Wissenschaftler weltweit. Bislang...

Im Focus: Wiener Forscher finden vollkommen neues Konzept zur Messung von Quantenverschränkung

Quantenphysiker/innen der ÖAW entwickelten eine neuartige Methode für den Nachweis von hochdimensional verschränkten Quantensystemen. Diese ermöglicht mehr Effizienz, Sicherheit und eine weitaus geringere Fehleranfälligkeit gegenüber bisher gängigen Mess-Methoden, wie die Forscher/innen nun im Fachmagazin „Nature Physics“ berichten.

Die Vision einer vollständig abhörsicheren Übertragung von Information rückt dank der Verschränkung von Quantenteilchen immer mehr in Reichweite. Wird eine...

Im Focus: Was passiert, wenn wir das Atomgitter eines Magneten plötzlich aufheizen?

„Wir haben jetzt ein klares Bild davon, wie das heiße Atomgitter und die kalten magnetischen Spins eines ferrimagnetischen Nichtleiters miteinander ins Gleichgewicht gelangen“, sagt Ilie Radu, Wissenschaftler am Max-Born-Institut in Berlin. Das internationale Forscherteam fand heraus, dass eine Energieübertragung sehr schnell stattfindet und zu einem neuartigen Zustand der Materie führt, in dem die Spins zwar heiß sind, aber noch nicht ihr gesamtes magnetisches Moment verringert haben. Dieser „Spinüberdruck“ wird durch wesentlich langsamere Prozesse abgebaut, die eine Abgabe von Drehimpuls an das Gitter ermöglichen. Die Forschungsergebnisse sind jetzt in "Science Advances" erschienen.

Magnete faszinieren die Menschheit bereits seit mehreren tausend Jahren und sind im Zeitalter der digitalen Datenspeicherung von großer praktischer Bedeutung....

Im Focus: Erste Beweise für Quelle extragalaktischer Teilchen

Zum ersten Mal ist es gelungen, die kosmische Herkunft höchstenergetischer Neutrinos zu bestimmen. Eine Forschungsgruppe um IceCube-Wissenschaftlerin Elisa Resconi, Sprecherin des Sonderforschungsbereichs SFB1258 an der Technischen Universität München (TUM), liefert ein wichtiges Indiz in der Beweiskette, dass die vom Neutrino-Teleskop IceCube am Südpol detektierten Teilchen mit hoher Wahrscheinlichkeit von einer Galaxie in vier Milliarden Lichtjahren Entfernung stammen.

Um andere Ursprünge mit Gewissheit auszuschließen, untersuchte das Team um die Neutrino-Physikerin Elisa Resconi von der TU München und den Astronom und...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Stadtklima verbessern, Energiemix optimieren, sauberes Trinkwasser bereitstellen

19.07.2018 | Veranstaltungen

Innovation – the name of the game

18.07.2018 | Veranstaltungen

Wie geht es unserer Ostsee? Ein aktueller Zustandsbericht

17.07.2018 | Veranstaltungen

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

Europaweit erste Patientin mit neuem Hybridgerät zur Strahlentherapie behandelt

19.07.2018 | Medizintechnik

Waldrand oder mittendrin: Das Erbgut von Mausmakis unterscheidet sich je nach Lebensraum

19.07.2018 | Biowissenschaften Chemie

Automatisiertes Befüllen von Regalen im Einzelhandel

19.07.2018 | Verkehr Logistik

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