A distributed real-time Java system based on CSP

Proceedings - 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2000

Volumn , Issue , 2000, Pages 400-407

  Hilderink, G ^a   Bakkers, A ^a   Broenink, J ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING PROCEDURES; DISTRIBUTED COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SCHEDULING;

DISTRIBUTED REAL TIME SYSTEM; DISTRIBUTED REAL-TIME JAVAS; FUNDAMENTAL CONCEPTS; MULTI-PROCESSORS; MULTI-THREADING; OBJECT ORIENTATION; OBJECT ORIENTED PARADIGM; PRIORITY SCHEDULING;

REAL TIME SYSTEMS;

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

References (12)

1. C.A.R. Hoare, "Communicating Sequential Processes", Prentice Hall International Series in Computer Science, 1985.
2. A.W. Roscoe, "The Theory and Practice of Concurrency", Prentice Hall International Series in Computer Science, 1997.
3. S. Schneider, "Concurrent and Real-Time Systems: The CSP Approach", Wiley, Chichester, 2000.
4. J.M.R. Martin and S.A. Jassim, "How to Design Deadlock-Free Networks Using CSP and Verification Tools - A Tutorial Introduction", Proceedings of the WoTUG-20 conference, 13-16 April 1997, Enschede, NL, pp 326-338.
5. A.E. Lawrence, "Extending CSP", Proceedings of the WoTUG-21 conference, IOS Press, April 5-8, 1998, UK, pp 111-131.
6. P. Welch et al., "Java Communicating Sequential Processes (JCSP) Library", University of Kent, UK, URL: http://www.hensa.ac.uk/parallel/ languages/java/jcsp/.
7. G.H. Hilderink et al., "Communicating Threads for Java", University of Twente, NL, URL: http://www.rt.el.utwente.nl/javapp/.
8. G.H. Hilderink et al., "Communicating Java Threads - Reference Manual", Proceedings of WoTUG-20 conference Parallel Programming and Java, IOS Press, April 13-16, 1997, pp.283-324.
9. C.L. Liu and J.W. Layland, "Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment", Journal of the ACM, Volume 20, Number 1 (January 1997), pp. 46-61.
10. A. Bakkers, J. Sunter and E. Ploeg, "Automatic generation of scheduling and communication code in real-time parallel programs", Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, Compilers & Tools for Real-Time Systems, La Jolla, California, June 21-22, 1995.
11. L. Sha, et al., "The Priority Inheritance Protocol: An Approach to Real-Time Synchronization", Department of Computer Science, Carnegie-Mellon University Pittsburg PA, 1987.
12. B. Meyer, "Every Little Bit Counts: Toward More Reliable Software", IEEE Computer, Volume 32, Number 11 (November 1999), pp.131-133.