• System-level design

Specification, modelling, refinement, system synthesis, partitioning, hardwaresoftware co-design, design space exploration, hybrid system modelling and design, and model-based design.

• Domain and application-specific design

Analysis, design, and optimization techniques for multimedia, medical, automotive, cyber-physical, and other specialized application domains.

• Embedded software

Language and library support, compilers, runtimes, parallelization, software verification, memory management, virtual machines, operating systems, real-time support, and middleware.

• Embedded systems architecture

Architecture and micro-architecture design, exploration and optimization including application-specific processors, reconfigurable architectures, storage, memory and communication systems, and networks-on-chip.

• Large-scale, adaptive systems

Many-cores, heterogeneous systems, data centers, cloud computing, networked and distributed systems, sensor networks, and design for adaptivity and reconfigurability.

• Simulation, validation and verification 

Hardware/software co-simulation, verification and validation methodologies, formal verification, hardwareaccelerated simulation, simulation and verification languages, models and benchmarks.

• Power-aware systems

Power- and energyaware system design and methodologies ranging from low-power embedded and cyber-physical systems to energy-efficient large scale systems such as Green IT and Smart Grid

• Security and reliability

Cross-layer reliability, resilience and fault tolerance, test methodology, design for testability, hardware and software security, and cyber-physical system security

• Industrial practices and case studies

Practical impact on current and/or future industries, application of state-of-the-art methodologies and tools in various application areas including wireless, networking, multimedia, automotive, cyber-physical, medical systems, etc.