Name
Title | ||
|---|---|---|
Design Space Exploration and System Optimization with SymTA/S " Symbolic Timing Analysis for Systems |
Abstract | ||
|---|---|---|
The increasing complexity of heterogeneous SoC and distributed systems confronts the system designer with problems how to determine reasonable design alternatives leading to well functioning systems. Ideally, a designer would try all possible system configuration and choose the best one regarding specific system requirements. Unfortunately, such an approach is not possible because the high number of design parameters in complex systems leads to a very large design-space, prohibiting an exhaustive search. Consequently, good search techniques are needed to find optimal, or at least good, design alternatives. In this paper, we present a design space exploration framework for system optimization using SymTA/S, a software tool for formal performance analysis. In contrast to many previous approaches, our approach takes the hierarchical structure of the design space of heterogeneous SoC and distributed systems into account, allowing the designer to control the exploration process. A main technique in our approach is systematic system optimization using traffic shaping. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1109/REAL.2004.17 | RTSS |
Keywords | Field | DocType |
possible system configuration,design alternative,reasonable design alternative,design space exploration framework,design space exploration,specific system requirement,design space,design parameter,complex system,symbolic timing analysis,heterogeneous soc,system optimization,system designer,system on chip,timing analysis,exhaustive search,traffic shaping,system design,distributed system,distributed processing,systems analysis | Complex system,System on a chip,Brute-force search,Computer science,System of systems,Systems analysis,Real-time computing,Traffic shaping,System requirements,Design space exploration,Distributed computing | Conference |
ISSN | ISBN | Citations |
1052-8725 | 0-7695-2247-5 | 27 |
PageRank | References | Authors |
1.64 | 17 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Arne Hamann | 1 | 264 | 22.87 |
| Marek Jersak | 2 | 305 | 25.27 |
| Kai Richter | 3 | 384 | 34.65 |
| Rolf Ernst | 4 | 2633 | 252.90 |