Proceedings Article10.1145/1450058.1450083
Cyclic dependencies in modular performance analysis
Bengt Jonsson,Simon Perathoner,Lothar Thiele,Wang Yi +3 more
- 19 Oct 2008
- pp 179-188
TL;DR: A general operational semantics underlying the Real-Time Calculus is developed, and this is used to show that the behavior of systems with cyclic dependencies can be analyzed by fixpoint iterations.
read more
Abstract: 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.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures
TL;DR: This paper surveys existing performance analysis approaches from real-time systems research and compares them to the established layered software architectures of automotive system design and highlights key challenges for the application of performance analysis in this domain.
58
Response Time Analysis on Multicore ECUs With Shared Resources
TL;DR: This paper presents an novel analytical approach to provide the worst-case response time for real-time tasks in multiprocessor systems with shared resources and supports realistic, event- or time-driven task activation schemes and allows to calculate tight bounds on the estimated system performance.
57
A recursive approach to end-to-end path latency computation in heterogeneous multiprocessor systems
Simon Schliecker,Rolf Ernst +1 more
- 11 Oct 2009
TL;DR: The rocedure precisely captures the pipelined and parallel processing of multiple events along an application path by accurately capturing the resource timing and avoiding the pay-bursts-only-once problem.
52
Aperiodic Multiprocessor Scheduling for Real-Time Stream Processing Applications
Maarten Hendrik Wiggers
- 19 Jun 2009
TL;DR: An algorithm that uses a new dataflow model, variable- rate phased dataflow, to compute buffer capacities that guarantee satisfaction of timing and resource constraints for task graphs that have inter-task synchro- nisation behaviour that is dependent on the processed data stream and that have tasks that are scheduled by run-time schedulers that guarantee resource budgets is presented.
Modular performance analysis of cyclic dataflow graphs
Lothar Thiele,Nikolay Stoimenov +1 more
- 12 Oct 2009
TL;DR: The embedding of the novel approach into a modular performance analysis method allows the analysis of distributed implementations that use resource sharing mechanisms such as fixed-priority scheduling and time division multiple access (TDMA).
45
References
•Book
Network Calculus: A Theory of Deterministic Queuing Systems for the Internet
Jean-Yves Le Boudec,Patrick Thiran +1 more
- 06 Jul 2001
TL;DR: The application of Network Calculus to the Internet and basic Min-plus and Max-plus Calculus and Optimal Multimedia Smoothing and Adaptive and Packet Scale Rate Guarantees are studied.
1.8K
System architecture evaluation using modular performance analysis: a case study
TL;DR: In this paper, the authors present an analytical approach based on Real-Time Calculus for performance analysis of embedded real-time systems in radio navigation systems, which is suitable for early design exploration.
System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
Marcel Verhoef,Ernesto Wandeler,Lothar Thiele,Paul Lieverse +3 more
- 01 Jan 2004
TL;DR: Modular performance analysis is presented through a case study in which several candidate architectures are evaluated for a distributed in-car radio navigation system and is efficient due to the high abstraction level of the model, which makes the technique suitable for early design exploration.
208
•Book
Modular Performance Analysis and Interface-Based Design for Embedded Real-Time Systems
Ernesto Wandeler
- 29 Nov 2006
TL;DR: Challenges for system level performance analysis of embedded systems are identified, and based on these challenges a framework for formal modular performance analysis and design of complex distributed embedded real-time systems is developed and extended.
116