10-12 September 2014 



Submission of Camera Ready

and copyright form: CLOSED !

Camera Ready Papers Submitted !


Design and Verification Methodologies for Mechatronic and Embedded Systems


Objectives: The symposium on Design and Verification Methodologies for Mechatronic and Embedded Systems is devoted to concepts, methodologies & tools which assist in the design, implementation and verification process of mechatronic and/or embedded systems. Topics include, but are not limited to the following:

•System-level design and modeling
• Design space exploration
• Simulation tools and emulators
• Model checking and equivalence checking
• Compilers, assemblers, implementation and synthesis tools
• Power analysis and optimization
• Test, debug and diagnosis tools and methodologies
• Integrated design environments and tool chains
• Hardware/software co-design and co-verification
• Surveys, new methodologies and case studies related to design and verification for mechatronic & embedded systems


Organizer’s Contact Information:


Prof. Peter Rössler

Department of Embedded Systems
UAS Technikum Wien, Austria


Jörg Brauer

Verified Systems International GmbH

The 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications
Sponsor: IEEE Intelligent Transportation Systems Society
Technical Co-Sponsors: ASME Division of Design Engineering
Info, requests and sponsors: - Cookie Policy
ieee  asme