Name
Title | ||
|---|---|---|
Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications |
Abstract | ||
|---|---|---|
Modern real-time streaming applications are increasingly implemented on multiprocessor systems-on-chip (MPSoC). The implementation, as well as the verification of real-time applications executing on MPSoCs, are difficult tasks, however. A major challenge is the performance analysis of MPSoCs, which is required for early design space exploration and final system verification. Simulation-based methods are not well-suited for this purpose, due to long runtimes and non-exhaustive corner-case coverage. To overcome these limitations, formal performance analysis methods that provide guarantees for meeting real-time constraints have been developed. Embedding formal performance analysis into the MPSoC design cycle requires the generation of a faithful analysis model and its calibration with the system-specific parameters. In this article, a design flow that automates these steps is presented. In particular, we integrate modular performance analysis (MPA) into the distributed operation layer (DOL) MPSoC programming environment. The result is an MPSoC software design flow that allows for automatically generating the system implementation, together with an analysis model for system verification. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1145/2146417.2146425 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
mpsoc software design flow,performance analysis,design flow,mpsoc design cycle,modular performance analysis,analysis model,mpsoc programming environment,formal performance analysis,faithful analysis model,formal performance analysis method,design automation,software design,real time | Software design,Computer science,Parallel computing,Design flow,Implementation,Multiprocessing,Real-time computing,Electronic design automation,Modular design,Design space exploration,MPSoC,Embedded system | Journal |
Volume | Issue | ISSN |
11 | 1 | 1539-9087 |
Citations | PageRank | References |
13 | 0.58 | 33 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kai Huang | 1 | 468 | 45.69 |
| Wolfgang Haid | 2 | 189 | 7.80 |
| Iuliana Bacivarov | 3 | 434 | 24.71 |
| Matthias Keller | 4 | 76 | 6.07 |
| Lothar Thiele | 5 | 14025 | 957.82 |