EMSOFT 2016 - International Conference on Embedded Software

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