posted by user: wimmer || 3392 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

Echtzeit 2018   Echtzeit 2018 - Echtzeit und Sicherheit
IEEE--APCCAS--Ei Compendex and Scopus 2018   IEEE--2018 14th Asia Pacific Conference on Circuits and Systems (APCCAS 2018)--Ei Compendex and Scopus
SICHERHEIT 2018   SICHERHEIT 2018 - Schutz und Zuverlässigkeit
JEDT 2018   International Journal of Electronic Design and Test
REBPM 2018   4. Workshop Requirements Engineering & Business Process Management (REBPM)
ICCDS--IEEE, EI Compendex, Scopus 2018   2018 The 2nd International Conference on Circuits, Devices and Systems (ICCDS 2018)--IEEE, EI Compendex, Scopus
AAET 2018   AAET 2018 – Automatisiertes und vernetztes Fahren
UBICOMM 2018   he Twelfth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
SysML 2019   SysML Conference
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems