idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Elektronische Systeme werden immer komplexer und bestehen meist aus digitalen und analogen Komponenten. Der Aufwand für die Verifikation solcher Systeme ist jedoch kaum zu beherrschen. In Ihrer Publikation „Using Constraints for SystemC AMS Design and Verification“ ist es Dr. Daniel Große und Muhammad Hassan vom Forschungsbereich Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI GmbH) in Zusammenarbeit mit Thilo Vörtler und Karsten Einwich von der COSEDA Technologies GmbH gelungen, einen Lösungsansatz für dieses Problem aufzuzeigen. Dafür wurden sie jetzt auf der „DVCon Europe 2018“ in München mit dem „Best Paper Award“ ausgezeichnet.
Ziel der Forschungsarbeit ist es, die automatische Verifikation von gemischten analog-digitalen Systemen (Analog-Mixed-Signal(AMS)-Systems) in einer möglichst frühen Entwurfsphase deutlich zu beschleunigen. Hierbei setzen die Wissenschaftler des DFKI-Forschungsbereichs Cyber-Physical Systems - unter Leitung von Prof. Dr. Rolf Drechsler - 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.
In frühen Entwurfsphasen kommen virtuelle Prototypen zum Einsatz, die eine effiziente Simulation von Anwendungsszenarien des Gesamtsystems erlauben. Das Ziel der Wissenschaftler bestand darin, die Erfolge, die durch die Constraint-gesteuerte Zufallssimulation rein digitaler Systeme möglich sind, auch für heterogene Systeme zu erreichen. Dafür wurde die bereits im Forschungsbereich entwickelte Verifikationsumgebung CRAVE (Advanced Constrained RAndom Verification Environment for SystemC) für die Lösung von analogen Bedingungen erweitert.
Mit Hilfe der entwickelten Methoden, Bibliotheken und Werkzeuge können bei gleichem Beschreibungsaufwand deutlich mehr Testsequenzen mit einer höheren Testabdeckung erzeugt werden. Auf diese Weise lässt sich der Verifikationsaufwand erheblich reduzieren und die korrekte, sichere Funktionsweise hochkomplexer heterogener elektronischer Systeme gewährleisten. Exemplarisch wird der Ablauf anhand eines Schaltungsbeispiels in der Publikation aufgezeigt.
Die Veröffentlichung entstand im Rahmen 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. Darin arbeitet das DFKI mit der COSEDA Technologies GmbH zusammen, die mit Hilfe der im Projekt entwickelten innovativen Verfahren ihr Modellierungswerkzeug COSIDE zu einem Verifikationswerkzeug weiterentwickeln möchte.
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
Dr. Daniel Große
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Cyber-Physical Systems
Tel.: +49 421 218 63935
E-Mail: daniel.grosse@dfki.de
http://www.dfki.de/cps/research/projects/CONVERS
Dr. Daniel Große (links) und Muhammad Hassan mit ihrer Auszeichnung
DFKI GmbH, Foto: Lisa Jungmann
None
Merkmale dieser Pressemitteilung:
Journalisten, Wissenschaftler
Elektrotechnik, Informationstechnik
überregional
Forschungsprojekte, Wettbewerbe / Auszeichnungen
Deutsch
Dr. Daniel Große (links) und Muhammad Hassan mit ihrer Auszeichnung
DFKI GmbH, Foto: Lisa Jungmann
None
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
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).
