MBMV 2014 - Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen
Böblingen, 10.-12. März 2014
www.ibm.com/de/entwicklung/mbmv2014/index.html
Termine
02. November 2013: Anmeldung der Beiträge (Titel und Zusammenfassung)
11. November 2013: Einreichung der Beiträge zur Begutachtung
12. Dezember 2013: Mitteilung der Begutachtungsergebnisse
10.-12. März 2014: Tagung in Rostock-Warnemünde
Themen
Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und
aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und
Verifikation sowie der Beschreibungssprachen digitaler, analoger und
Mixed-Signal-Schaltungen zu diskutieren. Beiträge aus der industriellen
Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse
als auch theoretische Grundlagen, sind willkommen. Diese sollten aus den
folgenden Themengebieten kommen:
formale und semi-formale Spezifikation und Modellierung
Standards und Erweiterungen von Hardware-Beschreibungssprachen
Entwurfsmethodik
Entwurfswiederverwendung (Reuse, IP)
Syntheseverfahren (behavioral, RTL)
Codesign (analog/digital, Hardware/Software)
formale Synthese
formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
Schaltungen und Systeme in sicherheitsrelevanten Produkten
(Zertifizierung)
Verifikation nichtfunktionaler Eigenschaften
simulationsbasierte Verifikation
Einreichung
Die Autoren werden gebeten, ihre Beiträge im Umfang von bis zu 10 Seiten
(DIN A4, einspaltig, 12pt Times) als PDF-Datei einzureichen. Die vom
Programmkomitee ausgewählten Beiträge werden in einem Tagungsband mit ISBN
veröffentlicht. Die Sprache des Workshops ist deutsch, Beiträge in
englischer Sprache sind jedoch willkommen. Weitere Informationen zur
Einreichung der Beiträge sind auf der Homepage zu finden:
http://www.ibm.com/de/entwicklung/mbmv2014/einreic...
Programmkomitee
Bernd Becker, Universität Freiburg
Jens Brandt, Techn. Universität Kaiserslautern
Oliver Bringmann, Universität Tübingen
Manfred Dietrich, Fraunhofer IIS
Gero Dittmann, IBM Forschung
Rolf Drechsler, Universität Bremen
Martin Freibothe, Intel Mobile Communications GmbH
Michael Glaß, Universität Erlangen-Nürnberg
Carsten Gremzow, Bergische Universität Wuppertal
Christoph Grimm, Techn. Universität Wien
Christian Haubelt, Universität Rostock
Ulrich Heinkel, Techn. Universität Chemnitz
Jörg Henkel, Universität Karlsruhe
Christoph Jäschke, IBM Deutschland Forschung und Entwicklung
Uwe Knöchel, Fraunhofer IIS / EAS Dresden
Thomas Kropf, Bosch
Wolfgang Kunz, Techn. Universität Kaiserslautern
Gunther Lehmann, Infineon, München
Paul Molitor, Universität Halle
Wolfgang Müller, Universität Paderborn
Peter Oehler, Continental A. S., Frankfurt / M.
Frank Oppenheimer, Offis
Jürgen Ruf, IBM, IBM Deutschland Forschung und Entwicklung
Klaus Schneider, Techn. Universität Kaiserslautern
Christoph Scholl, Universität Freiburg
Jens Schönherr, HTW Dresden
Martin Speitel, Fraunhofer IIS, Erlangen
Dominik Stoffel, Techn. Universität Kaiserslautern
Jürgen Teich, Universität Erlangen
Klaus Waldschmidt, Universität Frankfurt / M.
Markus Wedler, Synopsys
Robert Wille, Universität Bremen
Reimund Wittmann, IP GEN, Bochum