TY - GEN
T1 - Improving the analysis of gpc in real-time calculus
AU - Tang, Yue
AU - Jiang, Yuming
AU - Guan, Nan
PY - 2019/1/1
Y1 - 2019/1/1
N2 - Real-Time Calculus (RTC) is a framework for modeling and performance analysis of real-time networked systems. In RTC, workload and resources are modeled as arrival and service curves, and processing semantics are modeled by abstract components. Greedy Processing Component (GPC) is one of the fundamental abstract components in RTC, which processes incoming events in a greedy fashion as long as there are available resources. The relations between inputs and outputs of GPC have been established, which are consistent with its behaviors. In this paper, we first revise the original proof of calculating output curves in GPC, and then propose a new method to obtain tighter output arrival curves. Experiment results show that the precision of output arrival curves can be improved by our method compared with the original calculation and existing work.
AB - Real-Time Calculus (RTC) is a framework for modeling and performance analysis of real-time networked systems. In RTC, workload and resources are modeled as arrival and service curves, and processing semantics are modeled by abstract components. Greedy Processing Component (GPC) is one of the fundamental abstract components in RTC, which processes incoming events in a greedy fashion as long as there are available resources. The relations between inputs and outputs of GPC have been established, which are consistent with its behaviors. In this paper, we first revise the original proof of calculating output curves in GPC, and then propose a new method to obtain tighter output arrival curves. Experiment results show that the precision of output arrival curves can be improved by our method compared with the original calculation and existing work.
KW - GPC
KW - Output arrival curves
KW - RTC
UR - http://www.scopus.com/inward/record.url?scp=85076671890&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-35540-1_7
DO - 10.1007/978-3-030-35540-1_7
M3 - Conference article published in proceeding or book
AN - SCOPUS:85076671890
SN - 9783030355395
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 106
EP - 121
BT - Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Proceedings
A2 - Guan, Nan
A2 - Katoen, Joost-Pieter
A2 - Sun, Jun
PB - Springer
T2 - 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019
Y2 - 27 November 2019 through 29 November 2019
ER -