Modelling Real-Time Behaviour of Parallel Transputer Systems under Failure Conditions
Authors: Croll, Peter R., Griffiths, P. M.
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.
Proceedings of WoTUG-18: Transputer and occam Developments, Patrick Nixon, 1995, pp 183 - 195 published by IOS Press, Amsterdam
This record in other formats:Web page: BibTEX, Refer
Plain text: BibTEX, Refer
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.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org