idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
07.08.2017 10:52

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

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

    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. 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


    Bilder

    Merkmale dieser Pressemitteilung:
    Journalisten
    Elektrotechnik, Informationstechnik, Mathematik
    überregional
    Forschungsprojekte
    Deutsch


     

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).

    Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).