=========================================================================
EMSOFT 2019
Call for Papers
International Conference on Embedded Software
October 13 – October 18, 2019, New York City, USA
=========================================================================
The ACM SIGBED International Conference on Embedded Software (EMSOFT)
brings together researchers and developers from academia, industry, and
government to advance the science, engineering, and technology of embedded
software development. Since 2001, EMSOFT has been the premier venue for
cutting-edge research in the design and analysis of software that
interacts with physical processes, with a long-standing tradition for
results on cyber-physical systems, which compose computation, networking,
and physical dynamics.
-------------------------------------------------------------------------
Timeline
-------------------------------------------------------------------------
Journal-Track Submissions
- Abstract: April 5, 2019
- Full Paper: April 12, 2019 (firm)
Work-in-Progress Submissions
- June 7, 2019 (firm)
Notification of Acceptance
- July 10, 2019 (both tracks)
-------------------------------------------------------------------------
Topics of Interests / Tracks
-------------------------------------------------------------------------
Submissions are invited on all aspects of embedded software systems,
including but not limited to:
* Embedded software design and analysis
* Formal modeling and verification
* Testing, validation, and certification
* Model- and component-based approaches
* Embedded Operating systems and middleware
* Embedded distributed, networked systems
* Embedded software on multi- and many-core processors
* Safety-critical and mixed-critical embedded soft-ware design
* Time-critical embedded systems
* Scheduling and execution time analysis
* QoS management and performance analysis
* Energy-efficient embedded software
* Embedded software security
* Embedded software architectures for intensive data and signal processing
* Software design for cyber-physical systems
* Robust implementation of control systems
* Empirical studies and their reproduction
* Application areas including automotive, avionics, energy, health care, mobile devices, multimedia, machine learning, and autonomous systems