Revisiting GPC and AND Connector in Real-Time Calculus

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

doi:10.1109/RTSS.2017.00031

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 proceeding › Conference article published in proceeding or book › Academic research › peer-review

4 Citations (Scopus)

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 language	English
Title of host publication	Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017
Publisher	IEEE
Pages	255-265
Number of pages	11
Volume	2018-January
ISBN (Electronic)	9781538614143
DOIs	https://doi.org/10.1109/RTSS.2017.00031
Publication status	Published - 31 Jan 2018
Event	38th IEEE Real-Time Systems Symposium, RTSS 2017 - Paris, France Duration: 5 Oct 2017 → 8 Oct 2017

Publication series

Name	Proceedings - Real-Time Systems Symposium
Volume	2018-January
ISSN (Print)	1052-8725

Conference

Conference	38th IEEE Real-Time Systems Symposium, RTSS 2017
Country/Territory	France
City	Paris
Period	5/10/17 → 8/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

More information

10.1109/RTSS.2017.00031

Cite this

@inproceedings{e612cf6598394ad386236fbb18576949,

title = "Revisiting GPC and AND Connector in Real-Time Calculus",

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.",

keywords = "arrival-curve, greedy-processing-component, real-time-calculus, real-time-systems, synchronization",

author = "Yue Tang and Nan Guan and Weichen Liu and Phan, {Linh Thi Xuan} and Wang Yi",

year = "2018",

month = jan,

day = "31",

doi = "10.1109/RTSS.2017.00031",

language = "English",

volume = "2018-January",

series = "Proceedings - Real-Time Systems Symposium",

publisher = "IEEE",

pages = "255--265",

booktitle = "Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017",

address = "United States",

note = "38th IEEE Real-Time Systems Symposium, RTSS 2017 ; Conference date: 05-10-2017 Through 08-10-2017",

}

Tang, Y, Guan, N, Liu, W, Phan, LTX & Yi, W 2018, Revisiting GPC and AND Connector in Real-Time Calculus. in Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. vol. 2018-January, Proceedings - Real-Time Systems Symposium, vol. 2018-January, IEEE, pp. 255-265, 38th IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, 5/10/17. https://doi.org/10.1109/RTSS.2017.00031

Revisiting GPC and AND Connector in Real-Time Calculus. / Tang, Yue; Guan, Nan; Liu, Weichen et al.

Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Vol. 2018-January IEEE, 2018. p. 255-265 (Proceedings - Real-Time Systems Symposium; Vol. 2018-January).

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

T1 - Revisiting GPC and AND Connector in Real-Time Calculus

AU - Tang, Yue

AU - Guan, Nan

AU - Liu, Weichen

AU - Phan, Linh Thi Xuan

AU - Yi, Wang

PY - 2018/1/31

Y1 - 2018/1/31

N2 - 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.

AB - 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.

KW - arrival-curve

KW - greedy-processing-component

KW - real-time-calculus

KW - real-time-systems

KW - synchronization

UR - http://www.scopus.com/inward/record.url?scp=85046375923&partnerID=8YFLogxK

U2 - 10.1109/RTSS.2017.00031

DO - 10.1109/RTSS.2017.00031

M3 - Conference article published in proceeding or book

VL - 2018-January

T3 - Proceedings - Real-Time Systems Symposium

SP - 255

EP - 265

BT - Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017

PB - IEEE

T2 - 38th IEEE Real-Time Systems Symposium, RTSS 2017

Y2 - 5 October 2017 through 8 October 2017

ER -

Revisiting GPC and AND Connector in Real-Time Calculus

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this