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 Gewebe mit Hilfe von Stammzellen regenerieren
16.10.2017 | Albert-Ludwigs-Universität Freiburg im Breisgau

nachricht Dr. Philipp Schommers erhält Förderpreis für Klinische Infektionsforschung
16.10.2017 | Uniklinik Köln

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: Smarte Sensoren für effiziente Prozesse

Materialfehler im Endprodukt können in vielen Industriebereichen zu frühzeitigem Versagen führen und den sicheren Gebrauch der Erzeugnisse massiv beeinträchtigen. Eine Schlüsselrolle im Rahmen der Qualitätssicherung kommt daher intelligenten, zerstörungsfreien Sensorsystemen zu, die es erlauben, Bauteile schnell und kostengünstig zu prüfen, ohne das Material selbst zu beschädigen oder die Oberfläche zu verändern. Experten des Fraunhofer IZFP in Saarbrücken präsentieren vom 7. bis 10. November 2017 auf der Blechexpo in Stuttgart zwei Exponate, die eine schnelle, zuverlässige und automatisierte Materialcharakterisierung und Fehlerbestimmung ermöglichen (Halle 5, Stand 5306).

Bei Verwendung zeitaufwändiger zerstörender Prüfverfahren zieht die Qualitätsprüfung durch die Beschädigung oder Zerstörung der Produkte enorme Kosten nach...

Im Focus: Smart sensors for efficient processes

Material defects in end products can quickly result in failures in many areas of industry, and have a massive impact on the safe use of their products. This is why, in the field of quality assurance, intelligent, nondestructive sensor systems play a key role. They allow testing components and parts in a rapid and cost-efficient manner without destroying the actual product or changing its surface. Experts from the Fraunhofer IZFP in Saarbrücken will be presenting two exhibits at the Blechexpo in Stuttgart from 7–10 November 2017 that allow fast, reliable, and automated characterization of materials and detection of defects (Hall 5, Booth 5306).

When quality testing uses time-consuming destructive test methods, it can result in enormous costs due to damaging or destroying the products. And given that...

Im Focus: Cold molecules on collision course

Using a new cooling technique MPQ scientists succeed at observing collisions in a dense beam of cold and slow dipolar molecules.

How do chemical reactions proceed at extremely low temperatures? The answer requires the investigation of molecular samples that are cold, dense, and slow at...

Im Focus: Kalte Moleküle auf Kollisionskurs

Mit einer neuen Kühlmethode gelingt Wissenschaftlern am MPQ die Beobachtung von Stößen in einem dichten Strahl aus kalten und langsamen dipolaren Molekülen.

Wie verlaufen chemische Reaktionen bei extrem tiefen Temperaturen? Um diese Frage zu beantworten, benötigt man molekulare Proben, die gleichzeitig kalt, dicht...

Im Focus: Astronomen entdecken ungewöhnliche spindelförmige Galaxien

Galaxien als majestätische, rotierende Sternscheiben? Nicht bei den spindelförmigen Galaxien, die von Athanasia Tsatsi (Max-Planck-Institut für Astronomie) und ihren Kollegen untersucht wurden. Mit Hilfe der CALIFA-Umfrage fanden die Astronomen heraus, dass diese schlanken Galaxien, die sich um ihre Längsachse drehen, weitaus häufiger sind als bisher angenommen. Mit den neuen Daten konnten die Astronomen außerdem ein Modell dafür entwickeln, wie die spindelförmigen Galaxien aus einer speziellen Art von Verschmelzung zweier Spiralgalaxien entstehen. Die Ergebnisse wurden in der Zeitschrift Astronomy & Astrophysics veröffentlicht.

Wenn die meisten Menschen an Galaxien denken, dürften sie an majestätische Spiralgalaxien wie die unserer Heimatgalaxie denken, der Milchstraße: Milliarden von...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Meeresbiologe Mark E. Hay zu Gast bei den "Noblen Gesprächen" am Beutenberg Campus in Jena

16.10.2017 | Veranstaltungen

bionection 2017 erstmals in Thüringen: Biotech-Spitzenforschung trifft in Jena auf Weltmarktführer

13.10.2017 | Veranstaltungen

Tagung „Energieeffiziente Abluftreinigung“ zeigt, wie man durch Luftreinhaltemaßnahmen profitieren kann

13.10.2017 | Veranstaltungen

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

ESO-Teleskope beobachten erstes Licht einer Gravitationswellen-Quelle

16.10.2017 | Physik Astronomie

Was läuft schief beim Noonan-Syndrom? – Grundlagen der neuronalen Fehlfunktion entdeckt

16.10.2017 | Biowissenschaften Chemie

Gewebe mit Hilfe von Stammzellen regenerieren

16.10.2017 | Förderungen Preise