@InProceedings{Croll91, title = "{D}eterministic {M}essage {R}outing for {S}afety-{C}ritical {A}pplications", author= "Croll, Peter R.", editor= "Edwards, Janet", pages = "234--246", booktitle= "{P}roceedings of {W}o{TUG}-14: {O}ccam and the {T}ransputer-{C}urrent {D}evelopments", isbn= "90 5199 063 4", year= "1991", month= "sep", abstract= "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." }