TY - GEN
T1 - Cyclic dependencies in Modular Performance Analysis
AU - Jonsson, Bengt
AU - Perathoner, Simon
AU - Thiele, Lothar
AU - Yi, Wang
PY - 2008
Y1 - 2008
N2 - The Modular Performance Analysis based on Real-Time Calculus (MPA-RTC), developed by Thiele et al., is an abstraction for the analysis of component-based real-time systems. The formalism uses an abstract stream model to characterize both workload and availability of computation and communication resources. Components can then be viewed as stream transformers. The Real-Time Calculus has been used successfully on systems where dependencies between components, via either workload or resource streams, are acyclic. For systems with cyclic dependencies the foundations and performance of the formalism are less well understood. In this paper, we develop a general operational semantics underlying the Real-Time Calculus, and use this to show that the behavior of systems with cyclic dependencies can be analyzed by fixpoint iterations. We characterize conditions under which such iterations give safe results, and also show how precise the results can be.
AB - The Modular Performance Analysis based on Real-Time Calculus (MPA-RTC), developed by Thiele et al., is an abstraction for the analysis of component-based real-time systems. The formalism uses an abstract stream model to characterize both workload and availability of computation and communication resources. Components can then be viewed as stream transformers. The Real-Time Calculus has been used successfully on systems where dependencies between components, via either workload or resource streams, are acyclic. For systems with cyclic dependencies the foundations and performance of the formalism are less well understood. In this paper, we develop a general operational semantics underlying the Real-Time Calculus, and use this to show that the behavior of systems with cyclic dependencies can be analyzed by fixpoint iterations. We characterize conditions under which such iterations give safe results, and also show how precise the results can be.
KW - Fixpoint iteration
KW - Performance Analysis
KW - Real-Time Calculus
UR - https://www.scopus.com/pages/publications/70349260468
U2 - 10.1145/1450058.1450083
DO - 10.1145/1450058.1450083
M3 - 会议稿件
AN - SCOPUS:70349260468
SN - 9781605584683
T3 - Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08
SP - 179
EP - 188
BT - Proceedings of the 8th ACM International Conference on Embedded Software, EMSOFT'08
PB - Association for Computing Machinery (ACM)
T2 - 8th ACM International Conference on Embedded Software, EMSOFT 2008
Y2 - 19 October 2008 through 24 October 2008
ER -