Nr. 030 / 8. Februar 2017 RO

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. Mit diesem Thema besch?ftigt sich am 8. und 9. Februar 2017 der Workshop ?Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)“. Veranstalter sind die Universit?t Bremen und der Forschungsbereich Cyber-Physical Systems des Deutschen Forschungsbereichs für Künstliche Intelligenz (DFKI).

Der Workshop, 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. 澳门皇冠_皇冠足球比分-劲爆体育 zum Workshop-Programm unter: www.informatik.uni-bremen.de/mbmv2017/programm.php.

澳门皇冠_皇冠足球比分-劲爆体育:

Universit?t Bremen
Fachbereich Mathematik/Informatik
Arbeitsgruppe Rechnerarchitektur (AGRA)
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Prof.Dr. Rolf Drechsler
Tel.: 0421 218 63932
E-Mail: drechslerprotect me ?!uni-bremenprotect me ?!.de
Dr. Daniel Gro?e
Tel.: 0421 218 63935
E-Mail: Daniel.Grosseprotect me ?!dfkiprotect me ?!.de