Rapid prototyping of parallel fault tolerant systems

Patrick Nixon, C Birkinshaw, P Croll, D Marriott

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
LanguageEnglish
Title of host publicationUnknown Host Publication
Pages202-209
Number of pages8
DOIs
Publication statusPublished - 1994
EventProceedings, second euromicro workshop on parallel and distributed processing - University of Malaga, Spain
Duration: 1 Jan 1994 → …

Conference

ConferenceProceedings, second euromicro workshop on parallel and distributed processing
Period1/01/94 → …

Fingerprint

Functional programming
Specification languages
Rapid prototyping
Fault tolerance
Processing

Keywords

  • n/a

Cite this

Nixon, P., Birkinshaw, C., Croll, P., & Marriott, D. (1994). Rapid prototyping of parallel fault tolerant systems. In Unknown Host Publication (pp. 202-209) https://doi.org/10.1109/EMPDP.1994.592491
Nixon, Patrick ; Birkinshaw, C ; Croll, P ; Marriott, D. / Rapid prototyping of parallel fault tolerant systems. Unknown Host Publication. 1994. pp. 202-209
@inproceedings{bf2bf53e5523474c8598a8c545e92f89,
title = "Rapid prototyping of parallel fault tolerant systems",
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.",
keywords = "n/a",
author = "Patrick Nixon and C Birkinshaw and P Croll and D Marriott",
year = "1994",
doi = "10.1109/EMPDP.1994.592491",
language = "English",
isbn = "9780818653704",
pages = "202--209",
booktitle = "Unknown Host Publication",

}

Nixon, P, Birkinshaw, C, Croll, P & Marriott, D 1994, Rapid prototyping of parallel fault tolerant systems. in Unknown Host Publication. pp. 202-209, Proceedings, second euromicro workshop on parallel and distributed processing, 1/01/94. https://doi.org/10.1109/EMPDP.1994.592491

Rapid prototyping of parallel fault tolerant systems. / Nixon, Patrick; Birkinshaw, C; Croll, P; Marriott, D.

Unknown Host Publication. 1994. p. 202-209.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Rapid prototyping of parallel fault tolerant systems

AU - Nixon, Patrick

AU - Birkinshaw, C

AU - Croll, P

AU - Marriott, D

PY - 1994

Y1 - 1994

N2 - 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.

AB - 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.

KW - n/a

U2 - 10.1109/EMPDP.1994.592491

DO - 10.1109/EMPDP.1994.592491

M3 - Conference contribution

SN - 9780818653704

SP - 202

EP - 209

BT - Unknown Host Publication

ER -

Nixon P, Birkinshaw C, Croll P, Marriott D. Rapid prototyping of parallel fault tolerant systems. In Unknown Host Publication. 1994. p. 202-209 https://doi.org/10.1109/EMPDP.1994.592491