Call for Papers MBMV'23 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 23./24. März 2023, Technische Fakultät, Universität Freiburg http://cca.informatik.uni-freiburg.de/mbmv23 Der 26. 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. Eingeladener Vortrag Early Co-verification of Firmware and Hardware to Speed up Development of Embedded Systems Jörg Bormann, Siemens EDA Termine Die Tagung findet am Donnerstag 23. und Freitag 24. März 2023 statt. Die verlängerte Einreichungsfrist endet am 3. Februar 2023. Organisation Veranstalter des MBMV sind GMM, ITG und GI FG3 und FG4 Armin Biere (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. Einreichung Bitte reichen Sie Ihren Beitrag über EasyChair unter https://easychair.org/my/conference?conf=mbmv23 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. Programm Komitee 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, TU Kaiserslautern 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, TU Kaiserslautern Wolfgang Müller, Universität Paderborn Daniel Müller-Gritschneder, TU München Frank Oppenheimer, OFFIS Martin Radetzki, Universität Stuttgart Jürgen Ruf, Bosch Sensortec GmbH Klaus Schneider, TU Kaiserslautern 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 SR 02-016/18, Geb. 101 Technische Fakultät Universität FreiburgGeorges-Köhler-Allee, Gebäude 101 79110 Freiburg