Call for papers

ECRTS is the premier European venue for presenting research into the broad area of real-time systems. Along with RTSS and RTAS, ECRTS ranks as one of the top three international conferences on this topic. ECRTS has been at the forefront of recent innovations in the real-time community such as artifact evaluation and open access proceedings.

Papers on all aspects of real-time systems are welcome. This covers not only hard real-time systems but also time-sensitive systems in general. Typical applications are found in the classical domains of embedded and cyber-physical systems but also beyond, and include automotive, avionics, telecommunications, healthcare, robotics, space, etc. To be in scope, papers must address some form of timing requirement.

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

This year, we invite specifically papers focusing on improving the resilience of real-time and embedded systems against accidental and malicious faults.

The models, assumptions and application scenarios used in the paper must be properly motivated. Whenever relevant, we strongly encourage authors to present experimental results (preferably based on real data, but synthetic test cases are permitted) and/or to demonstrate applicability of their approach to real systems (examples can be found here). We encourage open-source initiatives and computer-assisted proofs in order to increase confidence in practical and theoretical results and to improve their reusability. More information on our evaluation criteria can be found here.

Open access

We believe that a conference serves the research community and the public best when results are accessible to the largest audience without restrictions. All accepted papers will be published again this year under open access in collaboration with LIPIcs (Leibniz International Proceedings in Informatics), with no additional costs. More information here.

Artifact evaluation

To improve reproducibility of results, authors of accepted papers with a computational component will be invited to submit their code and/or their data to an optional artifact evaluation process. More information here.

Comments are closed.