Name
Abstract | ||
|---|---|---|
The robustness of an architecture to changes is a major concern in the design of efficient and reliable state-of-the-art embedded real-time systems. Robustness is important during design process to identify if and in how far a system can accommodate later changes or updates, or whether it can be reused in a next generation product. In the product life-cycle, robustness helps the designer to perform changes as a result of product updates, integration of new components and subsystems, or modifications of the environment. In this paper we determine robustness as a performance reserve, the slack in performance before a system fails to meet timing requirements. This is measured as design sensitivity. Due to complex component interactions, resource sharing and functional dependencies, one-dimensional sensitivity analysis might not cover all effects that modifications of one system property may have on system performance. One reason is that the variation of one property can also affect the values of other system properties requiring new approaches to keep track of simultaneous parameter changes. In this paper we present a framework for one-dimensional and multi-dimensional sensitivity analysis of real-time systems. The framework is based on compositional analysis that is scalable to large systems. The one-dimensional sensitivity analysis combines a binary search technique with a set of formal equations derived from the real-time scheduling theory. The multi-dimensional sensitivity analysis engine consists of an exact algorithm that extends the one-dimensional approach, and a stochastic algorithm based on evolutionary search techniques. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/s11241-007-9039-9 | Realtime systems |
Keywords | Field | DocType |
Real-time,Embedded,Distributed systems,System-on-chip,Performance verification,Scheduling analysis,Compositional,Sensitivity analysis,Robustness,Slack,System properties,Binary search | System on a chip,Exact algorithm,Computer science,Real-time computing,Robustness (computer science),Functional dependency,Binary search algorithm,Shared resource,Design process,Distributed computing,Scalability | Journal |
Volume | Issue | ISSN |
39 | 1-3 | 0922-6443 |
Citations | PageRank | References |
10 | 0.83 | 27 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Razvan Racu | 1 | 218 | 14.93 |
| Arne Hamann | 2 | 264 | 22.87 |
| Rolf Ernst | 3 | 2633 | 252.90 |