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)
-TBD

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

Important Dates

Full Paper Submission: Jan. 6, 2020
Acceptance Notification:  Feb. 14, 2020
Camera Ready: Feb. 28, 2020
Symposium: June 10-11, 2020