Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Neues DFKI-Projekt SELFIE schlägt innovativen Weg in der Verifikation cyber-physischer Systeme ein

23.08.2016

Vor der Markteinführung müssen neue Computersysteme auf ihre Korrektheit überprüft werden. Jedoch ist eine vollständige Verifikation aufgrund der Komplexität heutiger Rechner aus Zeitgründen oft nicht möglich. Im nun gestarteten Projekt SELFIE verfolgt der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) unter Leitung von Prof. Dr. Rolf Drechsler einen grundlegend neuen Ansatz, der es Systemen ermöglicht, sich nach der Produktion und Auslieferung selbst zu verifizieren. Das Bundesministerium für Bildung und Forschung (BMBF) unterstützt das Vorhaben über drei Jahre mit einer Fördersumme von 1,4 Millionen Euro.

In den letzten Jahrzehnten wurden enorme Fortschritte in der Computertechnik erzielt. Ergebnis dieser Entwicklung sind eingebettete und cyber-physische Systeme, die heute in Form von Mikrochips in nahezu allen Bereichen unseres täglichen Lebens zum Einsatz kommen – in Smartphones, Kaffeemaschinen und elektrischen Zahnbürsten genauso wie in sicherheitskritischen Anwendungen, etwa in Zügen, Flugzeugen oder medizinischen Implantaten.


Quelle: DFKI GmbH, Foto: Elisabeth Jungmann

Um die Korrektheit dieser immer komplexeren Systeme zu gewährleisten, werden sie bereits in der Entwurfsphase mit Hilfe verschiedener Verifikationsverfahren auf Fehler überprüft. Das Problem: Die wachsende Komplexität und die immer kürzeren Produkteinführungs-Zyklen (time-to-market-Zyklen) zwingen Ingenieure dazu, den Verifikationsprozess abzuschließen, selbst wenn die funktionale Korrektheit noch nicht vollständig sichergestellt werden konnte. Dies führt dazu, dass Fehler im finalen Produkt oft unentdeckt bleiben.

Im Projekt SELFIE gehen die DFKI-Wissenschaftler in punkto Systemverifikation einen völlig neuen Weg: Indem sie technische Geräte mit zusätzlicher Hard- und Software ausstatten, befähigen sie die Systeme, alle nicht abgeschlossenen Verifikationsaufgaben noch während der Nutzung durch die Endanwenderin oder den Endanwender selbst zu komplettieren.

Durch diese Form der Selbstüberprüfung lassen sich die time-to-market-Bedingungen erfüllen, ohne den Verifikationsprozess abbrechen zu müssen. Zudem kann die Verifikation nach Auslieferung deutlich schneller erfolgen, da sie sich auf die tatsächlich genutzte Funktionalität beschränken lässt, wohingegen die Überprüfung in der Entwurfsphase noch alle Einsatzszenarien im Blick haben muss.

Sollte sich durch die Selbstprüfung herausstellen, dass das System noch fehlerhaft ist, könnte der Hersteller zukünftig rechtzeitig darauf reagieren, etwa durch Updates, die Deaktivierung bestimmter Funktionalitäten oder im schlimmsten Fall durch Rückrufaktionen. „Das Projekt hat das Potenzial die Chipproduktion nachhaltig zu verbessern“, ist sich Prof. Dr. Rolf Drechsler sicher.

Wie sich die Selbstverifikation von Systemen umsetzen und in existierende Entwurfsabläufe integrieren lässt, wollen die Forscher in SELFIE untersuchen. Die entwickelten Methoden sollen an praktischen Fallstudien aus dem Bereich Smart Home evaluiert werden. Dafür greifen die Wissenschaftler auf bereits existierende Systeme aus der DFKI-Laborwohnung Bremen Ambient Assisted Living Lab (BAALL) zurück, die sie um Komponenten zur Selbstverifikation erweitern und unter realitätsnahen Bedingungen testen wollen.

Weitere Informationen unter www.dfki.de/cps


Kontakt:
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Cyber-Physical Systems
Prof. Dr. Rolf Drechsler
E-Mail: Rolf.Drechsler@dfki.de
Telefon: 0421 218 63932

Pressekontakt:
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Team Unternehmenskommunikation Bremen
E-Mail: uk-hb@dfki.de
Tel.: 0421 178 45 4180

Andrea Fink | idw - Informationsdienst Wissenschaft

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Vernetzte Produktion in Echtzeit: Deutsch-schwedisches Testbed geht in die zweite Phase
11.12.2019 | Fraunhofer-Institut für Produktionstechnologie IPT

nachricht Sensoraufkleber überwacht Lebensmittelproduktion
11.12.2019 | Ruhr-Universität Bochum

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Hochgeladenes Ion bahnt den Weg zu neuer Physik

In einer experimentell-theoretischen Gemeinschaftsarbeit hat am Heidelberger MPI für Kernphysik ein internationales Physiker-Team erstmals eine Orbitalkreuzung im hochgeladenen Ion Pr9+ nachgewiesen. Mittels einer Elektronenstrahl-Ionenfalle haben sie optische Spektren aufgenommen und anhand von Atomstrukturrechnungen analysiert. Ein hierfür erwarteter Übergang von nHz-Breite wurde identifiziert und seine Energie mit hoher Präzision bestimmt. Die Theorie sagt für diese „Uhrenlinie“ eine sehr große Empfindlichkeit auf neue Physik und zugleich eine extrem geringe Anfälligkeit gegenüber externen Störungen voraus, was sie zu einem einzigartigen Kandidaten zukünftiger Präzisionsstudien macht.

Laserspektroskopie neutraler Atome und einfach geladener Ionen hat während der vergangenen Jahrzehnte Dank einer Serie technologischer Fortschritte eine...

Im Focus: Highly charged ion paves the way towards new physics

In a joint experimental and theoretical work performed at the Heidelberg Max Planck Institute for Nuclear Physics, an international team of physicists detected for the first time an orbital crossing in the highly charged ion Pr⁹⁺. Optical spectra were recorded employing an electron beam ion trap and analysed with the aid of atomic structure calculations. A proposed nHz-wide transition has been identified and its energy was determined with high precision. Theory predicts a very high sensitivity to new physics and extremely low susceptibility to external perturbations for this “clock line” making it a unique candidate for proposed precision studies.

Laser spectroscopy of neutral atoms and singly charged ions has reached astonishing precision by merit of a chain of technological advances during the past...

Im Focus: Ultrafast stimulated emission microscopy of single nanocrystals in Science

The ability to investigate the dynamics of single particle at the nano-scale and femtosecond level remained an unfathomed dream for years. It was not until the dawn of the 21st century that nanotechnology and femtoscience gradually merged together and the first ultrafast microscopy of individual quantum dots (QDs) and molecules was accomplished.

Ultrafast microscopy studies entirely rely on detecting nanoparticles or single molecules with luminescence techniques, which require efficient emitters to...

Im Focus: Wie Graphen-Nanostrukturen magnetisch werden

Graphen, eine zweidimensionale Struktur aus Kohlenstoff, ist ein Material mit hervorragenden mechanischen, elektronischen und optischen Eigenschaften. Doch für magnetische Anwendungen schien es bislang nicht nutzbar. Forschern der Empa ist es gemeinsam mit internationalen Partnern nun gelungen, ein in den 1970er Jahren vorhergesagtes Molekül zu synthetisieren, welches beweist, dass Graphen-Nanostrukturen in ganz bestimmten Formen magnetische Eigenschaften aufweisen, die künftige spintronische Anwendungen erlauben könnten. Die Ergebnisse sind eben im renommierten Fachmagazin Nature Nanotechnology erschienen.

Graphen-Nanostrukturen (auch Nanographene genannt) können, je nach Form und Ausrichtung der Ränder, ganz unterschiedliche Eigenschaften besitzen - zum Beispiel...

Im Focus: How to induce magnetism in graphene

Graphene, a two-dimensional structure made of carbon, is a material with excellent mechanical, electronic and optical properties. However, it did not seem suitable for magnetic applications. Together with international partners, Empa researchers have now succeeded in synthesizing a unique nanographene predicted in the 1970s, which conclusively demonstrates that carbon in very specific forms has magnetic properties that could permit future spintronic applications. The results have just been published in the renowned journal Nature Nanotechnology.

Depending on the shape and orientation of their edges, graphene nanostructures (also known as nanographenes) can have very different properties – for example,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Analyse internationaler Finanzmärkte

10.12.2019 | Veranstaltungen

QURATOR 2020 – weltweit erste Konferenz für Kuratierungstechnologien

04.12.2019 | Veranstaltungen

Die Zukunft der Arbeit

03.12.2019 | Veranstaltungen

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

Humane Papillomviren programmieren ihre Wirtszellen um und begünstigen so die Hautkrebsentstehung

12.12.2019 | Medizin Gesundheit

Urbane Gärten: Wie Agrarschädlinge von Städten profitieren

12.12.2019 | Biowissenschaften Chemie

Die „Luft“ im Ozean wird dünner - Sauerstoffgehalte im Meerwasser gehen weiter zurück

12.12.2019 | Biowissenschaften Chemie

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