Supporting the specification and analysis of timing constraints

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1996, Pages 170-178

  Ko, Lo ^a   Healy, Christopher ^a   Ratliff, Emily ^a   Arnold, Robert ^a   Whalley, David ^a   Harmon, Marion ^b  

^a Florida State University   (United States)

^b FLORIDA A AND M UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C PROGRAMS; MACHINE CODES; MACHINE INSTRUCTIONS; SOURCE CODE LINES; SOURCE CODES; TIMING CONSTRAINTS;

SPECIFICATIONS; USER INTERFACES; C (PROGRAMMING LANGUAGE); COMPUTER AIDED ANALYSIS; CONSTRAINT THEORY; INTERACTIVE COMPUTER SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; REAL TIME SYSTEMS;

MACHINE INSTRUCTIONS; SOURCE CODE; TIMING CONSTRAINTS;

EID: 0029719683     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1996.509534     Document Type: Conference Paper

References (12)

1. L. KO, D. B. Whalley, and M. G. Harmon, "Supporting User-Friendly Analysis of Timing Constraints, " Proceedings of the ACM SIGPLAN Notices 1995 Workshop on Languages, Compilers, and Tools for Real-Time Systems 30(11) pp. 99-107 (November 1995).
2. Texas Instruments, Inc., Product Preview of the TMS39OSIO Integrated SPARC Processor, 1993.
3. R, Arnold, F. Mueller, D. Whalley, and M. Harmon, "Bounding Worst-case Instruction Cache Performance, " Proceedings of the FifeeMh IEEE Real-Time Systems Symposium, pp. 172-181 (December 1994).
4. C. A. Healy, D. B. Whalley, and M. G. Harmon, "Integrating the Timing Analysis of Pipelining and Instruction Caching, " Proceedings of the Sixteenth IEEE Real-Time Systems Symposium, pp. 288-297 (December 1995).
5. C. Y. Park and A. C. Shaw, "Experiments with a Program Timing Tool Based on a Source-Level Timing Schema, " Computer 24(5) pp. 48-57 (May 1991).
6. Y. Ishikawa, H. Tokuda, and C. Mercer, "Object-Oriented Real-Time Language Design: Constructs for Timing Constraints, " Proceedings of the ACM Object-Oriented Programming: Systems, Languages, and Applicdions, pp. 289-296 (October, 1990).
7. E. Kligerman and A. Stoyenko, "Real-Time Euclid: A Language for Reliable Real-Time Systems, " IEEE Transactions on Software Engineering 12(9) pp. 941-949 (September 1986).
8. B. Dasarathy, "Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them, " IEEE Transactions on Software Engineering ll(1) pp. 80-86 (January 1985).
9. J. W. Davidson and D. B. Whalley, "Quick Compilers Using Peephole Optimizations, " Software-Practice & Experience 19(1) pp. 195-203 (January 1989).
10. M. E. Benitez and J. W. Davidson, "A Portable Global Optimizer and Linker, " Proceedings of the SIGPOW '88 Symposium on Programming Language Design and Implementation, pp. 329-338 (June 1988).
11. A. Nye and T. O'Reilly, X Toolkit Intrinsics Programming Manual, O'Reilly & Associates, Inc. (1990).
12. A. Nye, Xlib Programming Manual, O'Reilly & Associ-S. Hong and R. Gerber, "Compiling Real-Time Programs into Schedulable Code, " Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, pp. 166-176 (June 1993).