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 consumption.
• Design space exploration, performance analysis, and mapping of abstract designs onto target platforms such as time-triggered architectures and MPSoC.
• 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 verification.