Fachgebiet Entwurf Informationstechnischer Systeme (EIS)

Call for Papers

Methoden und Beschreibungssprachen zur Modellierung und Verifikaton von Schaltungen und Systemen

14./15. Februar 2024 – Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau

https://eit.rptu.de/fgs/eis/mbmv24

 

Der 27. Workshop der GMM, ITG und GI-Fachgruppen FG3 und FG4 „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung. Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:

  • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
  • Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme
  • Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW
  • Verhaltensmodellierung, KI-basierte Modelle
  • Modellbasierte Entwicklung
  • 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

Die Betrachtung weiterer Aspekte im Bereich Modellierung und Verifikation ist im Sinne des Workshops.
 

Termine

(Neu! Deadline verlängert!)

Einreichung der Beiträge: 

                                     

Benachrichtigung der Autoren:
Einreichung der finalen Beiträge:
Tagung:                                            

Abstract:     
Paper:         
 

22.01.2024
31.01.2024
14./15.02.2024

06.12.2023
13.12.2023


 

 

Organisation

Veranstalter des MBMV sind GMM, ITG und GI FG3 und FG4

Wolfgang Kunz (Workshop Chair, co-PC Chair)
Daniel Große (co-PC Chair)
 

Tagungsband

Der Tagungsband soll als E-Book des VDE-Verlages erscheinen und ausgewählte englischsprachige Beiträge darüber hinaus in IEEE-Xplore übernommen werden.
 

Einreichungskategorien

Als Einreichungskategorien sind einerseits Wissenschaftliche Beiträge vorgesehen, zweitens Übersichtsvorträge, und drittens Kurzvorstellungen von Open-Source Software bzw. Benchmarks.

Wissenschaftliche Beiträge: Wissenschaftliche Beiträge (6-12 Seiten) ermöglichen unter anderem Doktorandinnen und Doktoranden ihre Arbeit vor Fachpublikum zur Diskussion zu stellen und angemessen zu veröffentlichen.

Diese Beiträge werden vom Programmkomitee nach Originalität und Qualität der Darstellung begutachtet. Ausgewählte englischsprachige Beiträge dieser Kategorie sollen in IEEE-Xplore übernommen werden.

Übersichtsvorträge: Übersichtsvorträge (1-4 Seiten) ermöglichen, die Bekanntheit schon veröffentlichter Arbeiten zu verbessern, Kontakte zu knüpfen oder vorläufige Arbeiten zur Diskussion zu stellen ohne dabei einen Beitrag veröffentlichen zu müssen. Diese Übersichtsvorträge werden daher nur als Zusammenfassung im Tagungsband, aber nicht in IEEE-Xplore aufgenommen. Sie werden vom Programmkomitee nach zu erwartender Qualität und inhaltlicher Relevanz und Bedeutung des zu erwartenden Vortrags begutachtet.

Open-Source Software / Benchmarks: Demos von Open-Source Software und die Vorstellung von Benchmarks ermöglichen entsprechende Entwicklungen vorzustellen. Weiterhin besteht die Möglichkeit diese live in einer Demosession vorzuführen und zu diskutieren. Zu diesem Zwecke soll eine Kurzbeschreibung (maximal 1 Seite) über das Werkzeug oder den Benchmark eingereicht werden. Diese Beiträge werden vom Programmkomitee nach inhaltlicher Relevanz begutachtet.
 

Erstellung des Beitrags

Bitte beachten Sie bei der Erstellung Ihres Papiers die Vorgaben des VDE:
https://www.vde-verlag.de/buecher/proceedings/schreibanleitungen.html

Eine LaTeX-Vorlage finden Sie hier: https://eit.rptu.de/fileadmin/eis/MBMV24/latex_template.zip
 

Einreichung

Bitte reichen Sie Ihren Beitrag über EasyChair unter https://easychair.org/my/conference?conf=mbmv24 im PDF-Format ein. Nutzen Sie bitte auch bei der Erstellung Ihres Papers die Formatvorlage des VDE-Verlags. Die Sprache des Workshops ist Deutsch. Beiträge in englischer Sprache sind willkommen.
 

Programmkomitee

Armin Biere, 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, RPTU Kaiserslautern-Landau

Daniel Große, JKU Linz

Christian Haubelt, Universität Rostock

Christoph Jäschke, IBM Research

Daniela Kaufmann, TU Wien

Thomas Klotz, Bosch Sensortec

Wolfgang Kunz, RPTU Kaiserslautern-Landau

Wolfgang Müller, Universität Paderborn

Daniel Müller-Gritschneder, TU München

Frank Oppenheimer, OFFIS e.V.

Martin Radetzki, Universität Stuttgart

Jürgen Ruf, Bosch Sensortec GmbH

Klaus Schneider, RPTU Kaiserslautern-Landau

Christoph Scholl, 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, TU München

Ralf Wimmer, Altair Engineering GmbH

Veranstaltungsort

Fritz-Walter-Stadion Kaiserslautern

Zum Seitenanfang