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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1109/DATE.2011.5763143 | Design, Automation & Test in Europe Conference & Exhibition |
Keywords | Field | DocType |
distributed processing,embedded systems,finite state machines,performance evaluation,scheduling,component-based validation techniques,distributed embedded systems,finite state machines,heterogeneous components,modular performance analysis,parallel embedded systems,real-time scheduling theory,system-wide performance analysis,timed automata | Computer science,Scheduling (computing),Scheduling theory,Automaton,Real-time computing,Finite-state machine,Modular design,Semantics,Distributed computing | Conference |
ISSN | ISBN | Citations |
1530-1591 | 978-1-61284-208-0 | 12 |
PageRank | References | Authors |
0.64 | 14 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Simon Perathoner | 1 | 217 | 10.27 |
Lampka, K. | 2 | 12 | 0.64 |
Lothar Thiele | 3 | 14025 | 957.82 |