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
-
Wednesday, 21 Aug 2019Northern Germany paves way for new competence centre for artificial intelligence in medicine
-
Monday, 29 Jul 2019Mehr als nur Fiktion – Entwurfswerkzeug für Nanotechnologie "fiction" mit Best Research Demo Award ausgezeichnet
-
Tuesday, 16 Jul 2019Projekt ConText gestartet – Intelligente textile Oberflächen für das Smart Home
-
Monday, 8 Jul 2019The success story continues: B-Human becomes RoboCup World Champion for the seventh time in Sydney
-
Thursday, 27 Jun 2019RoboCup-Weltmeisterschaft 2019: Deutscher Meister B-Human reist mit großen Hoffnungen nach Sydney
