Un­se­re Fach­grup­pe Schal­tungs­tech­nik nahm am 28. Work­shop für Me­tho­den und Be­schrei­bungs­spra­chen zur Mo­del­lie­rung und Ve­ri­fi­ka­ti­on von Schal­tun­gen und Sys­te­men (MBMV 2025) teil

 |  Heinz Nixdorf InstitutSchaltungstechnik (SCT) / Heinz Nixdorf Institut

Unsere Fachgruppe Schaltungstechnik besuchte vom 11-12. März den 28. Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025). Der Workshop wurde vom Institut für Angewandte Mikroelektronik und Datentechnik der Universität Rostock und dem VDE-Verband der Elektrotechnik Elektronik Informationstechnik e.V. ausgerichtet. Er fand in den Veranstaltungsräumen des Leibniz-Institut für Ostseeforschung Warnemünde (IOW) statt. 

Dort gab es unter anderem Diskussionsbeiträge zu Schaltungen und Systemen in sicherheitsrelevanten Produkten sowie Digitalisierung der Entwicklung z.B. durch Maschinelles Lernen oder Datenanalysen.