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, 5 May 2020More space for Artificial Intelligence: DFKI Bremen starts construction on extension with new test sites and workshops
-
Thursday, 30 Apr 2020Robotics in care: DFKI Bremen and Johanniter work on the hospital bed of the future in BMBF-funded project
-
Friday, 3 Apr 20203D-printed protective masks for clinic in Bremen
-
Tuesday, 17 Mar 2020COVID 19 - News
-
Monday, 24 Feb 2020Mit smarten Alltagsanwendungen Mädchen für Informatik begeistern – Einladung zur smile expo im Haus der Wissenschaft in Bremen
