Perts: A prototyping environment for real-time systems

International Journal of Software Engineering and Knowledge Engineering

Volumn 6, Issue 2, 1996, Pages 161-177

  Liu, J W S ^a   Liu, C L ^a   Deng, Z ^a   Tia, T S ^a   Sun, J ^a   Storch, M ^a   Hull, D ^a   Redondo, J L ^b   Bettati, R ^c   Silberman, A ^d  

^a University of Illinois at Urbana Champaign   (United States)

^b TELEFONICA RESEARCH   (Spain)

^c TEXAS A AND M UNIVERSITY   (United States)

^d University Heights   (United States)

Author keywords

Real time systems; Schedulability analysis; Validation method and tool

Indexed keywords

EID: 0003236934     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000089     Document Type: Article

References (15)

1. J. Salasin and D. Waugh, "An approach to analyzing nonfunctional aspects during system definition," Proceedings of DSSA Meeting, July 1993.
2. A. M. Van Tilborg and G. M. Koob, Foundations of Real-Time Computing: Scheduling and Resource Management, Kluwer Academic Publishers, 1991.
3. A. M. Van Tilborg and G. M. Koob, Foundations of Real-Time Computing: Formal Methods and Specifications, Kluwer Academic Publishers, 1991.
4. H. Tokuda and C. W. Mercer, "A real-time tool set for the ARTS kernel," Proceedings of the 9th IEEE Real-Time Systems Symposium, December 1988.
5. Luqi, "Software evolution through rapid prototyping," IEEE Computer 22, 5 (1989) 13-25.
6. C. L. Liu and J. W. Layland, "Scheduling algorithms for multiprogramming in a hard-real-time environment," J. Assoc. Comput. Machin. 20 (1973) 46-61.
7. J. Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic, real-time tasks," Performance Evaluation 2 (1982) 237-250.
8. B. Sprunt, L. Sha and J. P. Lehoczky, "Aperiodic task scheduling for hard real-time systems," J. Real-Time Syst. (1989) 27-60.
9. J. P. Lehoczky, L. Sha and Y. Ding, "The rate monotone scheduling algorithm: Exact characterization and average case behavior," Proceedings of the 10th Real-Time Systems Symposium, December 1989.
10. L. Sha, R. Rajkumar and J. P. Lehoczky, "Priority-inheritance protocols: An approach to real-time synchronization," IEEE Trans. Comput. 39 (1990) 1175-1185.
11. T. P. Baker, "A stack-based allocation policy for real-time processes," Proceedings of IEEE 11th Real-Time Systems Symposium, December 1990, pp. 191-200.
12. J. W. S. Liu, K. J. Lin, W. K. Shih, R. Bettati and J. Y. Chung, "Imprecise computations," IEEE Proceedings, January 1994.
13. R. L. Graham, "Bounds on multiprocessing timing anomalies," SIAM J. Appl. Math. 17 (1969) 263-269.
14. J. W. S. Liu, J. L. Redondo, Z. Deng, T. S. Tia, R. Bettati, A. Silberman, M. Storch, R. Ha and W. K. Shih, "PERTS: A prototyping environment for real-time systems," Technical Report UIUCDCS-R-93-1802, Department of Computer Science, University of Illinois, May 1993.
15. J. W. S. Liu and R. Ha, "Theoretical foundations of efficient methods for validating real-time constraints," to appear in Principles of Real-Time Systems, edited by S. Son, Prentice Hall.