Revisiting GPC and AND Connector in Real-Time Calculus

Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

4 Citations (Scopus)


Real-Time Calculus (RTC) is a powerful framework for modeling and worst-case performance analysis of networked systems. GPC and AND are two fundamental components in RTC, which model priority-based resource arbitration and synchronization operations, respectively. In this paper, we revisit GPC and AND. For GPC, we develop tighter output arrival curves to more precisely characterize the output event streams. For AND, we first identify a problem in the existing analysis method that may lead to negative values in the output curves, and present corrections to the problem. Then we generalize AND to synchronize more than two input event streams. We implement our new theoretical results and conduct experiments to evaluate their performance. Experiment results show significant improvement of our new methods in analysis precision and efficiency.
Original languageEnglish
Title of host publicationProceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017
Number of pages11
ISBN (Electronic)9781538614143
Publication statusPublished - 31 Jan 2018
Event38th IEEE Real-Time Systems Symposium, RTSS 2017 - Paris, France
Duration: 5 Oct 20178 Oct 2017

Publication series

NameProceedings - Real-Time Systems Symposium
ISSN (Print)1052-8725


Conference38th IEEE Real-Time Systems Symposium, RTSS 2017


  • arrival-curve
  • greedy-processing-component
  • real-time-calculus
  • real-time-systems
  • synchronization

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications


Dive into the research topics of 'Revisiting GPC and AND Connector in Real-Time Calculus'. Together they form a unique fingerprint.

Cite this