%T Modelling Real\-Time Behaviour of Parallel Transputer Systems under Failure Conditions
%A  Peter R. Croll,  P. M. Griffiths
%E  Patrick Nixon
%B Proceedings of WoTUG\-18: Transputer and occam Developments
%X This paper describes work concerning the modelling of
   transputer The aims and problems of designing real\-time
   systems are introduced. The key features of the model which
   are relevant to reliability are discussed. Algorithms for
   scheduling parallel and mono\-processor real\-time system
   are explained. Coloured Petri\-nets in general are
   introduced, and then the key features of the CASE tool
   Design/CPN are covered. Details of how the model has been
   implemented, and how the model behaves are given.
   Conclusions from the work so far are presented, and the
   outstanding areas of work are discussed.