A Process Algebraic Approach to Fault-Tolerance
A process algebraic approach to the specification of fault tolerant systems is described. As replication is inevitable for fault tolerance, we extend the process algebra of Aceto and Hennessy with a replication operator. An operational semantics for replicated processes with majority voting is developed. We model faults as action re nement and show how the effect of faults on a replicated system can be modelled.
SubjectsFields of Research::280000 Information, Computing and Communication Sciences::280400 Computation Theory and Mathematics::280499 Computation theory and mathematics not elsewhere classified
- Engineering: Reports