Call for papers

Overview (PDF Version)

The RTEST international symposium aims at bringing researchers in the fields of real-time and embedded systems and related research areas, from both industry and academia together. This event was held as a national only event from 1995 to 2014. Starting from 2015 (see this link), RTEST became a successful international symposium. RTEST 2020 will be held on June 10-11, 2020 at the Institute for Research in Fundamental Sciences (IPM), Tehran, Iran; organized by School of Computer Science. The symposium will have two keynote speeches by leading experts, namely:

  • Lothar Thiele (Swiss Federal Institute of Technology Zurich-ETHZ)
  • Arvind Easwaran (Nanyang Technological University-NTU)

RTEST 2020 welcomes high-quality, original research papers related to both real-time systems theory and practice. Submissions may include all theoretical and application-oriented areas, reporting design, analysis, implementation, evaluation, and empirical results of real-time and embedded systems, Internet-of-Things (IoT), and Cyber-Physical Systems (CPS), including (but not limited to):

  • Real-time software and applications
  • Embedded hardware
  • Multicore and many-core embedded systems
  • Networked/distributed real-time/embedded systems
  • Real-time scheduling and resource management
  • WCET estimation
  • Real-time control systems
  • Real-time and embedded operating systems
  • Hardware/software co-design
  • System-level design
  • Modeling and Model-based design of CPS
  • Formal verification of CP
  • Compilers for embedded systems
  • Testing and debugging of embedded and real-time systems
  • Dependability in real-time embedded systems
  • Quality-of-service (QoS) management
  • Power and thermal management
  • Energy efficiency and optimization
  • Machine-learning techniques in resource-constrained embedded systems
  • AI/ML for IoT and embedded systems
  • Analytic foundations of IoT
  • Reliability, security, timeliness, and robustness in IoT and CPS
  • Data streaming architectures and machine learning analytics for IoT and CPS
  • CPS and IoT applications, including smart cities healthcare, brain-machine interface, etc.

All accepted papers will appear in the main program and proceedings. A selection of papers will be invited to submit an extended version of their work to one of the following special issues:

– Elsevier JSA: “Special Issue on Testing and Verification of Non-Functional Aspects of Cyber-Physical Systems: Theories, Methods, and Tools” (PDF of the SI CFP)
– Elsevier MICPRO: “Special Issue on Machine Learning in Resource-Constrained Embedded Systems” (PDF of the SI CFP)

We are in the process of obtaining the permission to index the accepted papers in IEEEXplore Digital Library.

Important Dates

Full Paper Submission: January 6, 2020 January 20, 2020 (Firm Deadline)
Acceptance Notification:  February 14, 2020 February 20, 2020
Camera Ready: February. 28, 2020
Symposium: June 10-11, 2020