Paper Details

db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"

%T A Distributed Real Time Java System Based on CSP
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%A Gerald H. Hilderink, Jan F. Broenink, André W. P. Bakkers
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"
%E Barry M. Cook
%B Proceedings of WoTUG\-22: Architectures, Languages and Techniques for Concurrent Systems
%X Real\-time embedded systems in general require a reliability
   that is orders ofmagnitude higher than what is presently
   obtainable with state of the art C programs. Thereason for
   the poor reliability of present day software is the
   unavailability of a formalismto design sequential C
   programs.The use of the CSP channel concept not only
   provides a formal base for inherentlyconcurrent real\-time
   embedded system design it also adds a parallel dimension to
   objectoriented programming that is easily understood by
   programmers.The CSP channels as implemented in Java replaces
   the hazardous use of multi threadedprogramming with an
   unambiguous design concept that is easy to reason about.
   Multithreaded programming is completely removed from the
   programmer who is merelyrequired to program small sequential
   tasks that communicate with each other via theseCSP
   channels. The channel concept that has been implemented in
   Java deals with singleandmulti processor environments and
   also takes care of the real\-time priority
   schedulingrequirements. For this, the notion of priority and
   scheduling have been carefullyexamined and as a result it
   was reasoned that both priority and scheduling code should
   beattached to the communicating channels rather than to the
   processes. Moreover in theproposed system, the notion of
   scheduling is no longer connected to the operating systembut
   has become part of the application instead. One has to get
   used to the idea that manyschedulers may be running in
   different parts of a program. The software implementationof
   the Java channel class may be obtained through:
   http://www.rt.el.utwente.nl/javapp.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.