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
-
Tuesday, 5 Apr 2011Third European title in robot soccer
-
Friday, 25 Jun 2010Germany is world champion! DFKI and University of Bremen defend title in robot soccer
-
Monday, 19 Apr 2010DFKI Bremen defends European title in robot soccer
-
Tuesday, 13 Oct 2009DFKI presented component of safety for autonomous mobile service robots (SAMS)
-
Monday, 6 Jul 2009Bremen is the world champion in robot soccer
