ITG-Fb. 296: MBMV 2021

Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 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. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen:

Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung
Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung
Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch
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 Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen