Improving the analysis of gpc in real-time calculus

Yue Tang, Yuming Jiang, Nan Guan

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

1 Citation (Scopus)


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 languageEnglish
Title of host publicationDependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Proceedings
EditorsNan Guan, Joost-Pieter Katoen, Jun Sun
Number of pages16
ISBN (Print)9783030355395
Publication statusPublished - 1 Jan 2019
Event5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 - Shanghai, China
Duration: 27 Nov 201929 Nov 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11951 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019


  • GPC
  • Output arrival curves
  • RTC

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Improving the analysis of gpc in real-time calculus'. Together they form a unique fingerprint.

Cite this