A formal approach to MpSoC performance verification

Computer

Volumn 36, Issue 4, 2003, Pages 60-67+4

  Richter, Kai ^a   Jersak, Marek ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; MICROPROCESSOR CHIPS; USER INTERFACES;

DATA LOSS;

PROGRAM PROCESSORS;

EID: 0345382714     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2003.1193230     Document Type: Article

References (12)

1. S. Dutta, R. Jensen, and A. Rieckmann, "Viper: A Multiprocessor SoC for Advanced Set-Top Box and Digital TV Systems," IEEE Design & Test of Computers, Sept.-Oct. 2001, pp. 21-31.
2. L. Benini and G. DeMicheli, "Networks on Chips: A New SoC Paradigm," Computer, Jan. 2002, pp. 70-78.
3. F. Wolf, Behavioral Intervals in Embedded Software, Kluwer Academic, 2002.
4. C.L. Liu and J.W. Layland. "Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment," J. ACM, vol. 20, no. 1, 1973, pp. 46-61.
5. E. Jensen, C. Locke, and H. Tokuda, "A Time-Driven Scheduling Model for Real-Time Operating Systems, Proc. 6th IEEE Real-Time Systems Symp. (RTSS1985), IEEE CS Press, 1985, pp. 112-122.
6. E.A. Lee And D.G. Messerschmitt, "Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing," IEEE Trans. Computers. Jan. 1987, pp. 24-15.
7. K. Tindell and J. Clark, "Holistic Schedulability for Distributed Hard Real-Time Systems, Euromicro J., vol. 40, 1994, pp. 117-134.
8. P. Pop, P. Eles, and Z. Peng, "Holistic Scheduling and Analysis of Mixed Time/Event-Triggered Distributed Embedded Systems," Proc. Int'l Symp. Hardware/ Software Codesign (CODES2002), ACM Press, 2002. pp. 187-192.
9. K. Gresser, "An Event Model for Deadline Verification of Hard Real-Time Systems," Proc. 5th Euromicro Workshop on Real-Time Systems, IEEE CS Press, 1993, pp. 118-123.
10. L. Thiele, S. Chakraborty, and M. Naedele, "Real-time Calculus for Scheduling Hard Real-Time- Systems," Prof. Iint'l Symp. Circuits and Systems (ISCAS 2000), IEEE CS Press, 2000, pp. 101-104.
11. K. Richter and R. Ernst, "Event Model Interfaces for Heterogeneous System Analysis," Proc. Design. Automation and Test in Europe (DATE2002). IEEE CS Press. 2002, pp. 506-513.
12. K. Richter et al., "Model Composition for Scheduling Analysis in Platform Design," Proc. Design Automation Conf. (DAC2002), ACM Press, 2002, pp. 287-292.