20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
Am 8. und 9. Februar 2017 veranstalten die Universität Bremen und der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungsbereichs für Künstliche Intelligenz (DFKI) den 20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)“ im Haus der Wissenschaft in Bremen.
Um die Korrektheit, Robustheit und Zuverlässigkeit heutiger hochkomplexer Schaltungen und Systeme zu gewährleisten, müssen kontinuierlich neue, automatisierte und intelligente Testverfahren sowie Methoden der Qualitätssicherung entworfen werden. Dies ist besonders in sicherheitskritischen Anwendungsfeldern relevant. Der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”, der durch die Gesellschaft für Informatik (GI), die Informationstechnische Gesellschaft im VDE (ITG) und die VDE/VDI-Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (GMM) getragen wird, bietet Wissenschaftlerinnen und Wissenschaftlern ein Diskussionsforum für neue Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme. Insbesondere wird der Kontakt zwischen Universitäten, Forschungseinrichtungen und Industrie gefördert und ein gegenseitiger Gedankenaustausch angeregt.
Neben Präsentationen von wissenschaftlichen Beiträgen zu diesen Themen, umfasst das Workshop-Programm auch Vorträge eingeladener Vertreter aus Industrie und Wissenschaft.
Weitere Informationen zum Workshop-Programm unter:
http://www.informatik.uni-bremen.de/mbmv2017/programm.php
Ansprechpartner:
Prof. Dr. Rolf Drechsler
Tel.: +49 421 218 63932
E-Mail: rolf.drechsler@dfki.de
Dr. Daniel Große
Tel.: +49 421 218 63935
E-Mail: daniel.grosse@dfki.de
Breaking News
-
Monday, 26 Sep 2016„MarkeThing 2016“ ODER: Vom Internet der Dinge zum Marketing der Dinge
-
Thursday, 15 Sep 2016Dokumentarfilm IK BEN ALICE – Prof. Dr. Drechsler diskutiert bei der Futurale zum Thema Pflegeroboter
-
Monday, 12 Sep 2016Internationaler wissenschaftlicher Austausch auf dem Forum on Specification & Design Languages (FDL) in Bremen
-
Tuesday, 23 Aug 2016DFKI Bremen auf dem Tag der offenen Tür der Bundesregierung
-
Tuesday, 23 Aug 2016Neues DFKI-Projekt SELFIE schlägt innovativen Weg in der Verifikation cyber-physischer Systeme ein
