VDE ITG; VDE/VDI GMM; GI (Ed.)
ITG-Fb. 296: MBMV 2021
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
ITG-Fachberichte
2021, 136 pages, 140 x 124 mm, Slimlinebox, CD-Rom
ISBN 978-3-8007-5500-4, e-book: ISBN 978-3-8007-5501-1
Personal VDE Members are entitled to a
10% discount on this title
• 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
Die VDE ITG ist als interdisziplinär arbeitende, wissenschaftliche Fachgesellschaft in das fachübergreifende Netzwerk des VDE eingebunden. Sie agiert als Schnittstelle für Experten der Informationstechnik (ITK) in Wirtschaft, Verwaltung, Lehre und Forschung. Ihre Mitglieder bündeln in enger internationaler Anbindung die deutsche Kompetenz im Bereich der ITK. Die VDE ITG fördert Forschung und Anwendung dieser Schlüsseltechnologie sowie deren effizienten Einsatz in den Bereichen Daten- und Kommunikationstechnik und -systeme, Umweltschutz, Medizin und Verkehr.
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.
VDE/VDI GMM – VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik
Die 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.
GI – Gesellschaft für Informatik e.V.
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.