We welcome theoretical and practical contributions (including tools, benchmarks and case studies) to the state of the art in the design, implementation, verification and validation of real-time embedded systems. This includes, but is not limited to:
scheduling design and analysis
real-time operating systems, hypervizors and middleware
memory management and bus contention
worst-case execution time analysis
networks and communication protocols
formal models and analysis techniques for real-time systems
interplay between real-time and other aspects (security, safety, control, power/energy/thermal management, etc.)
mixed-criticality design and assurance
hardware/software co-design
programming languages and compilers
virtualization and timing isolation