ITG-Fb. 309: MBMV 2023

Methoden und Beschreibungssprachen zur Modellierung undVerifikation von Schaltungen und Systemen, 26. Workshop, 23. – 24. März2023 in Freiburg
Neuerscheinung
ISBN: 978-3-8007-6065-7
Verlag: VDE Verlag

Sonstiges, Englisch, 104 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 56 g

Reihe: ITG-Fachberichte

Der 26. Workshop der VDE ITG, VDE/VDI GMM, und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung.

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

Autoren/Hrsg.

Biere, Armin

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmier- und Skriptsprachen
• Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Schaltungsentwurf
• Mathematik | Informatik EDV | Informatik Technische Informatik Hardware: Grundlagen und Allgemeines

Über Autor(innen)

Informationstechnische Gesellschaft im VDE (VDE ITG)
VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (VDE/VDI GMM)
Gesellschaft für Informatik e.V. (GI)