Paper Details

%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.

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.