Efficient asynchronous event handling in the Real-Time Specification for Java

Transactions on Embedded Computing Systems

Volumn 10, Issue 1, 2010, Pages

  Kim, Minseong ^a   Wellings, Andy ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS EVENT; AUTOMATA MODELS; CONFIGURABILITY; FORMAL MODEL; MODEL CHECKING TOOLS; NON-BLOCKING; PERFORMANCE PENALTIES; PERFORMANCE TESTS; REAL-TIME SPECIFICATION FOR JAVAS; TECHNIQUES USED;

JAVA PROGRAMMING LANGUAGE; REAL TIME SYSTEMS; SPECIFICATIONS;

MODEL CHECKING;

EID: 77956353219     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/1814539.1814544     Document Type: Conference Paper

References (13)

1. BEHRMANN, G., DAVID, A., AND LARSEN, K. G. 2004. A tutorial on uppaal. Lecture Notes in Computer Science vol. 3185, Springer-Verlag, Berlin, Germany, 200-236.
2. BELLIARDI, R., BROSGOL, B., DIBBLE, P., HOLMES, D., AND WELLINGS, A. J. 2008. Real-Time Specification for Java Ver. 1.0.2. http://www.rtsj.org/.
3. CORSARO, A. 2004. Techniques and patterns for safe and efficient real-time middleware. Ph. D. dissertation, Washington University, St. Louis, MO.
4. DAVIS, R., MERRIAM, N., AND TRACEY, N. 2000. How embedded applications using an rtos can stay within on-chip memory limits. In Proceedings of the 12th EuroMicro Conference on Real-Time Systems. IEEE Computer Society, Los Alamitos, CA, 71-77.
5. DEBATTISTA, K., VELLA, K., AND CORDINA, J. 2002. Cache-affinity scheduling for fine grain multithreading. In Proceedings of Communicating Process Architectures. IOS Press, Amsterdam, The Netherlands, 135-146.
6. DIBBLE, P. 2002. Real-Time Java Platform Programming. Sun Microsystems, CA.
7. KIM, M. AND WELLINGS, A. 2007. Asynchronous event handling in the real-time specification for Java. In Proceedings of the 5th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES'07). ACM, New York, 3-12.
8. KIM, M. AND WELLINGS, A. 2008. An efficient and predictable implementation of asynchronous event handling in the RTSJ. In Proceedings of the 6th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES'08). ACM, New York, 48-57.
9. LIU, J. W. 2000. Real-Time Systems. Prentice Hall, Englewood Cliffs, NJ.
10. RIVAS, M. A. AND HARBOUR, M. G. 2001. MaRTE OS: An Ada kernel for real-time embedded applications. Lecture Notes in Computer Science, vol. 2043, Springer-Verlag, Berlin, Germany, 305-315.
11. SCHMIDT, D. C., O'RYAN, C., KIRCHER, M., AND PYARALI, I. 2000. Leader/Followers-A design pattern for efficient multi-threaded event demultiplexing and dispatching. http://www.cs.wustl.edu/schmidt/pdf/lfpdf.
12. WELLINGS, A. J. AND BURNS, A. 2002. Asynchronous event handling and real-time threads in the real-time specification for Java. In Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium. IEEE Computer Society Press, Los Alamitos, CA, 81.
13. WELSH, M., GRIBBLE, S. D., BREWER, E. A., AND CULLER, D. 2000. A design framework for highly concurrent systems. Tech. rep. UCB/CSD-00-1108, EECS Department, University of California, Berkeley, Berkeley, CA.