EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Causality closure for a new class of curves in real-time calculus
Proceedings of the 1st International Workshop on Worst-Case Traversal Time
Arrival curves for real-time calculus: the causality problem and its solutions
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Performance analysis of AADL models using real-time calculus
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
State-based scheduling with tree schedules: analysis and evaluation
Real-Time Systems
Hi-index | 0.00 |
We present a performance analysis technique for dis- tributed real-time systems in a setting where certain com- ponents are modeled in a purely functional manner, while the remaining components require additional modeling of state information. The functional models can be efficiently analyzed but have restricted expressiveness. On the other hand, state-based models are more expressive and offer a richer set of analyzable properties but are computation- ally more expensive to analyze. We show that by appro- priately composing these two classes of models it is pos- sible to leverage on their respective advantages. To this end, we propose an interface between components that are modeled using Real-Time Calculus [Chakraborty, Künzli and Thiele, DATE 2003] and those that are modeled us- ing Event Count Automata [Chakraborty, Phan and Thia- garajan, RTSS 2005]. The resulting modeling technique is as expressive as Event Count Automata, but is amenable to more efficient analysis. We illustrate these advantages using a number of examples and a detailed case study.