VDE ITG / VDE/VDI GMM / GI | ITG-Fb. 296: MBMV 2021 | Sonstiges | 978-3-8007-5500-4 | sack.de

Sonstiges, Englisch, Deutsch, 136 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 58 g

Reihe: ITG-Fachbericht

VDE ITG / VDE/VDI GMM / GI

ITG-Fb. 296: MBMV 2021

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Neuerscheinung
ISBN: 978-3-8007-5500-4
Verlag: VDE Verlag

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Sonstiges, Englisch, Deutsch, 136 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 58 g

Reihe: ITG-Fachbericht

ISBN: 978-3-8007-5500-4
Verlag: VDE Verlag

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

VDE ITG / VDE/VDI GMM / GI ITG-Fb. 296: MBMV 2021 jetzt bestellen!

Autoren/Hrsg.

Müller-Gritschneder, Daniel

Fachgebiete

Weitere Infos & Material


VDE ITG – Informationstechnische Gesellschaft im VDE

VDE/VDI GMM – VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik

GI – Gesellschaft für Informatik e.V.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.