Building Flexible Real-Time Systems Using the Flex Language

Computer

Volumn 24, Issue 5, 1991, Pages 70-78

  Kenny, Kevin B ^a   Lin, Kwei Jay ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING;

FLEX PROGRAMMING LANGUAGE; FLEX TIMING MECHANISM; FLEXIBLE REAL-TIME PROGRAMS; PROGRAM PERFORMANCE PREDICTION; REAL-TIME SYSTEM SCHEDULING; TIMING CONSTRAINT SYSTEMS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0026152804     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/2.76288     Document Type: Article

References (12)

1. K.-J. Lin and S. Natarajan, “Expressing and Maintaining Timing Constraints in Flex,” Proc. Ninth Real- Time Systems Symp., IEEE CS Press, Los Alamitos, Calif., Order No. 894, 1988, pp. 96-105.
2. A. D. Stoyenko, “A Schedulability Analyzer for Real-Time Euclid,” Proc. Eighth Real-Time Systems Symp., IEEE CS Press, Los Alamitos, Calif., Order No. 815, 1987, pp. 218-227.
3. G. Berry and L. Cosserat, “The Esterel Synchronous Programming Language and Its Mathematical Semantics,” Lecture Notes in Computer Science, Vol. 197, Springer-Verlag, Feb. 1985 pp. 389-448.
4. J. F. Allen, “Maintaining Knowledge About Temporal Intervals,” Comm. ACM, Vol. 26, No. 11, Nov. 1983, pp. 832-843.
5. B. Dasarathy, “Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods for Validating Them,” IEEE Trans. Software Eng., Vol. SE-11, No. 1, Jan. 1985, pp. 80-86.
6. F. Jahanian and A.K.-L. Mok, “Safety Analysis of Timing Properties in Real-Time Systems,” IEEE Trans. Software Eng., Vol. SE-12, No. 9, Sept. 1986, pp. 890-904.
7. D. W. Leinbaugh, “Guaranteed Response Times in a Hard Real-Time Environment,” IEEE Trans. Software Eng., Vol. SE-6, No. 1, Jan. 1980, pp. 85-91.
8. A. K. Mok et al., “Evaluating Tight Execution Time Bounds of Programs by Annotations,” Sixth IEEE Workshop on Real-Time Operating Systems and Software, May 1989, pp. 272-279.
9. T. E. Bihari, “Current Issues in the Development of Real-Time Control Software,” Real-Time Systems Newsletter, Vol. 5, No. 1, Winter 1989, pp. 1-5.
10. J.W.-S. Liu et al. “Algorithms for Scheduling Imprecise Computation,” Computer, Vol. 24, No. 5, May 1991.
11. L. Cardelli and P. Wegner, “Understanding Types, Data Abstractions, and Polymorphism,” ACM Computing Surveys, Vol. 17, No. 4, Dec. 1985, pp. 471-522.
12. K. B. Kenny and K.-J. Lin, “A Measurement-Based Performance Analyzer for Real-Time Programs,” Proc. Int'l Phoenix Conf. Computers and Comm., IEEE CS Press, Los Alamitos, Calif., Order No. 2133, 1991, pp. 93-99.