MBMV 2019: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Veranstaltungsort
TU KaiserslauternGottlieb-Daimler-Str.
67663 Kaiserslautern, Deutschland
Beschreibung
Der 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, Modell-Lernen, 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
Selbstverständlich sind auch Beiträge zu weiteren Themengebieten der Modellierung und Verifikation erwünscht.
Der Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) ist der gemeinsame Workshop von:
- VDE-Fachbereich 6: Mikroelektronik, Mikro- und Feinwerktechnik (GMM)
- GI-Fachgruppe 3: Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme (RSS-Verify)
- GI-Fachgruppe 4: Beschreibungssprachen und Modellierung von Schaltungen und Systemen (RSS-Model)
- ITG-Fachausschuss 8.2 (Mikroelektronik)
Kontakt
ITG Informationstechnische Gesells. im VDE