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.
|Title of host publication||Unknown Host Publication|
|Number of pages||8|
|Publication status||Published - 1994|
|Event||Proceedings, second euromicro workshop on parallel and distributed processing - University of Malaga, Spain|
Duration: 1 Jan 1994 → …
|Conference||Proceedings, second euromicro workshop on parallel and distributed processing|
|Period||1/01/94 → …|