VDE ITG; VDE/VDI GMM; GI (Ed.)
ITG-Fb. 309: MBMV 2023
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 26. Workshop, 23. – 24. März 2023 in Freiburg
ITG-Fachberichte
2023, VI, 104 pages, 140 x 124 mm, Slimlinebox, CD-Rom
ISBN 978-3-8007-6065-7, e-book: ISBN 978-3-8007-6066-4
Personal VDE Members are entitled to a
10% discount on this title
Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:
- 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
Mit ihrem weitgespannten internationalen Netzwerk versteht sich die VDE ITG als Plattform für Innovationen und Wissenstransfer für die erfolgreiche Kooperation von Industriepartnern und Forschungseinrichtungen. Hierzu führt die VDE ITG eine ganze Reihe von Fachtagungen, Diskussionssitzungen und Workshops durch. Mit ihren Studien und Empfehlungen bringt die VDE ITG ihre Expertise in Politik und Gesellschaft ein und nimmt an Förderprogrammen teil.
Die VDE/VDI GMM hat die Aufgabe, die wissenschaftliche und technische Entwicklung im Bereich der Mikro-elektronik, Mikrosystem-, Nano- und Feinwerktechnik sowie deren breite Anwendungen zu för-dern. Sie initiiert den dazu erforderlichen Dialog zwischen Herstellern, Anwendern und Wissen-schaft und bildet ein Forum für Diskussionen über diese Techniken in der Öffentlichkeit. Die GMM vertritt die Belange der in ihr vertretenen Arbeits- und Fachgebiete gegenüber politischen Ent-scheidungsträgern und bringt ihre Fachkompetenz in die Gestaltung der Förderpolitik ein.
Die Gesellschaft für Informatik e.V. (GI) ist mit rund 20.000 persönlichen und 250 korporativen Mitgliedern die größte und wichtigste Fachgesellschaft für Informatik im deutschsprachigen Raum und vertritt seit 1969 die Interessen der Informatikerinnen und Informatiker in Wissenschaft, Wirtschaft, öffentlicher Verwaltung, Gesellschaft und Politik.