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 Smart Glasses Guide: Neues Tool zur Auswahl von Datenbrillen und Anwendungen
15.10.2018 | Fraunhofer-Institut für Produktionstechnologie IPT

nachricht Einzigartige Infrastruktur für Deep Learning – DFKI erhält ersten NVIDIA DGX2 Supercomputer Europas
11.10.2018 | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Auf dem Weg zu maßgeschneiderten Naturstoffen

Biotechnologen entschlüsseln Struktur und Funktion von Docking Domänen bei der Biosynthese von Peptid-Wirkstoffen

Mikroorganismen bauen Naturstoffe oft wie am Fließband zusammen. Dabei spielen bestimmte Enzyme, die nicht-ribosomalen Peptid Synthetasen (NRPS), eine...

Im Focus: Größter Galaxien-Proto-Superhaufen entdeckt

Astronomen enttarnen mit dem ESO Very Large Telescope einen kosmischen Titanen, der im frühen Universum lauert

Ein Team von Astronomen unter der Leitung von Olga Cucciati vom Istituto Nazionale di Astrofisica (INAF) Bologna hat mit dem VIMOS-Instrument am Very Large...

Im Focus: Auf Wiedersehen, Silizium? Auf dem Weg zu neuen Materalien für die Elektronik

Wissenschaftler des Max-Planck-Instituts für Polymerforschung (MPI-P) in Mainz haben zusammen mit Wissenschaftlern aus Dresden, Leipzig, Sofia (Bulgarien) und Madrid (Spanien) ein neues, metall-organisches Material entwickelt, welches ähnliche Eigenschaften wie kristallines Silizium aufweist. Das mit einfachen Mitteln bei Raumtemperatur herstellbare Material könnte in Zukunft als Ersatz für konventionelle nicht-organische Materialien dienen, die in der Optoelektronik genutzt werden.

Bei der Herstellung von elektronischen Komponenten wie Solarzellen, LEDs oder Computerchips wird heutzutage vorrangig Silizium eingesetzt. Für diese...

Im Focus: Goodbye, silicon? On the way to new electronic materials with metal-organic networks

Scientists at the Max Planck Institute for Polymer Research (MPI-P) in Mainz (Germany) together with scientists from Dresden, Leipzig, Sofia (Bulgaria) and Madrid (Spain) have now developed and characterized a novel, metal-organic material which displays electrical properties mimicking those of highly crystalline silicon. The material which can easily be fabricated at room temperature could serve as a replacement for expensive conventional inorganic materials used in optoelectronics.

Silicon, a so called semiconductor, is currently widely employed for the development of components such as solar cells, LEDs or computer chips. High purity...

Im Focus: Blauer Phosphor – jetzt erstmals vermessen und kartiert

Die Existenz von „Blauem“ Phosphor war bis vor kurzem reine Theorie: Nun konnte ein HZB-Team erstmals Proben aus blauem Phosphor an BESSY II untersuchen und über ihre elektronische Bandstruktur bestätigen, dass es sich dabei tatsächlich um diese exotische Phosphor-Modifikation handelt. Blauer Phosphor ist ein interessanter Kandidat für neue optoelektronische Bauelemente.

Das Element Phosphor tritt in vielerlei Gestalt auf und wechselt mit jeder neuen Modifikation auch den Katalog seiner Eigenschaften. Bisher bekannt waren...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Natürlich intelligent

19.10.2018 | Veranstaltungen

Rettungsdienst und Feuerwehr - Beschaffung von Rettungsdienstfahrzeugen, -Geräten und -Material

18.10.2018 | Veranstaltungen

11. Jenaer Lasertagung

16.10.2018 | Veranstaltungen

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

Ultraleichte und belastbare HighEnd-Kunststoffe ermöglichen den energieeffizienten Verkehr

19.10.2018 | Materialwissenschaften

IMMUNOQUANT: Bessere Krebstherapien als Ziel

19.10.2018 | Biowissenschaften Chemie

Raum für Bildung: Physik völlig schwerelos

19.10.2018 | Bildung Wissenschaft

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