Rapid prototyping of parallel fault tolerant systems

Patrick Nixon; C Birkinshaw; P Croll; D Marriott

doi:10.1109/EMPDP.1994.592491

Rapid prototyping of parallel fault tolerant systems

Patrick Nixon, C Birkinshaw, P Croll, D Marriott

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

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
Title of host publication	Unknown Host Publication
Publisher	IEEE
Pages	202-209
Number of pages	8
ISBN (Print)	9780818653704
DOIs	https://doi.org/10.1109/EMPDP.1994.592491
Publication status	Published (in print/issue) - 1994
Event	Proceedings, second euromicro workshop on parallel and distributed processing - University of Malaga, Spain Duration: 1 Jan 1994 → …

Conference

Conference	Proceedings, second euromicro workshop on parallel and distributed processing
Period	1/01/94 → …

Keywords

n/a

Access to Document

10.1109/EMPDP.1994.592491

Cite this

@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",

publisher = "IEEE",

address = "United States",

note = "Proceedings, second euromicro workshop on parallel and distributed processing ; Conference date: 01-01-1994",

}

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

PB - IEEE

T2 - Proceedings, second euromicro workshop on parallel and distributed processing

Y2 - 1 January 1994

ER -

Rapid prototyping of parallel fault tolerant systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this