Topics are not restricted to the following:

  • Specification and modeling of Embedded Systems¬†

  • Real-Time analysis of Embedded Systems¬†

  • Design methodology for Embedded Systems

  • Validation and verification of Embedded Systems

  • New technologies and trends for Embedded Systems

  • Hardware/software co-design

  • Re-configurable architectures and applications

  • Software synthesis for Embedded Systems

  • Distributed and modular controller architectures

  • Network and communication systems

  • Dependability and fault tolerance

  • Power management and optimization

  • Automotive, Avionic, and Medical applications

  • Case studies of innovative Embedded Systems

The top ranking papers will be invited for publication in a special edition journal (intended target Springer DAEM).