Parallel processing: a safer option for real-time control software

Carl Birkinshaw; Peter Croll; Derek Marriot; Paddy Nixon

doi:10.1049/cp:19940257

Parallel processing: a safer option for real-time control software

Carl Birkinshaw, Peter Croll, Derek Marriot, Paddy Nixon

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

3 Citations (Scopus)

44 Downloads (Pure)

Abstract

Software is increasingly being used to control applications demanding high performance and high reliability. Modern parallel processing technologies can offer systems designers many advances towards satisfying these requirements. This paper considers whether the current software safety standards, and the methods they advocate, are sufficiently mature to reach this objective. A particular example of a parallel development method derived from formal mathematics is explored. The aim is to identify both a pragmatic and intuitive development method suitable to control systems applications. This method should permit a fair degree of automation of a control system's behaviour analysis necessary to establish a safe parallel implementation.

Original language	English
Title of host publication	1994 International Conference on Control - Control '94
Place of Publication	United States
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	916-921
Number of pages	6
Volume	2
ISBN (Print)	0852966105
DOIs	https://doi.org/10.1049/cp:19940257
Publication status	Published - 1994
Externally published	Yes
Event	1994 International Conference on Control - Control '94 - Conventry, Conventry, United Kingdom Duration: 21 Mar 1994 → 24 Mar 1994

Conference

Conference	1994 International Conference on Control - Control '94
Country/Territory	United Kingdom
City	Conventry
Period	21/03/94 → 24/03/94

Access to Document

10.1049/cp:19940257

Conference PaperFinal published version, 421 KB

Cite this

@inproceedings{06571ef70cc0421dbc7e60ad9ba3e79e,

title = "Parallel processing: a safer option for real-time control software",

abstract = "Software is increasingly being used to control applications demanding high performance and high reliability. Modern parallel processing technologies can offer systems designers many advances towards satisfying these requirements. This paper considers whether the current software safety standards, and the methods they advocate, are sufficiently mature to reach this objective. A particular example of a parallel development method derived from formal mathematics is explored. The aim is to identify both a pragmatic and intuitive development method suitable to control systems applications. This method should permit a fair degree of automation of a control system's behaviour analysis necessary to establish a safe parallel implementation.",

keywords = "n/a",

author = "Carl Birkinshaw and Peter Croll and Derek Marriot and Paddy Nixon",

year = "1994",

doi = "10.1049/cp:19940257",

language = "English",

isbn = "0852966105",

volume = "2",

pages = "916--921",

booktitle = "1994 International Conference on Control - Control '94",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

note = "1994 International Conference on Control - Control '94 ; Conference date: 21-03-1994 Through 24-03-1994",

}

Birkinshaw, C, Croll, P, Marriot, D & Nixon, P 1994, Parallel processing: a safer option for real-time control software. in 1994 International Conference on Control - Control '94. vol. 2, IEEE, Institute of Electrical and Electronics Engineers, United States, pp. 916-921, 1994 International Conference on Control - Control '94, Conventry, United Kingdom, 21/03/94. https://doi.org/10.1049/cp:19940257

Parallel processing: a safer option for real-time control software. / Birkinshaw, Carl; Croll, Peter; Marriot, Derek et al.
1994 International Conference on Control - Control '94. Vol. 2 United States: IEEE, Institute of Electrical and Electronics Engineers, 1994. p. 916-921.

Research output: A Conference proceeding or a Chapter in Book › Conference contribution › peer-review

TY - GEN

T1 - Parallel processing: a safer option for real-time control software

AU - Birkinshaw, Carl

AU - Croll, Peter

AU - Marriot, Derek

AU - Nixon, Paddy

PY - 1994

Y1 - 1994

N2 - Software is increasingly being used to control applications demanding high performance and high reliability. Modern parallel processing technologies can offer systems designers many advances towards satisfying these requirements. This paper considers whether the current software safety standards, and the methods they advocate, are sufficiently mature to reach this objective. A particular example of a parallel development method derived from formal mathematics is explored. The aim is to identify both a pragmatic and intuitive development method suitable to control systems applications. This method should permit a fair degree of automation of a control system's behaviour analysis necessary to establish a safe parallel implementation.

AB - Software is increasingly being used to control applications demanding high performance and high reliability. Modern parallel processing technologies can offer systems designers many advances towards satisfying these requirements. This paper considers whether the current software safety standards, and the methods they advocate, are sufficiently mature to reach this objective. A particular example of a parallel development method derived from formal mathematics is explored. The aim is to identify both a pragmatic and intuitive development method suitable to control systems applications. This method should permit a fair degree of automation of a control system's behaviour analysis necessary to establish a safe parallel implementation.

KW - n/a

U2 - 10.1049/cp:19940257

DO - 10.1049/cp:19940257

M3 - Conference contribution

SN - 0852966105

VL - 2

SP - 916

EP - 921

BT - 1994 International Conference on Control - Control '94

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - United States

T2 - 1994 International Conference on Control - Control '94

Y2 - 21 March 1994 through 24 March 1994

ER -