ITG-Fb. 296: MBMV 2021 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Aus der Reihe
ITG-Fachberichte
78,00 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
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
• 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
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice