Name
Abstract | ||
|---|---|---|
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimistic best-case and worst-case quantities of system properties. Our proposed analysis methodology determines qualitative numbers between best-case and worst-case of system properties and quantifies them with probabilities. For this issue, we combine local coarse-grained profiling and formal system-level analysis models in a hybrid approach for an early quantitative determination of qualitative system properties. Our approach considers the control-flow of communicating processes and the impact of blocking communication instances on the temporal behavior of the entire system during formal analysis. This can be used for determining the global system performance. The application of our new methodology leads to an inclusion of probabilities concerning system properties and allows an early performance risk estimation of a design with regard to predefined system requirements and constraints. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1145/1289816.1289862 | CODES+ISSS |
Keywords | Field | DocType |
performance analysis,qualitative system property,predefined system requirement,proposed analysis methodology,system design,probabilistic performance risk analysis,entire system,formal analysis,formal system-level analysis model,global system performance,system property,risk analysis,control flow,estimation,stochastic process,computational modeling,systems analysis,formal concept analysis,synchronization,stochastic processes,probability and statistics,process control,system performance | Data mining,Synchronization,Profiling (computer programming),Risk analysis (business),Computer science,Simulation,Systems analysis,Systems design,Real-time computing,Probabilistic logic,System requirements,Formal concept analysis | Conference |
Citations | PageRank | References |
5 | 0.58 | 23 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexander Viehl | 1 | 181 | 25.01 |
| Markus Schwarz | 2 | 5 | 0.58 |
| Oliver Bringmann | 3 | 586 | 71.36 |
| Wolfgang Rosenstiel | 4 | 1462 | 212.32 |