VOLT 2013 2nd Workshop on the Verification of Model Transformation Co-located  with  STAF  2013 http://www.hpi.uni-potsdam.de/giese/events/2013/volt/ Budapest, Hungary June 17, 2013 *** Call for Papers ***

Special Session on Ensuring Safety in Industrial Critical Systems (ESICS)

ECYPS’2013 - the EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2013 - the 2nd Mediterranean Conference on Embedded Computing and SS_on_ECYPS’2013 - the 2013 Summer School on Embedded and Cyber-Physical Systems, June 16-20

The 2nd Mediterranean Conference on Embedded Computing (MECO 2013) is a continuation of very successful MECO-2012 event. It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems. MECO 2013 will provide an opportunity for scientists, engineers and researchers to discuss new applications, design problems, ideas, solutions, research and development results, experiences and work-in-progress in this important technological area. 

The 25th EUROMICRO Con

This session of the SAE 2013 World Congress focuses on processes, methods, and tools for the design, analysis, and synthesis of cyber secure automotive embedded systems. The analysis aspect shall cover static code analysis methods and tools for analyzing the vulnerabilities of embedded software (application and platform) prior to their deployment on the target HW.

 

Design Automation and Test in Europe

The 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013)  

  The ASME 2012 International Design Engineering Technical Conferences (IDETC) and Computers and Information in Engineering Conference (CIE) will take place during August 12-15, 2012 in Chicago, IL The conference is the flagship international meeting for Design Engineering and includes the following conferences: