sarayut_sy / stock.adobe.com
14.02.2024 - 15.02.2024 Landau Fachtagung / Konferenz

MBMV 2024 - 27. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Zur Veranstaltungs-Homepage
Termin
Beginn: 14.02.2024
Ende: 15.02.2024
Veranstaltungs-Sprache
de-DE
Veranstaltungsort

Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Erwin-Schrödinger-Straße 52
67663 Landau
DE

Beschreibung

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.

Veranstalter

ITG Informationstechnische Gesells. im VDE

Mitveranstalter

GMM, GI FG3 und FG4

Bemerkungen

Termine

(Neu! Deadline verlängert!)

Einreichung der Beiträge

Abstract:      06.12.2023
Paper:         13.12.2023

Benachrichtigung der Autoren: 22.01.2024

Einreichung der finalen Beiträge: 31.01.2024

Tagung: 14./15.02.2024

Kontakte
Ansprechpartner
Nicolas Parisel
VDE e.V.
Merianstr. 28
63069 Offenbach

4zt52r9.6r8z9v2QAuv.t53 Tel. +49 69 6308-479

Downloads + Links