Name
Abstract | ||
|---|---|---|
Performance analysis has many advantages in theory compared to simulation for the validation of complex embedded systems, but is rarely used in practice. To make analysis more attractive, it is critical to calculate tight analysis bounds. This paper shows that advanced performance analysis techniques taking correlations between successive computation or communication requests as well a correlated load distribution into account can yield much tighter analysis bounds. Cases where such correlations have a large impact on system timing are especially difficult to simulate and, hence, are an ideal target for formal performance analysis. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1007/978-1-4020-6488-3_5 | DATE |
Keywords | Field | DocType |
ideal target,performance analysis,system design,correlated load distribution,advanced performance analysis technique,complex embedded system,formal performance analysis,tight analysis bound,context-aware performance analysis,communication request,tighter analysis bound,large impact,routing,bandwidth,load distribution,embedded system,formal verification,embedded systems,cores | Embedded system design,Computer science,Parallel computing,Real-time computing,Bandwidth (signal processing),Formal verification,Distributed computing,Computation | Conference |
ISBN | Citations | PageRank |
0-7695-2085-5 | 30 | 2.41 |
References | Authors | |
7 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marek Jersak | 1 | 305 | 25.27 |
| Rafik Henia | 2 | 161 | 13.71 |
| Rolf Ernst | 3 | 2633 | 252.90 |