35th Euromicro Conference on Real-Time Systems
ECRTS is the premier European venue in the area of real-time systems and, alongside RTSS and RTAS, ranks as one of the top three international conferences on this topic.
ECRTS 2023 will be held as a physical conference on July 11-14, 2023 in Vienna, Austria.
Scope and topics of interest
Papers on all aspects of timing requirements in computer systems are welcome. Systems of interest include not only hard real-time systems but also time-sensitive systems in general (e.g., systems with soft requirements expressed in terms of tail latency, latency SLAs, QoS expectations, etc.). Typical applications are found not only in classical embedded and cyber-physical systems, but also increasingly in cloud or edge computing contexts, and often stem from domains such as automotive, avionics, telecommunications, healthcare, robotics, and space systems, among others. To be in scope, papers must address some form of timing requirement, broadly construed.
ECRTS welcomes theoretical and practical contributions (including tools, benchmarks, and case studies) to the state of the art in the design, implementation, verification, and validation of time-sensitive systems.
In recent years, the scope of ECRTS has been extended to cover different aspects of real-time systems, including, but not limited to:
- all elements of time-sensitive COMPUTER SYSTEMS, including operating systems, hypervisors, middlewares and frameworks, programming languages and compilers, runtime environments, networks and communication protocols, FPGAs, time-predictable processors and memory controllers, etc.;
- REAL-TIME NETWORKS: including wired and wireless sensor and actuator networks, Time-Sensitive Networks (TSN), industrial IoT, Software Defined Network (SDN), 5G, end-to-end latency analysis, etc.;
- static and dynamic techniques for RESOURCE DEMAND ESTIMATION, including stochastic and classic worst-case execution time (WCET) analysis, analyses to bound memory and bandwidth needs, and methods for determining the energy, power, or thermal footprint of real-time applications;
- FORMAL METHODS for the verification and validation of real-time systems, including model checking, computer-assisted proofs, and runtime monitoring systems;
- the interplay of timing predictability and other NON-FUNCTIONAL QUALITIES such as reliability, security, quality of control, energy/power consumption, environmental impact, testability, scalability, etc.;
- foundational SCHEDULING and PREDICTABILITY questions, including schedulability analysis, algorithm design, synchronization protocols, computational complexity, temporal isolation, probabilistic guarantees, etc.;
- REAL-TIME APPLICATION design and evaluation: including automotive, avionics, control systems, industrial automation, robotics, space, railways telecommunications, multimedia, etc.; and
- last but not least, emerging topics such as the use of MACHINE LEARNING techniques in safety-critical systems.