LEADER 03211nam  22006375  450 
001 996577937703316
005 20231019224956.0
010   $a3-8007-5501-7
035   $a(CKB)4100000011881316
035   $a606f24c1-ef78-4a5d-bcb4-378eb0dd2d03
035   $a(EXLCZ)994100000011881316
100   $a20210325d2021      |||            |
101 0 $aeng
135   $auruuu---uuuuu
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aITG-Fb. 296: MBMV 2021 $eMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
205   $aNeuerscheinung
210 31$aBerlin$cVDE Verlag$d2021
215   $aOnline-Ressource (139 S.)
225 0 $aITG-Fachberichte
300   $aPublicationDate: 20210325
311   $a3-8007-5500-9 
330   $aLong description: 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
606   $aOptimierung
606   $aModellierung
606   $aSimulation
606   $aMachine Learning
606   $aEchtzeitsysteme
606   $aSynthese
606   $aSchaltungen und Systeme
606   $aFormale Verifikation
606   $aKI-basierte Modelle
606   $aModellierungssprache
606   $aVerhaltensmodellierung
606   $asicherheitsrelevante Produkte
615 04$aOptimierung
615 04$aModellierung
615 04$aSimulation
615 04$aMachine Learning
615 04$aEchtzeitsysteme
615 04$aSynthese
615 04$aSchaltungen und Systeme
615 04$aFormale Verifikation
615 04$aKI-basierte Modelle
615 04$aModellierungssprache
615 04$aVerhaltensmodellierung
615 04$asicherheitsrelevante Produkte
702   $aVDE/VDI GMM$4edt
702   $aVDE ITG$4edt
702   $aGI$4edt
906   $aPROCEEDING
912   $a996577937703316
996   $aITG-Fb. 296: MBMV 2021$93884117
997   $aUNISA