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 Über zwei Millionen für bessere Bordnetze
28.04.2017 | Friedrich-Alexander-Universität Erlangen-Nürnberg

nachricht Innovationspreis 2017 der Deutschen Hochschulmedizin e.V.
24.04.2017 | Deutsche Hochschulmedizin e.V.

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: TU Chemnitz präsentiert weltweit einzigartige Pilotanlage für nachhaltigen Leichtbau

Wickelprinzip umgekehrt: Orbitalwickeltechnologie soll neue Maßstäbe in der großserientauglichen Fertigung komplexer Strukturbauteile setzen

Mitarbeiterinnen und Mitarbeiter des Bundesexzellenzclusters „Technologiefusion für multifunktionale Leichtbaustrukturen" (MERGE) und des Instituts für...

Im Focus: Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft

58 europäische Industrie- und Forschungspartner aus 11 Ländern forschten unter der Leitung des VIRTUAL VEHICLE drei Jahre lang, um Europas führende Position im Bereich Embedded Systems und dem Internet of Things zu stärken. Die Ergebnisse von DEWI (Dependable Embedded Wireless Infrastructure) wurden heute in Graz präsentiert. Zu sehen war eine Fülle verschiedenster Anwendungen drahtloser Sensornetzwerke und drahtloser Kommunikation – von einer Forschungsrakete über Demonstratoren zur Gebäude-, Fahrzeug- oder Eisenbahntechnik bis hin zu einem voll vernetzten LKW.

Was vor wenigen Jahren noch nach Science-Fiction geklungen hätte, ist in seinem Ansatz bereits Wirklichkeit und wird in Zukunft selbstverständlicher Teil...

Im Focus: Weltweit einzigartiger Windkanal im Leipziger Wolkenlabor hat Betrieb aufgenommen

Am Leibniz-Institut für Troposphärenforschung (TROPOS) ist am Dienstag eine weltweit einzigartige Anlage in Betrieb genommen worden, mit der die Einflüsse von Turbulenzen auf Wolkenprozesse unter präzise einstellbaren Versuchsbedingungen untersucht werden können. Der neue Windkanal ist Teil des Leipziger Wolkenlabors, in dem seit 2006 verschiedenste Wolkenprozesse simuliert werden. Unter Laborbedingungen wurden z.B. das Entstehen und Gefrieren von Wolken nachgestellt. Wie stark Luftverwirbelungen diese Prozesse beeinflussen, konnte bisher noch nicht untersucht werden. Deshalb entstand in den letzten Jahren eine ergänzende Anlage für rund eine Million Euro.

Die von dieser Anlage zu erwarteten neuen Erkenntnisse sind wichtig für das Verständnis von Wetter und Klima, wie etwa die Bildung von Niederschlag und die...

Im Focus: Nanoskopie auf dem Chip: Mikroskopie in HD-Qualität

Neue Erfindung der Universitäten Bielefeld und Tromsø (Norwegen)

Physiker der Universität Bielefeld und der norwegischen Universität Tromsø haben einen Chip entwickelt, der super-auflösende Lichtmikroskopie, auch...

Im Focus: Löschbare Tinte für den 3-D-Druck

Im 3-D-Druckverfahren durch Direktes Laserschreiben können Mikrometer-große Strukturen mit genau definierten Eigenschaften geschrieben werden. Forscher des Karlsruher Institus für Technologie (KIT) haben ein Verfahren entwickelt, durch das sich die 3-D-Tinte für die Drucker wieder ‚wegwischen‘ lässt. Die bis zu hundert Nanometer kleinen Strukturen lassen sich dadurch wiederholt auflösen und neu schreiben - ein Nanometer entspricht einem millionstel Millimeter. Die Entwicklung eröffnet der 3-D-Fertigungstechnik vielfältige neue Anwendungen, zum Beispiel in der Biologie oder Materialentwicklung.

Beim Direkten Laserschreiben erzeugt ein computergesteuerter, fokussierter Laserstrahl in einem Fotolack wie ein Stift die Struktur. „Eine Tinte zu entwickeln,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Internationaler Tag der Immunologie - 29. April 2017

28.04.2017 | Veranstaltungen

Kampf gegen multiresistente Tuberkulose – InfectoGnostics trifft MYCO-NET²-Partner in Peru

28.04.2017 | Veranstaltungen

123. Internistenkongress: Traumata, Sprachbarrieren, Infektionen und Bürokratie – Herausforderungen

27.04.2017 | Veranstaltungen

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

Über zwei Millionen für bessere Bordnetze

28.04.2017 | Förderungen Preise

Symbiose-Bakterien: Vom blinden Passagier zum Leibwächter des Wollkäfers

28.04.2017 | Biowissenschaften Chemie

Wie Pflanzen ihre Zucker leitenden Gewebe bilden

28.04.2017 | Biowissenschaften Chemie