Abstract
The design of a fault tolerant system would be enhanced if a rapid prototyping approach could be conceived which allows fault tolerance to be modelled quickly, and faults simulated to analyse the behaviour of the system. This paper concentrates on how a functional specification language, and its environment, can be used to describe and investigate the properties of parallel fault tolerant systems. The functional system used is grounded in the theory of parallel processing and functional programming.
Original language | English |
---|---|
Pages | 1-8 |
Number of pages | 8 |
DOIs | |
Publication status | Published - 1994 |
Externally published | Yes |