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
Criteria of this press release:
Journalists, Scientists and scholars
Electrical engineering, Information technology
transregional, national
Contests / awards, Research projects
German
Dr. Daniel Große (links) und Muhammad Hassan mit ihrer Auszeichnung
DFKI GmbH, Foto: Lisa Jungmann
None
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
