|May 8, 2011
|Paper submission deadline (FIRM)
|May 20, 2011
|Workshop proposals deadline
|May 31, 2011
|Notification of accepted Workshops
|Jul 15, 2011
|Notification of acceptance
|Sep 11, 2011
|Final accepted Manuscripts
|Sep 23, 2011
|WiP papers submission deadline
|Oct 19, 2011
|WiP acceptance notification
|Oct 31, 2011
|Early registration deadline
|Nov 29, 2011
|Nov 30, 2011
||RTSS 2011 starts
|Call for Papers|
Design and Verification of Embedded Real-Time Systems
Designing embedded real-time systems is becoming an increasingly
important and difficult task due to the widespread applications,
and increasing complexity of such systems, and the stringent constraints
on reliability, performance, energy consumption, cost, and
time-to-market. The objective of this track is to promote research on
design and analysis, and verification of embedded real-time systems.
It intends to cover the whole spectrum from theoretical results to
concrete applications with an emphasis on practical and scalable
techniques and tools providing the designers with automated
support for obtaining high-quality software and hardware systems. A
particular goal is to provide a forum for interaction between different
research communities, such as scheduling, hardware/software co-design,
and formal techniques.
Topics of interest include (but are not limited to) the following:
- Modeling, evaluation and optimization of non-functional aspects
such as timing, memory usage, communication bandwidth, and energy
- Design space exploration, performance analysis, and mapping of
abstract designs onto target platforms for embedded applications.
- Model-based validation techniques ranging from simulation, testing,
model-checking, compositional analysis, correctness-by-construction
and abstract interpretation.
- Algorithms and techniques for the implementation of practical and
scalable tools for modelling, automated analysis and optimization.
- Theories, languages and tools supporting coherent design flows
spanning software, control, hardware and physical components.
- Case studies and success stories in industrial applications using
existing techniques and tools for system design, analysis and