Improving the analysis of GPC in real-time calculus

Yue Tang; Yuming Jiang; Nan Guan

doi:10.1007/978-3-030-35540-1_7

Improving the analysis of GPC in real-time calculus

Yue Tang
, Yuming Jiang
, Nan Guan

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

1 Citation (Scopus)

Abstract

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.

Original language	English
Title of host publication	Dependable Software Engineering: Theories, Tools, and Applications
Subtitle of host publication	5th International Symposium, SETTA 2019, Proceedings
Editors	Nan Guan, Joost-Pieter Katoen, Jun Sun
Publisher	Springer Nature
Pages	106-121
ISBN (Electronic)	9783030355401
ISBN (Print)	9783030355395
DOIs	https://doi.org/10.1007/978-3-030-35540-1_7
Publication status	Published - 2019
Externally published	Yes
Event	5th Symposium on Dependable Software Engineering (SETTA 2019): Theories, Tools, and Applications - Shanghai, China Duration: 27 Nov 2019 → 29 Nov 2019

Publication series

Name	Lecture Notes in Computer Science
Volume	11951
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th Symposium on Dependable Software Engineering (SETTA 2019)
Abbreviated title	SETTA'19
Place	China
City	Shanghai
Period	27/11/19 → 29/11/19

Research Keywords

GPC
Output arrival curves
RTC

Access Output

10.1007/978-3-030-35540-1_7

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

Tang, Y., Jiang, Y., & Guan, N. (2019). Improving the analysis of GPC in real-time calculus. In N. Guan, J.-P. Katoen, & J. Sun (Eds.), Dependable Software Engineering: Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Proceedings (pp. 106-121). (Lecture Notes in Computer Science; Vol. 11951). Springer Nature. https://doi.org/10.1007/978-3-030-35540-1_7

@inproceedings{3fd5d34293b5493fba56f2b8f0080382,

title = "Improving the analysis of GPC in real-time calculus",

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

keywords = "GPC, Output arrival curves, RTC",

author = "Yue Tang and Yuming Jiang and Nan Guan",

year = "2019",

doi = "10.1007/978-3-030-35540-1\_7",

language = "English",

isbn = "9783030355395",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "106--121",

editor = "Nan Guan and Joost-Pieter Katoen and Jun Sun",

booktitle = "Dependable Software Engineering: Theories, Tools, and Applications",

note = "5th Symposium on Dependable Software Engineering (SETTA 2019) : Theories, Tools, and Applications, SETTA'19 ; Conference date: 27-11-2019 Through 29-11-2019",

}

Tang, Y, Jiang, Y & Guan, N 2019, Improving the analysis of GPC in real-time calculus. in N Guan, J-P Katoen & J Sun (eds), Dependable Software Engineering: Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Proceedings. Lecture Notes in Computer Science, vol. 11951, Springer Nature, pp. 106-121, 5th Symposium on Dependable Software Engineering (SETTA 2019), Shanghai, China, 27/11/19. https://doi.org/10.1007/978-3-030-35540-1_7

Improving the analysis of GPC in real-time calculus. / Tang, Yue; Jiang, Yuming; Guan, Nan.
Dependable Software Engineering: Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Proceedings. ed. / Nan Guan; Joost-Pieter Katoen; Jun Sun. Springer Nature, 2019. p. 106-121 (Lecture Notes in Computer Science; Vol. 11951).

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

TY - GEN

T1 - Improving the analysis of GPC in real-time calculus

AU - Tang, Yue

AU - Jiang, Yuming

AU - Guan, Nan

PY - 2019

Y1 - 2019

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 - https://www.scopus.com/pages/publications/85076671890

UR - https://www.scopus.com/pages/publications/85076671890#tab=impact

U2 - 10.1007/978-3-030-35540-1_7

DO - 10.1007/978-3-030-35540-1_7

M3 - RGC 32 - Refereed conference paper (with host publication)

SN - 9783030355395

T3 - Lecture Notes in Computer Science

SP - 106

EP - 121

BT - Dependable Software Engineering: Theories, Tools, and Applications

A2 - Guan, Nan

A2 - Katoen, Joost-Pieter

A2 - Sun, Jun

PB - Springer Nature

T2 - 5th Symposium on Dependable Software Engineering (SETTA 2019)

Y2 - 27 November 2019 through 29 November 2019

ER -

Improving the analysis of GPC in real-time calculus

Abstract

Publication series

Conference

Research Keywords

Access Output

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this