18.03.2021 - 19.03.2021 Online Veranstaltung Fachtagung / Konferenz

MBMV 2021 - 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Anmelden
Termin
Beginn: 18.03.2021
Ende: 19.03.2021
Veranstaltungs-Sprache
de-DE
Zielgruppe
Der Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren
Veranstaltungsort

Online Veranstaltung

Beschreibung

Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen:

  • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
  • Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung
  • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung
  • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch
  • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen
  • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
  • Schaltungen und Systeme in sicherheitsrelevanten Produkten
  • Verifikation nichtfunktionaler Eigenschaften
  • Simulationsbasierte Verifikation und Validierung
  • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse
  • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen

Selbstverständlich sind auch Beiträge zu weiteren Themengebieten der Modellierung und Verifikation erwünscht.

 

Programmkomitee:

Bernd Becker, Albert-Ludwigs-Universität Freiburg
Jens Brandt, Hochschule Niederrhein
Oliver Bringmann, Universität Tübingen
Rolf Drechsler, Universität Bremen
Wolfgang Ecker, Infineon Technologies AG
Michael Glass, Universität Ulm
Christoph Grimm, TU Kaiserslautern
Daniel Große, JKU Linz
Christian Haubelt, Universität Rostock
Christoph Jäschke, IBM Research
Thomas Klotz – Bosch Sensortec
Wolfgang Kunz, TU Kaiserslautern
Wolfgang Müller, Universität Paderborn
Frank Oppenheimer, OFFIS
Martin Radetzki, Universität Stuttgart
Jürgen Ruf, Bosch Sensortec GmbH
Klaus Schneider, TU Kaiserslautern
Christoph Scholl, Albert-Ludwigs-Universität Freiburg
Jens Schönherr, HTW Dresden
Frank Slomka, Universität Ulm
Jürgen Teich, Universität Erlangen-Nürnberg
Markus Wedler, Synopsys GmbH
Robert Wille, JKU Linz
Ralf Wimmer, Concept Engineering GmbH

Veranstalter

ITG Informationstechnische Gesells. im VDE

Mitveranstalter

GMM, GI

Bemerkungen

Wichtige Termine:

Einreichungsfrist:                           Verlängert bis 13.12.2020 (Mit Bitte Paper zum 6.12. zu registrieren)
Benachrichtigung der Autoren:      29.01.2021
Einreichung der finalen Beiträge:  19.02.2021
Tagung:                                          18.-19.03.2021

Registrierung:

  • Nichtmitglied: 95,- EUR
  • Mitglied 70,- EUR

Ermäßigung nur bei Übersendung einer Kopie des VDE/IEEE-Mitgliedsausweises!
Die Tagungsgebühr beinhaltet die Tailnahme an der Online Veranstaltung und die Proceedings.
 

 

Bezahlung der Teilnahmegebühr

Bitte überweisen Sie die Teilnahmegebühr erst nach Erhalt der Anmeldebestätigung auf das angegebene Konto. Bei der Überweisung ist unbedingt der Name des Teilnehmers und die Rechnungs-Nr. anzugeben.
Bei online-Anmeldungen können Sie auch mit Ihrer Kreditkarte zahlen.

Stornierung
Die Anmeldung ist verbindlich, aber jederzeit übertragbar. Eine Stornierung bitten wir in schriftlicher Form an vde-conferences@vde.com mit dem Betreff „MBMV 2021 – Storno“ mitzuteilen. Bei Stornierung bis zum 28. Februar 2021 (Datum des Poststempels) wird die Teilnahmegebühr abzüglich € 50,– für Bearbeitungskosten zurückerstattet; bei Stornierung nach diesem Zeitpunkt kann eine Rückerstattung der Teilnahmegebühr nicht mehr vorgenommen werden. Der Tagungsband wird dann nach der Veranstaltung zugesandt. Es ist jedoch möglich, einen Ersatzteilnehmer zu benennen.

Die Zugangsdaten werden 3 Tage vor der Veranstaltung an die Teilnehmer versendet.

 

Kontakte

Ansprechpartner
Dr.-Ing. Daniel Müller-Gritschneder
TU München
Arcisstr. 21
80333 München

ur4zv2.3@v22v8Q_@3.uv Tel. 089-28923643

Downloads + Links

Themen

Anfahrt

Das könnte Sie auch interessieren: