Evaluating the expressive power of the real-time specification for Java

Real-Time Systems

Volumn 24, Issue 3, 2003, Pages 319-359

  Wellings, A J ^a   Puschner, P ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Concurrent object oriented real time programming; Real time Java

Indexed keywords

ADA (PROGRAMMING LANGUAGE); ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; CONCURRENT ENGINEERING; INTERFACES (COMPUTER); JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING;

CONCURRENT OBJECT-ORIENTED REAL-TIME PROGRAMMING; REAL TIME SPECIFICATION; REAL-TIME JAVA;

REAL TIME SYSTEMS;

EID: 0038343525     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022816701710     Document Type: Article

References (16)

1. Audsley, N.C.; Burns, A.; Richardson M., Timdel, K., and Wellings, A. J. (1993) Applying new scheduling theory to static priority pre-emptive scheduling, Software Engineering Journal 8(5); 284-292.
2. Audsley, N.C. Burns, A., Davis R., and Wellings, A.J. 1995 Integrating unbounded software components into hard real-time systems. In S. Natarajan (ed.), Imprecise and Approximate Computation. Kluwer Academic Publishers, pp. 63-86.
3. Bloom, T. 1979 Evaluating synchronisation mechanisms. In Proceedings of the Seventh ACM Symposium on Operating System Principles, Pacific Grove, pp. 24-32
4. Bolella, G., Brosgol, B., Dibble, P., Furr, S., Gosling, J., Handin, D., and Turnbull, M. 2000, The Real-Time Specification for Java, Addison-Wesley
5. Burns, A., and Wellings, A. 1996 Ada 95: An effective concurrent programming language. Reliable Software Technologies - Ada-Europe 96, Lecture Notes in Computer Science 1088, 58-77.
6. Gurvey, A., and Lesser, V. 1996 Design-to-time scheduling and anytime algorithms. SIGART Bulletin 7(2): 16-19.
7. Liu, J. W. S.; Lin, K. J., and Natarajan, S., 1987 Scheduling real-time periodic jobs using imprecise results. In Proceedings 8th IEEE Real-Time Systems Symposium, San Jose, California, pp. 252-260.
8. Lomet, D, 1977 Process structuring, synchronisation and recovery using atomic actions. In Proceedings ACM Conference Language Design for Reliable Software SIGPLAN, pp. 128-137.
9. Matsuoka, S., and Yonezawa, A. 1993. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In Research Directions in Concurrent Object-Oriented Programming. MIT Press, pp. 107-150.
10. Randell, B., Lee, P., and Treleaven, P. 1978 Reliability issues in computing system design. ACM Computing Surveys 10 (2) 123-165.
11. Romanovsky, A., 1999 On structuring cooperative and competitive concurrent systems. The Computer Journal 42 (8): 627-637.
12. Romanovsky, A., Randell, B., Stroud, R., Xu, J., and Zorzo, A. 1997 Implementation of blocking coordinated atomic actions based on forward error recover. Journal of System Architecture (Special Issue on Dependable Parallel Computing Systems) 43 (10): 687-699.
13. Stoyenko, A., and Halang, W. 1993 Extending PEARL for industrial real-time application. IEEE Software 10(7): 65-74.
14. Wellings, A. J., and Burns, A. 1997 Implementing atomic actions in Ada 95. IEEE Transactions on Software Engineering 23(2): 107-123
15. Wellings, A.J., Johnson, B., Sanden, B., Kienzle, J. Wolf, T., and S. Michell (2000). Integrating object-oriented programming and protected types in Ada 95. ACM TOPLAS 22(3): 506-539.
16. Werum, W., and Windauer, H. 1985 Introduction to PEARL Process and Experiment Automation Realtime Language, Friedr. Vieweg. Sohn.