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 Strukturbiologieforschung in Berlin: DFG bewilligt Mittel für neue Hochleistungsmikroskope
20.10.2017 | Freie Universität Berlin

nachricht Gitterdynamiken in ionischen Leitern
18.10.2017 | Justus-Liebig-Universität Gießen

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: Hochfeldmagnet am BER II: Einblick in eine versteckte Ordnung

Seit dreißig Jahren gibt eine bestimmte Uranverbindung der Forschung Rätsel auf. Obwohl die Kristallstruktur einfach ist, versteht niemand, was beim Abkühlen unter eine bestimmte Temperatur genau passiert. Offenbar entsteht eine so genannte „versteckte Ordnung“, deren Natur völlig unklar ist. Nun haben Physiker erstmals diese versteckte Ordnung näher charakterisiert und auf mikroskopischer Skala untersucht. Dazu nutzten sie den Hochfeldmagneten am HZB, der Neutronenexperimente unter extrem hohen magnetischen Feldern ermöglicht.

Kristalle aus den Elementen Uran, Ruthenium, Rhodium und Silizium haben eine geometrisch einfache Struktur und sollten keine Geheimnisse mehr bergen. Doch das...

Im Focus: Schmetterlingsflügel inspiriert Photovoltaik: Absorption lässt sich um bis zu 200 Prozent steigern

Sonnenlicht, das von Solarzellen reflektiert wird, geht als ungenutzte Energie verloren. Die Flügel des Schmetterlings „Gewöhnliche Rose“ (Pachliopta aristolochiae) zeichnen sich durch Nanostrukturen aus, kleinste Löcher, die Licht über ein breites Spektrum deutlich besser absorbieren als glatte Oberflächen. Forschern am Karlsruher Institut für Technologie (KIT) ist es nun gelungen, diese Nanostrukturen auf Solarzellen zu übertragen und deren Licht-Absorptionsrate so um bis zu 200 Prozent zu steigern. Ihre Ergebnisse veröffentlichten die Wissenschaftler nun im Fachmagazin Science Advances. DOI: 10.1126/sciadv.1700232

„Der von uns untersuchte Schmetterling hat eine augenscheinliche Besonderheit: Er ist extrem dunkelschwarz. Das liegt daran, dass er für eine optimale...

Im Focus: Schnelle individualisierte Therapiewahl durch Sortierung von Biomolekülen und Zellen mit Licht

Im Blut zirkulierende Biomoleküle und Zellen sind Träger diagnostischer Information, deren Analyse hochwirksame, individuelle Therapien ermöglichen. Um diese Information zu erschließen, haben Wissenschaftler des Fraunhofer-Instituts für Lasertechnik ILT ein Mikrochip-basiertes Diagnosegerät entwickelt: Der »AnaLighter« analysiert und sortiert klinisch relevante Biomoleküle und Zellen in einer Blutprobe mit Licht. Dadurch können Frühdiagnosen beispielsweise von Tumor- sowie Herz-Kreislauf-Erkrankungen gestellt und patientenindividuelle Therapien eingeleitet werden. Experten des Fraunhofer ILT stellen diese Technologie vom 13.–16. November auf der COMPAMED 2017 in Düsseldorf vor.

Der »AnaLighter« ist ein kompaktes Diagnosegerät zum Sortieren von Zellen und Biomolekülen. Sein technologischer Kern basiert auf einem optisch schaltbaren...

Im Focus: Neue Möglichkeiten für die Immuntherapie beim Lungenkrebs entdeckt

Eine gemeinsame Studie der Universität Bern und des Inselspitals Bern zeigt, dass spezielle Bindegewebszellen, die in normalen Blutgefässen die Wände abdichten, bei Lungenkrebs nicht mehr richtig funktionieren. Zusätzlich unterdrücken sie die immunologische Bekämpfung des Tumors. Die Resultate legen nahe, dass diese Zellen ein neues Ziel für die Immuntherapie gegen Lungenkarzinome sein könnten.

Lungenkarzinome sind die häufigste Krebsform weltweit. Jährlich werden 1.8 Millionen Neudiagnosen gestellt; und 2016 starben 1.6 Millionen Menschen an der...

Im Focus: Sicheres Bezahlen ohne Datenspur

Ob als Smartphone-App für die Fahrkarte im Nahverkehr, als Geldwertkarten für das Schwimmbad oder in Form einer Bonuskarte für den Supermarkt: Für viele gehören „elektronische Geldbörsen“ längst zum Alltag. Doch vielen Kunden ist nicht klar, dass sie mit der Nutzung dieser Angebote weitestgehend auf ihre Privatsphäre verzichten. Am Karlsruher Institut für Technologie (KIT) entsteht ein sicheres und anonymes System, das gleichzeitig Alltagstauglichkeit verspricht. Es wird nun auf der Konferenz ACM CCS 2017 in den USA vorgestellt.

Es ist vor allem das fehlende Problembewusstsein, das den Informatiker Andy Rupp von der Arbeitsgruppe „Kryptographie und Sicherheit“ am KIT immer wieder...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Das Immunsystem in Extremsituationen

19.10.2017 | Veranstaltungen

Die jungen forschungsstarken Unis Europas tagen in Ulm - YERUN Tagung in Ulm

19.10.2017 | Veranstaltungen

Bauphysiktagung der TU Kaiserslautern befasst sich mit energieeffizienten Gebäuden

19.10.2017 | Veranstaltungen

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

Forscher finden Hinweise auf verknotete Chromosomen im Erbgut

20.10.2017 | Biowissenschaften Chemie

Saugmaschinen machen Waschwässer von Binnenschiffen sauberer

20.10.2017 | Ökologie Umwelt- Naturschutz

Strukturbiologieforschung in Berlin: DFG bewilligt Mittel für neue Hochleistungsmikroskope

20.10.2017 | Förderungen Preise