posted by user: wimmer || 2328 views || tracked by 10 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

EndoDiab 2017   22. Jahrestagung der Nordrhein-Westfälischen Gesellschaft für Endokrinologie und Diabetologie
ICFEM 2017   19th International Conference on Formal Engineering Methods
ICPRS 2017   International Conference on Pattern Recognition Systems
OPTLJ 2017   Integrated Optics and Lightwave : An International Journal
ICCSS 2017   IEEE-2017 7th International Conference on Circuits, System and Simulation (ICCSS 2017)-Ei Compendex
JMICRO 2017   International Journal of Microwave Engineering
JEDT 2017   International Journal of Electronic Design and Test
FMCAD 2017   Formal Methods in Computer-Aided Design
VEHICULAR 2017   The Sixth International Conference on Advances in Vehicular Systems, Technologies and Applications
DSC 2017   2017 IEEE Conference on Dependable and Secure Computing