Abstract | ||
---|---|---|
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple previously incompatible analysis techniques which provide subsystem and component behavior. Based on these interfaces, event propagation using abstract models is used to derive global system timing properties. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1109/DAC.2002.1012637 | DAC |
Keywords | Field | DocType |
embedded systems,formal verification,high level synthesis,integrated circuit design,scheduling,timing,abstract models,component behavior,compositional approach,event interfacing,global system timing properties,platform design,scheduling analysis,timing behavior | Resource management,Optimal control,Scheduling (computing),Computer science,High-level synthesis,Interfacing,Real-time computing,Integrated circuit design,Platform-based design,Distributed computing,Formal verification | Conference |
ISSN | ISBN | Citations |
0738-100X | 1-58113-461-4 | 31 |
PageRank | References | Authors |
3.23 | 10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kai Richter | 1 | 384 | 34.65 |
D. Ziegenbein | 2 | 97 | 10.69 |
Marek Jersak | 3 | 305 | 25.27 |
Rolf Ernst | 4 | 2633 | 252.90 |