Areas of Interest Design and implementation of embedded software Formal modeling and verification Testing and validation Model- and component-based software design and analysis Software technologies for safety-critical and mixed-critical systems Software architectures for cyber-physical systems Robust implementation of control systems Software for distributed, networked embedded systems Software development techniques for multi- and many-core systems Scheduling and execution time analysis Operating systems and middleware QoS management and performance analysis Energy-efficient embedded software Embedded software security Empirical studies and their reproduction, and confirmation Application areas, e.g., automotive, avionics, energy, health care, mobile devices, multimedia