Integrating priority inheritance algorithms in the real-time specification for Java

Proceedings - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007

Volumn , Issue , 2007, Pages 115-122

  Wellings, Andy ^a   Burns, Alan ^a   Dos Santos, Osmar Marchi ^a   Brosgol, Benjamin M ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b AdaCore ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK PROTOCOLS; REAL TIME SYSTEMS; SCHEDULING ALGORITHMS; SPECIFICATIONS;

PRIORITY INHERITANCE ALGORITHMS; PRIORITY INVERSION; REAL TIME SYSTEMS RESEARCH;

JAVA PROGRAMMING LANGUAGE;

EID: 36348939765     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2007.40     Document Type: Conference Paper

References (9)

1. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In 4th Int. School on Formal Methods for the Design of Computer, Communication, and Software Systems, volume 3185 of LNCS, pages 200-236, Italy, 2004. Springer-Verlag.
2. R. Belliardi et al. The Real-Time Specification for Java - Version 1.0.1. http://www.rtsj.org/, USA, 2004.
3. G. Bollella et al. The Real-Time Specification for Java - Version 1.0. Addison-Wesley, USA, 2000.
4. B. M. Brosgol. A comparison of the mutual exclusion features in Ada and the Real-Time Specification for Java. In 10th Ada-Europe International Conference on Reliable Software Technologies, volume 3555 of LNCS, pages 129-143, UK, 2005.
5. J. W. S. Liu. Real-time systems. Prentice Hall, 2000.
6. R. Rajkumar. Synchronization in real-time systems a priority inheritance approach. Kluwer, USA, 1991.
7. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronization. IEEE Transactions on Computers, 39(9):1175-1185, 1990.
8. A. Wellings et al. Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. Technical Report YCS-2007-412, Department of Computer Science - University of York, UK, 2007.
9. A. J. Wellings. Concurrent and real-time programming in Java. John Wiley & Sons, UK, 2004.