Paper Details

%T Deterministic Message Routing for Safety\-Critical Applications
%A Peter R. Croll
%E Janet Edwards
%B Proceedings of WoTUG\-14: Occam and the Transputer\-Current Developments
%X This paper considers a technique of message passing which
   can be applied in the development of parallel programs for
   safety\-critical applications. The routing algorithm used to
   ensure that messages will always be able to meet hard
   real\-time constraints and yet cope with some degree of
   hardware failure. This paper will firstly introduce the
   routing algorithm, it will indicate what properties can be
   proved about deterministic message passing and describe how
   the algorithms cope with hardware failure. From this, the
   details of possible solutions that the new T9000 family can
   offer will be presented.

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.