Use this URL to cite or link to this record in EThOS:
Title: Fundamental concepts for fault tolerant systems
Author: Garnsworthy, Johnathan Randall
ISNI:       0000 0001 3491 2970
Awarding Body: Newcastle University
Current Institution: University of Newcastle upon Tyne
Date of Award: 1990
Availability of Full Text:
Access from EThOS:
Access from Institution:
In order to be able to think clearly about any subject we need precise definitions of its basic terminology and concepts. If one reads the literature describing fault tolerant computing there is less agreement on fundamental models, concepts and terminology that would perhaps be expected. There are well established usages in particular subcommunities and many other individual workers take care to use terms carefully. Unfortunately there are also many papers in which terms are freely applied to concepts in an arbitrary and inconsistent way. This thesis attempts to bring together some of the concepts of fault tolerant computing and place them in a formal framework. The approach taken is to develop formal models of system structure and behaviour, and to define the basic concepts and terminology in terms of those models. The model of system structure is based on directed graphs and the model of behaviour is based on trace theory.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Fault tolerant computing