The International Conference on Embedded Software (EMSOFT) brings
together researchers and developers from academia, industry, and
government to advance the science, engineering, and technology in
embedded software development. EMSOFT 2012 is part of the Embedded
Since 2001, EMSOFT has been the premier venue for cutting-edge
research in the design and analysis of software that interacts with
physical processes. This focus on all aspects of the development of
embedded software makes EMSOFT a premier venue with a long-standing
tradition for results on cyber-physical systems, which compose
computation, networking, and physical dynamics.
EMSOFT 2012 (the 12th in the series!) is part of the Embedded Systems Week.
Program Chairs: Prof. Florence Maraninchi (VERIMAG laboratory, Grenoble, France), and Prof. John Regehr (University
of Utah, USA)
Areas of Interest
- Testing and validation, Formal verification
- Software design and implementation
- Virtual prototyping and system-level design for embedded software
- Model- and component-based software design and analysis
- Programming languages
- Compiler optimizations
- Software engineering and programming methodologies
- Scheduling and execution time analysis
- Operating systems and middleware
- QoS management and performance analysis, energy consumption
- Hardware-dependent software and interfaces
- Distributed, networked embedded systems and security
- Embedded control and communication
- Software for multiprocessor/multicore embedded systems and systems-on-chip
- Application areas, e.g., automotive, avionics, energy, health care, mobile devices, multimedia, cyber-physical systems
- Replication, reproduction, and confirmation of empirical results
- Empirical studies related to embedded systems
- Papers should represent original work, not published or submitted
for publication in other forums.
- A blind review process will be enforced. Authors should not reveal
authorship directly or indirectly through references.
- Papers must be in PDF format and should not exceed
10 pages in ACM two-column format (9pt on 8.5"x11" letter size
paper). For formatting instructions and templates, visit the ACM web
site. Formal proceedings will be published on CD-ROM and web page forms
(copyright by ACM and IEEE).