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

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 

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.