Abstract
The goal of this paper is to evaluate the real-time specification for Java proposal by performing several case studies. These case studies include: an extensible general resource controller; atomic action support infrastructure; unbounded and imprecise computations. They have been used previously by the Ada community to evaluate the efficacy of the Ada concurrency and real-time models. Our results indicate that the Real-Time Specification for Java is expressive enough to cope with the demands of real-time concurrent programming. If it can be implemented efficiently, it will provide an alternative to Ada 95 for programming real-time systems.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Audsley, N. C., Burns, A., Richardson, M., Tindel, K., and Welling, A. J. 1993. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5): 284-292.
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.
Bloom, T. 1979. Evaluating synchronization mechanisms. In Proceedings of the Seventh ACM Symposium on Operating System Principles. Pacific Grove, pp. 24-32.
Bollella, G., Brosgol, B., Dibble, P., Furr, S., Gosling, J., Hardin, D., and Turnbull M. 2000. The Real-Time Specification for Java. Addison-Wesley.
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.
Garvey, A., and Lesser, V. 1996. Design-to-time scheduling and anytime algorithms. SIGART Bulletin 7(2): 16-19.
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.
Lomet, D. 1977. Process structuring, synchronization and recovery using atomic actions. In Proceedings ACM Conference Language Design for Reliable Software SIGPLAN, pp. 128-137.
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.
Randell, B., Lee, P., and Treleaven, P. 1978. Reliability issues in computing system design. ACM Computing Surveys 10(2): 123-165.
Romanovsky, A. 1999. On structuring cooperative and competitive concurrent systems. The Computer Journal 42(8): 627-637.
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.
Stoyenko, A., and Halang, W. 1993. Extending PEARL for industrial real-time application. IEEE Software 10(7): 65-74.
Welling, A. J., and Burns, A. 1997. Implementing atomic actions in Ada 95. IEEE Transactions on Software Engineering 23(2): 107-123.
Welling 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.
Werum, W., and Windauer, H. 1985. Introduction to PEARL Process and Experiment Automation Realtime Language. Friedr. Vieweg Sohn.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Wellings, A.J., Puschner, P. Evaluating the Expressive Power of the Real-Time Specification for Java*. Real-Time Systems 24, 319–359 (2003). https://doi.org/10.1023/A:1022816701710
Issue Date:
DOI: https://doi.org/10.1023/A:1022816701710