Beschreibung
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, semiformale und andere Mittel zur Spezifikation und Modellierung Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/SoftwareSysteme, Modellbasierte Entwicklung Verhaltensmodellierung, KIbasierte 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
Produktsicherheitsverordnung
Hersteller:
VDE Verlag GmbH
buchverlag@vde-verlag.de
Bismarckstr. 33
DE 10625 Berlin
Autorenportrait
VDE ITG - Informationstechnische Gesellschaft im VDE VDE/VDI GMM VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem und Feinwerktechnik GI Gesellschaft für Informatik e.V.
