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
-
Tuesday, 28 May 2019Forschungsbereich CPS mit drei Vorträgen auf der DAC 2019 in Las Vegas
-
Wednesday, 22 May 2019DFKI beim OPEN CAMPUS 2019: Interaktion mit Robotern und Informatik für Mädchen
-
Monday, 6 May 2019RoboCup German Open 2019: B-Human holt den Meistertitel zurück an die Weser
-
Friday, 3 May 2019Wie Künstliche Intelligenz die Wirtschaft revolutioniert – Professor Rolf Drechsler bei „i|2|b meets BREMEN.AI“
-
Thursday, 25 Apr 2019Warm-Up für die RoboCup German Open 2019: B-Human lädt zum öffentlichen Training in die Universität Bremen
