@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",
}