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
roessler@technikum-wien.at

 

Jörg Brauer

Verified Systems International GmbH

brauer@verified.de