|
Authors: | Simon Perathoner, Kai Lampka, Lothar Thiele |
Group: | Computer Engineering |
Type: | Inproceedings |
Title: | Composing Heterogeneous Components for System-wide Performance Analysis |
Year: | 2011 |
Month: | March |
Pub-Key: | PLT11a |
Book Titel: | Proceedings of Design, Automation and Test in Europe, 2011 (DATE 11) |
Pages: | 1-6 |
Keywords: | MPA, ESD |
Publisher: | IEEE |
Abstract: | Component-based validation techniques for parallel and distributed embedded systems should be able to deal with heterogeneous components, interactions, and specification mechanisms. This paper describes various approaches that allow the composition of subsystems with different execution and interaction semantics by combining computational and analytic models. In particular, this work shows how finite state machines, timed automata, and methods from classical real-time scheduling theory can be embedded into MPA (modular performance analysis), a contemporary framework for system-level performance analysis. The result is a powerful tool for compositional performance validation of distributed real-time systems. |
Remarks: | Invited Paper |
Location: | Grenoble, France |
Resources: | [BibTeX] [ External LINK ] [Paper as PDF] |