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

CI Birkinshaw; PR Croll; DG Marriot; Patrick Nixon

doi:10.1049/cp:19940257

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

CI Birkinshaw
, PR Croll
, DG Marriot
, Patrick Nixon

Computer Science and Informatics Research

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

3 Citations (Scopus)

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	Unknown Host Publication
Publisher	Institution of Engineering and Technology
Pages	916-921
Number of pages	6
Volume	2
ISBN (Print)	0852966105
DOIs	https://doi.org/10.1049/cp:19940257
Publication status	Published (in print/issue) - 1994
Event	International Conference on Control '94 - University of Warwick, Coventry, UK Duration: 1 Jan 1994 → …

Conference

Conference	International Conference on Control '94
Period	1/01/94 → …

Keywords

n/a

Access to Document

10.1049/cp:19940257

Cite this

@inproceedings{dd4454b09f3d480a837b687022a7ac12,

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 = "CI Birkinshaw and PR Croll and DG Marriot and Patrick Nixon",

year = "1994",

doi = "10.1049/cp:19940257",

language = "English",

isbn = "0852966105",

volume = "2",

pages = "916--921",

booktitle = "Unknown Host Publication",

publisher = "Institution of Engineering and Technology",

address = "United Kingdom",

note = "International Conference on Control '94 ; Conference date: 01-01-1994",

}

TY - GEN

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

AU - Birkinshaw, CI

AU - Croll, PR

AU - Marriot, DG

AU - Nixon, Patrick

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 - Unknown Host Publication

PB - Institution of Engineering and Technology

T2 - International Conference on Control '94

Y2 - 1 January 1994

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this