Abstract | ||
---|---|---|
Sophisticated models of event streams including jitter and bursts as well as the possibility to specify a variety of system-level timing constraints are prerequisites for modern analysis and synthesis techniques in the area of embedded real-time systems. Currently, there is no commonly used specification that models events and timing constraints in a sufficiently general way. In this paper, we first identify a duality between event models and timing constraints and as a result present a specification that can be used for both. Our specification covers most current analysis and synthesis techniques and is easily extensible. We then show how the duality between event models and timing constraints can be applied at different points in a design flow. A real-time video transmission is used as an example. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1109/HLDVT.2001.972813 | Monterey, CA |
Keywords | Field | DocType |
modern analysis,embedded real-time system,system-level timing constraint,event model,timing constraint,real-time video transmission,timing constraints,models event,complex event models,current analysis,event stream,synthesis technique,system testing,computer networks,real time,specification,real time systems,embedded computing,formal specification,design flow,communication networks,high level synthesis,jitter,embedded systems,embedded system,network synthesis | Event model,Computer science,High-level synthesis,Real-time computing,Formal specification,Design flow,Duality (optimization),Video transmission,Jitter,Extensibility | Conference |
ISBN | Citations | PageRank |
0-7695-1411-1 | 2 | 1.08 |
References | Authors | |
5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marek Jersak | 1 | 305 | 25.27 |
Kai Richter | 2 | 384 | 34.65 |
Rolf Ernst | 3 | 2633 | 252.90 |