Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Bundesministerium für Bildung und Forschung fördert Bremer DFKI-Projekt mit 1,6 Mio. Euro

20.08.2013
Mit einer Fördersumme von 1,6 Millionen Euro unterstützt das Bundesministerium für Bildung und Forschung ein neues Projekt im Forschungsbereich Cyber-Physical Systems der Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH am Standort Bremen.

In den nächsten drei Jahren hat das Projekt „SPECifIC“ zum Ziel, einen neuartigen Entwurfsablauf für sogenannte eingebettete und cyber-physikalische Systeme zu entwickeln. Damit sind elektronische Systeme gemeint, die in Geräte eingebettet sind, miteinander kombiniert werden und untereinander kommunizieren. Mit Hilfe des elaborierten Entwurfsablaufs wird festgelegt, wie die einzelnen Komponenten im Zusammenspiel agieren.

Was kompliziert klingt, bestimmt unseren Alltag in zunehmendem Maße. Ob im Auto, Flugzeug, Handy oder Haushalt: Eingebettete Systeme steuern viele Geräte und werden in sich immer komplexer. „Damit steigen auch die Anforderungen an Qualität und Sicherheit dieser Systeme“, beschreibt Professor Dr. Rolf Drechsler, Direktor des Forschungsbereichs am DFKI, die Herausforderung. „Wir wollen einen neuartigen Entwurfsablauf entwickeln, der die Qualität und Sicherheit eingebetteter Systeme erhöht und damit dazu beitragen, neue Methoden und Techniken voranzutreiben.“ Das Projekt der Bremer DFKI-Forscher ist insbesondere für die Chipindustrie von Interesse: Der neue Entwurfsablauf samt Software-Tools könnte künftig helfen, Zeit und Kosten bei der Chipentwicklung zu senken. Denn er ermöglicht, Sicherheit und Funktionalität bereits in der Entwurfsphase zu prüfen.

Das Smartphone illustriert, wie stark eingebettete Systeme unseren Alltag bestimmen. Es ermöglicht neben dem Telefonieren eine Vielzahl von Tätigkeiten – vom Fotografieren über die Kalenderfunktion bis zum Abrufen von E-Mails. Dass alle Funktionen der eingebetteten Systeme möglichst reibungsfrei ablaufen, ist in den hochkomplexen, aber nur daumennagelgroßen Mikroprozessoren hinterlegt. Funktionieren einzelne Komponenten nicht einwandfrei, gleicht das Aufspüren der Fehlerquelle heute oft noch der berühmten Suche nach der Nadel im Heuhaufen. Darauf folgen zahlreiche Korrekturen im Gesamtablauf, weil die einzelnen Komponenten in Wechselwirkung zueinander stehen. Das ist zeit- und kostenaufwändig.

Der neue Entwurfsablauf soll dagegen früher ansetzen. „Die Einführung einer zusätzlichen formalen Spezifikationsebene soll künftig ermöglichen, eingebettete Systeme bereits vor ihrer Implementierung auf Korrektheit und Widerspruchsfreiheit zu prüfen“, beschreibt Rolf Drechsler die Aufgabe seines Teams. So können Fehler an der Wurzel aufgespürt und korrigiert werden, bevor sie – anders als bislang – in elektronische Schaltkreise einfließen.

Die neue Spezifikationsebene ist dabei nur ein Teil von „SPECifIC“. Zusätzlich soll ein durchgängiges Änderungsmanagement zur Anwendung kommen, dass eine automatische Fehlerkorrektur im gesamten Entwurfsablauf gewährleistet. Ein weiterer Arbeitsbereich des Forscherteams liegt darin, eine natürlichsprachliche Systemspezifikation zu Beginn des Entwurfs einzubeziehen. Hier geht es um die widerspruchsfreie Übersetzung der Anforderungen an das System in Computersprache.

Das Thema Sicherheit wird Informatiker auch in Zukunft weiter beschäftigen. „Denn klar ist: Eingebettete Systeme werden nicht nur komplexer, sondern auch immer mehr eingesetzt“, so Rolf Drechsler. Und das in Bereichen, in denen die Sicherheit von großer Bedeutung ist: in den Kommunikationsmedien, aber auch in Flugzeugen oder medizinischen Geräten.

Der Forschungsbereich CPS kooperiert bei dem Projekt mit der Universität Bremen, insbesondere dem Reinhart-Koselleck-Projekt „Entwicklung eines durchgängigen Verifikationsablaufes für den ESL Entwurf“ der Deutschen Forschungsgemeinschaft (DFG).

Gefördert vom: Bundesministerium für Bildung und Forschung (Fördernummer: 01IW13001)

Projektdaten auf einen Blick:
• Projekt: SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management
• Laufzeit: 1.08.2013–31.07.2016
• Fördersumme: 1,6 Mio. Euro
• Fördergeber: Bundesministerium für Bildung und Forschung
Ansprechpartner:
Prof. Dr. Rolf Drechsler
Direktor DFKI Cyber Physical Systems
E-Mail: rolf.drechsler@dfki.de
Telefon: 0421 – 218 63932
http://www.dfki.de/cps
Team Unternehmenskommunikation Bremen
E-Mail: uk-hb@dfki.de
Telefon: 0421 – 178 45 4121

Daniela Menzel | idw
Weitere Informationen:
http://www.dfki.de/cps

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Spitzenforschung vom Nanodraht bis zur Supernova: Fünf ERC Consolidator Grants für die TU München
14.12.2017 | Technische Universität München

nachricht Leibniz-Preise 2018: DFG zeichnet vier Wissenschaftlerinnen und sieben Wissenschaftler aus
14.12.2017 | Deutsche Forschungsgemeinschaft (DFG)

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: Immunsystem - Blutplättchen können mehr als bislang bekannt

LMU-Mediziner zeigen eine wichtige Funktion von Blutplättchen auf: Sie bewegen sich aktiv und interagieren mit Erregern.

Die aktive Rolle von Blutplättchen bei der Immunabwehr wurde bislang unterschätzt: Sie übernehmen mehr Funktionen als bekannt war. Das zeigt eine Studie von...

Im Focus: First-of-its-kind chemical oscillator offers new level of molecular control

DNA molecules that follow specific instructions could offer more precise molecular control of synthetic chemical systems, a discovery that opens the door for engineers to create molecular machines with new and complex behaviors.

Researchers have created chemical amplifiers and a chemical oscillator using a systematic method that has the potential to embed sophisticated circuit...

Im Focus: Nanostrukturen steuern Wärmetransport: Bayreuther Forscher entdecken Verfahren zur Wärmeregulierung

Der Forschergruppe von Prof. Dr. Markus Retsch an der Universität Bayreuth ist es erstmals gelungen, die von der Temperatur abhängige Wärmeleitfähigkeit mit Hilfe von polymeren Materialien präzise zu steuern. In der Zeitschrift Science Advances werden diese fortschrittlichen, zunächst für Laboruntersuchungen hergestellten Funktionsmaterialien beschrieben. Die hiermit gewonnenen Erkenntnisse sind von großer Relevanz für die Entwicklung neuer Konzepte zur Wärmedämmung.

Von Schmetterlingsflügeln zu neuen Funktionsmaterialien

Im Focus: Lange Speicherung photonischer Quantenbits für globale Teleportation

Wissenschaftler am Max-Planck-Institut für Quantenoptik erreichen mit neuer Speichertechnik für photonische Quantenbits Kohärenzzeiten, welche die weltweite...

Im Focus: Long-lived storage of a photonic qubit for worldwide teleportation

MPQ scientists achieve long storage times for photonic quantum bits which break the lower bound for direct teleportation in a global quantum network.

Concerning the development of quantum memories for the realization of global quantum networks, scientists of the Quantum Dynamics Division led by Professor...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Call for Contributions: Tagung „Lehren und Lernen mit digitalen Medien“

15.12.2017 | Veranstaltungen

Die Stadt der Zukunft nachhaltig(er) gestalten: inter 3 stellt Projekte auf Konferenz vor

15.12.2017 | Veranstaltungen

Mit allen Sinnen! - Sensoren im Automobil

14.12.2017 | Veranstaltungen

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

Weltrekord: Jülicher Forscher simulieren Quantencomputer mit 46 Qubits

15.12.2017 | Informationstechnologie

Wackelpudding mit Gedächtnis – Verlaufsvorhersage für handelsübliche Lacke

15.12.2017 | Verfahrenstechnologie

Forscher vereinfachen Installation und Programmierung von Robotersystemen

15.12.2017 | Energie und Elektrotechnik