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

Abstract

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
PublisherIEEE
Pages255-265
Number of pages11
Volume2018-January
ISBN (Electronic)9781538614143
DOIs
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
Volume2018-January
ISSN (Print)1052-8725

Conference

Conference38th IEEE Real-Time Systems Symposium, RTSS 2017
Country/TerritoryFrance
CityParis
Period5/10/178/10/17

Keywords

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

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Cite this