©Manuel Schönfeld / Fotolia
2022-02-17 - 2022-02-18 Online-Veranstaltung Fachtagung / Konferenz

MBMV 2022 - 25. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

Register
Date
Start date 2022-02-17
End date 2022-02-18
Meeting language
de-DE
Venue

Online-Veranstaltung

Description

Der 25. Workshop der GMM/ITG/GI-Fachgruppen 3/ 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, die z.B. folgende Themengebiete adressieren: 

  • 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 

Special Focus Topics: 

  • Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen 
  • Benchmarks zur Verifikation von Schaltungen und Systemen 
Organizer

ITG Informationstechnische Gesells. im VDE

Co-Organizer

GMM, GI

Note

Teilnehmerpreise

  • VDE Mitglied*: 75,00 €
  • Nichtmitglied: 100,00 €
  • Studierende**: 50,00 €

* Ermäßigung für Mitglieder nur mit Übermittlung der Mitgliedsnummer
** Ermäßigung für Studenten nur mit Upload einer zum Veranstaltungszeitpunkt gültigen Studierendenbescheinigung

Hinweise zum Online-Event

Die Online-Veranstaltung wird mit Microsoft Teams durchgeführt. Alle Teilnehmerinnen und Teilnehmer erhalten zeitnah vor der Veranstaltung einen Zugangslink per E-Mail.

Contacts
Ansprechpartner
Prof. Dr. Jens Brandt
Hochschule Niederrhein
Reinarzstr. 49
47805 Krefeld

0v49.s8r4u_Qy9-4zvuv88yvz4.uv Phone 02151-822-4150

Downloads + Links

You might also be interested in: