Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Neues Projekt CONVERS – Innovative Verifikationsmethodik für die Sicherheit hochkomplexer Systeme

07.08.2017

Ob in der Automobiltechnik, der Industrieautomatisierung oder der Medizintechnik – die Fortschritte in der Computertechnik führen zu immer komplexeren elektronischen Systemen. Gleichzeitig spielen Sicherheit und Zuverlässigkeit eine außerordentlich große Rolle. Im nun gestarteten Projekt CONVERS entwickelt der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) unter Leitung von Prof. Dr. Rolf Drechsler neuartige Verifikationsmethoden für heterogene Systeme, welche die korrekte und sichere Funktionsweise des Gesamtsystems gewährleisten.

Obwohl viele der heutigen hochkomplexen Systeme aus digitalen und analogen Komponenten bestehen, gibt es bisher keine durchgängigen Verifikationsmethoden, die sowohl das digitale als auch das analoge Systemverhalten berücksichtigen. Dies beeinträchtigt nicht nur die Verifikationsqualität, sondern führt auch dazu, dass der ohnehin schon hohe Aufwand im Systementwurf noch weiter steigt.


Quelle: COSEDA Technologies GmbH

Ziel des vom Bundesministerium für Bildung und Forschung (BMBF) durch die Förderinitiative KMU-innovativ mit rund 770.000 Euro über drei Jahre geförderten Projekts CONVERS ist es, die automatische Verifikation von gemischten analog-digitalen Systemen (Analog-Mixed-Signal(AMS)-Systems) in einer möglichst frühen Entwurfsphase voranzubringen.

Hierbei setzen die Wissenschaftler des DFKI-Forschungsbereichs auf die sogenannte Constraint-gesteuerte Zufallssimulation (engl. Constrained Random Verification, CRV), die bereits sehr erfolgreich für die Verifikation rein digitaler Systeme zum Einsatz kommt.

Im Gegensatz zu klassischen Methoden, bei denen jeweils ein Szenario zur Überprüfung des erwarteten Systemverhaltens beschrieben wird, lässt sich hierbei mit Hilfe von logischen Bedingungen (Constraints) der gesamte mögliche Eingaberaum beschreiben, so dass eine sehr große Anzahl von Testsequenzen automatisiert generiert und per Simulation überprüft werden kann.

Für komplexe digitale Systeme sind Verfahren auf CRV-Basis heute unabdingbar, da nur damit die Verifikationsziele, insbesondere eine hohe Verifikationsüberdeckung, erreicht werden können. In CONVERS wird diese Methode in der Entwurfsphase nicht mehr nur auf digitales, sondern auch auf analoges Systemverhalten und somit auf das Gesamtsystem angewandt.

Dafür nutzen die Wissenschaftler virtuelle Prototypen, d.h. simulierbare Modelle der Systeme in Form von Computerprogrammen, welche die effiziente Simulation von Anwendungsszenarien des Gesamtsystems erlauben. Ziel ist es, die identischen Ergebnisse, welche durch die Constraint-gesteuerte Zufallssimulation rein digitaler Systeme erreicht werden, auch für heterogene Systeme zu erreichen.

So sollen mit Hilfe der entwickelten Methoden, Bibliotheken und Werkzeuge bei gleichen Beschreibungsaufwand deutlich mehr Testsequenzen mit einer höheren Testabdeckung erzeugt werden. Auf diese Weise lässt sich der Verifikationsaufwand erheblich reduzieren und die korrekte und sichere Funktionsweise auch hochkomplexer elektronischer Systeme gewährleisten.

Das DFKI arbeitet in CONVERS mit dem Startup COSEDA Technologies zusammen, die mit Hilfe der im Projekt entwickelten innovativen Verfahren ihr Modellierungswerkzeug COSIDE zu einem Verifikationswerkzeug weiterentwickeln.

Weitere Informationen unter www.dfki.de/cps/research/projects/CONVERS

Bildmaterial:
Unter https://cloud.dfki.de/owncloud/index.php/s/8gJpOLp2vd07kK4 steht ein Bild zum Download bereit. Dieses können Sie mit Nennung der Quelle "COSEDA Technologies GmbH" gerne verwenden.

Ansprechpartner:
Dr. Daniel Große
Cyber-Physical Systems
Tel.: +49 421 218 63935
E-Mail: daniel.grosse@dfki.de

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

Andrea Fink DFKI Bremen | Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Your Smartphone is Watching You: Gefährliche Sicherheitslücken in Tracker-Apps
13.08.2018 | Fraunhofer-Institut für Sichere Informationstechnologie SIT

nachricht Der Roboter als „Tankwart“: TU Graz entwickelt robotergesteuertes Schnellladesystem für E-Fahrzeuge
13.08.2018 | Technische Universität Graz

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Der Roboter als „Tankwart“: TU Graz entwickelt robotergesteuertes Schnellladesystem für E-Fahrzeuge

Eine Weltneuheit präsentieren Forschende der TU Graz gemeinsam mit Industriepartnern: Den Prototypen eines robotergesteuerten CCS-Schnellladesystems für Elektrofahrzeuge, das erstmals auch das serielle Laden von Fahrzeugen in unterschiedlichen Parkpositionen ermöglicht.

Für elektrisch angetriebene Fahrzeuge werden weltweit hohe Wachstumsraten prognostiziert: 2025, so die Prognosen, wird es jährlich bereits 25 Millionen...

Im Focus: Robots as 'pump attendants': TU Graz develops robot-controlled rapid charging system for e-vehicles

Researchers from TU Graz and their industry partners have unveiled a world first: the prototype of a robot-controlled, high-speed combined charging system (CCS) for electric vehicles that enables series charging of cars in various parking positions.

Global demand for electric vehicles is forecast to rise sharply: by 2025, the number of new vehicle registrations is expected to reach 25 million per year....

Im Focus: Der „TRiC” bei der Aktinfaltung

Damit Proteine ihre Aufgaben in Zellen wahrnehmen können, müssen sie richtig gefaltet sein. Molekulare Assistenten, sogenannte Chaperone, unterstützen Proteine dabei, sich in ihre funktionsfähige, dreidimensionale Struktur zu falten. Während die meisten Proteine sich bis zu einem bestimmten Grad ohne Hilfe falten können, haben Forscher am Max-Planck-Institut für Biochemie nun gezeigt, dass Aktin komplett von den Chaperonen abhängig ist. Aktin ist das am häufigsten vorkommende Protein in höher entwickelten Zellen. Das Chaperon TRiC wendet einen bislang noch nicht beschriebenen Mechanismus für die Proteinfaltung an. Die Studie wurde im Fachfachjournal Cell publiziert.

Bei Aktin handelt es sich um das am häufigsten vorkommende Protein in höher entwickelten Zellen, das bei Prozessen wie Zellstabilisation, Zellteilung und...

Im Focus: The “TRiC” to folding actin

Proteins must be folded correctly to fulfill their molecular functions in cells. Molecular assistants called chaperones help proteins exploit their inbuilt folding potential and reach the correct three-dimensional structure. Researchers at the Max Planck Institute of Biochemistry (MPIB) have demonstrated that actin, the most abundant protein in higher developed cells, does not have the inbuilt potential to fold and instead requires special assistance to fold into its active state. The chaperone TRiC uses a previously undescribed mechanism to perform actin folding. The study was recently published in the journal Cell.

Actin is the most abundant protein in highly developed cells and has diverse functions in processes like cell stabilization, cell division and muscle...

Im Focus: Arctic Ocean 2018 - Forscher untersuchen Wolken und Meereis in der Arktis

"Arctic Ocean 2018": So heißt die diesjährige Forschungsexpedition des schwedischen Eisbrechers ODEN in der Arktis, an der auch ein Wissenschaftler der Universität Leipzig beteiligt ist. Noch bis zum 25. September wollen die etwa 40 Forscher an Bord vor allem das mikrobiologische Leben im Ozean und im Meereis untersuchen und wie es mit der Wolkenbildung in der Arktis zusammenhängt.

Während der Fahrt durch die Arktis, die Ende Juli gestartet ist, sollen im Rahmen der Kampagne MOCCHA 2018 (Microbiology-Ocean-Cloud-Coupling in the Hight...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

EEA-ESEM Konferenz findet an der Uni Köln statt

13.08.2018 | Veranstaltungen

Digitalisierung in der chemischen Industrie

09.08.2018 | Veranstaltungen

Herausforderung China – Wissenschaftler aus der ganzen Welt diskutieren miteinander auf UW/H-Tagung

03.08.2018 | Veranstaltungen

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

Weltkleinster Transistor schaltet Strom mit einzelnem Atom in festem Elektrolyten

13.08.2018 | Energie und Elektrotechnik

Your Smartphone is Watching You: Gefährliche Sicherheitslücken in Tracker-Apps

13.08.2018 | Informationstechnologie

Was wir von Ameisen und Amöben über Koordination und Zusammenarbeit lernen können

13.08.2018 | Biowissenschaften Chemie

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