©Manuel Schönfeld / Fotolia
17.02.2022 - 18.02.2022 Online-Veranstaltung Fachtagung / Konferenz

MBMV 2022 - 25. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Anmelden
Termin
Beginn: 17.02.2022
Ende: 18.02.2022
Veranstaltungs-Sprache
de-DE
Veranstaltungsort

Online-Veranstaltung

Beschreibung

Der 25. Workshop der GMM/ITG/GI-Fachgruppen 3/ 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, die z.B. folgende Themengebiete adressieren: 

  • 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 

Special Focus Topics: 

  • Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen 
  • Benchmarks zur Verifikation von Schaltungen und Systemen 
Veranstalter

ITG Informationstechnische Gesells. im VDE

Mitveranstalter

GMM, GI

Bemerkungen

Teilnehmerpreise

  • VDE Mitglied*: 75,00 €
  • Nichtmitglied: 100,00 €
  • Studierende**: 50,00 €

* Ermäßigung für Mitglieder nur mit Übermittlung der Mitgliedsnummer
** Ermäßigung für Studenten nur mit Upload einer zum Veranstaltungszeitpunkt gültigen Studierendenbescheinigung

Hinweise zum Online-Event

Die Online-Veranstaltung wird mit Microsoft Teams durchgeführt. Alle Teilnehmerinnen und Teilnehmer erhalten zeitnah vor der Veranstaltung einen Zugangslink per E-Mail.

Kontakte

Ansprechpartner
Prof. Dr. Jens Brandt
Hochschule Niederrhein
Reinarzstr. 49
47805 Krefeld

0v49.s8r4u_Qy9-4zvuv88yvz4.uv Tel. 02151-822-4150

Downloads + Links