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 BookConference contribution

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 languageEnglish
Title of host publication1994 International Conference on Control - Control '94
Place of PublicationUnited States
PublisherIEEE, Institute of Electrical and Electronics Engineers
Pages916-921
Number of pages6
Volume2
ISBN (Print)0852966105
DOIs
Publication statusPublished - 1994
Externally publishedYes
Event1994 International Conference on Control - Control '94 - Conventry, Conventry, United Kingdom
Duration: 21 Mar 199424 Mar 1994

Conference

Conference1994 International Conference on Control - Control '94
CountryUnited Kingdom
CityConventry
Period21/03/9424/03/94

Fingerprint Dive into the research topics of 'Parallel processing: a safer option for real-time control software'. Together they form a unique fingerprint.

Cite this