Doktorandin Buse Ustaoglu mit Best Poster Award ausgezeichnet
Auf dem „ACM Great Lakes Symposium on VLSI (GLSVLSI)“, 23. bis 25. Mai 2018, in Chicago (USA) hat die Wissenschaftlerin Buse Ustaoglu von der Universität Bremen und dem DFKI-Forschungsbereich Cyber-Physical Systems den Best Poster Award für das gemeinsam mit Sebastian Huhn, Dr. Daniel Große und Prof. Dr. Rolf Drechsler verfasste Paper mit dem Titel „SAT-Lancer: A Hardware SAT-Solver for Self-Verification“ erhalten.
(v.l.n.r.) Houman Homayoun (George Mason University, USA), Buse Usaoglu, Baris Taskin (Drexel University, USA)
(Reference: Universität Bremen / DFKI GmbH)
Buse Ustaoglu vor ihrem Poster
(Reference: Universität Bremen / DFKI GmbH)
Thematisch ist die Arbeit im Bereich des Nachweises der Korrektheit von elektronischen Geräten angesiedelt. Allerdings wurde in dem Paper auf das fundamental neue Konzept der Selbstverifikation gesetzt. Dies bedeutet, dass die Verifikation nicht erzwungenermaßen mit der Auslieferung des Geräts endet, die Systeme verifizieren sich nunmehr während des Betriebs selbst. Zur praktischen Umsetzung der Selbstverifikation müssen die Verifikationskomponenten jedoch vollständig in Hardware realisiert werden. Eine solche Verifikationskomponente mit dem Namen SAT-Lancer wurde in dem Paper vorgestellt. Diese erlaubt es, vollständig in Hardware zu prüfen, ob eine Menge von logischen Formeln, sogenannte SAT-Instanzen, eine Lösung besitzt oder eben nicht. Die zentrale Herausforderung bei der Entwicklung von SAT-Lancer war es, ein skalierbares Speichermodell zu entwickeln, um die logischen Formeln einerseits geschickt bearbeiten und anderseits effektiv speichern zu können. Der SAT-Lancer benötigt hierfür deutlich weniger Fläche und kann wesentlich größere SAT-Instanzen handhaben als bisherige Hardware SAT-Solver.
Die Publikation ist Teil von Buse Ustaoglus Dissertation zum Thema „Hardware Verification Package for Self Verification and Security Measures“ sowie des CPS-Projekts SELFIE (Selbstverifikation von elektronischen Systemen). Frau Ustaoglu hat 2015 ihren Master of Science am Fachbereich Electronic Engineering an der Istanbul Technical University absolviert und arbeitet seit Dezember 2016 im DFKI-Forschungsbereich Cyber-Physical Systems.
Kontakt:
Buse Ustaoglu
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Forschungsbereich Cyber-Physical Systems
Telefon: +49 421 218-59836
E-Mail: Buse.Ustaoglu@dfki.de
Breaking News
-
Thursday, 10 Mar 2022Wie verändert Künstliche Intelligenz unseren Alltag? Prof. Rolf Drechsler bei SCIENCE GOES PUBLIC in der Gondi Kulturkneipe
-
Monday, 21 Feb 2022KI-Forschung hautnah erleben am Girls‘ Day 2022
-
Tuesday, 18 Jan 2022Team um Prof. Drechsler mit „10-Year Retrospective Most Influential Paper Award” der ASP-DAC 2022 ausgezeichnet
-
Wednesday, 15 Dec 2021Professor Drechsler zum „Distinguished Member“ der Association for Computing Machinery (ACM) ernannt
-
Monday, 6 Dec 2021Computer und die Suche nach der Wahrheit – Professor Christoph Lüth bei Wissen um 11
