Combining complex event models and timing constraints

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Volumn 2001-January, Issue , 2001, Pages 89-94

  Jersak, M ^a   Richter, K ^a   Ernst, R ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; IMAGE COMMUNICATION SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SPECIFICATIONS;

ANALYSIS AND SYNTHESIS; COMPLEX EVENTS; CURRENT ANALYSIS; EMBEDDED REAL TIME SYSTEMS; EVENT STREAMS; REAL-TIME VIDEO TRANSMISSION; SYSTEM LEVELS; TIMING CONSTRAINTS;

REAL TIME SYSTEMS;

EID: 54849438675     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2001.972813     Document Type: Conference Paper

References (9)

1. R. Ernst, D. Ziegenbein, K. Richter, L. Thiele, and J. Teich. Hardware/software codesign of embedded systems - the SPI workbench. In Proceedings IEEE Workshop on VLSI, Orlando, USA, June 1999.
2. R. K. Gupta and G. De Micheli. Specification and analysis of timing constraints for embedded systems. IEEE Trans. CAD, March 1997.
3. M. Jersak, D. Ziegenbein, and R. Ernst. A general approach to modeling system-level timing constraints. In Proceedings 4th Forum on Design Languages, Lyon, France, 2001.
4. J. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings Real-Time Systems Symposiom, pages 201-209, 1989.
5. C. L. Liu and J. W. Layland. Scheduling algorithm for multiprogramming in a hard-real-time environment. Journal of the ACM, 20, 1973.
6. K. Richter, R. Ernst, and W. Wolf. Hierarchical specification methods for platform-based design. In Proc. of Tenth Workshop on Synthesis And System Integration of MIxed Technologies (SASIMI 2001), Nara, Japan, 2001.
7. A. Österling, Th. Benner, R. Ernst, D. Herrmann, Th. Scholz, and W. Ye. Hardware/Software Co-Design: Principles and Practice, chapter The COSYMA System. Kluwer Academic Publishers, 1997.
8. K. W. Tindell. An extendible approach for analysing fixed priority hard real-time systems. Journal of Real-Time Systems, 6(2):133-152, Mar 1994.
9. T. Yen and W. Wolf. Performance estimation for real-time distributed embedded systems. IEEE Transactions on Parallel and Distributed Systems, 9(11), November 1998.