posted by user: wimmer || 6345 views || tracked by 9 users: [display]

MBMV 2015 : 18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

FacebookTwitterLinkedInGoogle


Conference Series : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
 
Link: http://www.tu-chemnitz.de/etit/sse/mbmv2015/
 
When Mar 3, 2015 - Mar 4, 2015
Where Chemnitz, Germany
Submission Deadline Nov 2, 2014
Notification Due Dec 17, 2014
Final Version Due Feb 1, 2015
Categories    verification   formal methods   circuits   systems
 

Call For Papers

18. Workshop Methoden und Beschreibungssprachen zur Modellierung und
Verifikation von Schaltungen und Systemen (MBMV 2015).

Der Workshop findet am 3. und 4. März 2015 im Mercure Kongress Hotel in
Chemnitz statt. Alle Termine und Informationen zum Workshop finden Sie auf der
Veranstaltungs-Website: http://www.tu-chemnitz.de/etit/sse/mbmv2015/
und im beiliegenden CfP.

Anbei die Wichtigsten Information im Überblick

## Termine
* 01. August 2014 Beginn Einreichungsphase
* 02. November 2014 Einreichung der Beiträge zur Begutachtung
* 17. Dezember 2014 Benachrichtigung der Autoren
* 25. Januar 2015 Ende der vergünstigten Anmeldung
* 01. Februar 2015 Einreichung der finalen Beiträge
* 22. Februar 2015 Ende der Anmeldefrist
* 03./04. März 2015 Durchführung der Tagung

## Themen
Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und
aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation
sowie der Beschreibungssprachen digitaler, analoger und
Mixed-Signal-Schaltungen zu diskutieren. Er soll somit ein Forum zum
Ideenaustausch sein.

Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl
praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen.
Diese sollten aus den folgenden Themengebieten kommen:
* Formale und semi-formale Spezifikation und Modellierung
* Standards und Erweiterungen von Hardware-Beschreibungssprachen
* Entwurfsmethodik
* Entwurfswiederverwendung (Reuse, IP)
* Syntheseverfahren (Behavioral, RTL)
* Codesign (analog/digital, Hardware/Software)
* Formale Synthese
* Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
* Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)
* Verifikation nichtfunktionaler Eigenschaften
* Simulationsbasierte Verifikation

## Einreichung
Die Autoren werden gebeten, ihre Beiträge im Umfang von bis zu 10 Seiten (DIN
A4, einspaltig, 12pt Times) als PDF-Datei über Easychair einzureichen. Das
Programmkomitee begutachtet und kommentiert diese im Anschluss. Angenommene
Beiträge werden in einem Tagungsband mit ISBN veröffentlicht. Die Sprache des
Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch willkommen.

Related Resources

MBMV 2024   Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
ISoIRS 2024   2024 4th International Symposium on Intelligent Robotics and Systems (ISoIRS 2024)
T&D Modellierung 2024   Tools & Demo Track at the Modellierung 2024
AVC 2024   Advances in Vision Computing: An International Journal
KONVENS 2024   Konferenz zur Verarbeitung natürlicher Sprache / Conference on Natural Language Processing
FM 2024   Formal Methods
SGEM Wien Grün 2024   SWS Vienna GREEN 2024 Grüne Wissenschaft für grünes Leben - Internationale wissenschaftliche Konferenz für Erd- und Planetenwissenschaften
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
MuC 2024   Mensch und Computer
CIRSY 2024   10th International Conference on Circuits and Systems