eCite Digital Repository

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

Citation

Birkinshaw, CI and Croll, PR and Marriot, DG and Nixon, PA, Parallel processing: a safer option for real-time control software , International Conference on Control '94., 21-24 March 1994, University of Warwick, Coventry, UK , pp. 916-921. ISBN 0-85296-610-5 (1994) [Refereed Conference Paper]

DOI: doi:10.1049/cp:19940257

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.

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Computer Software
Research Field:Computer Software not elsewhere classified
Objective Division:Information and Communication Services
Objective Group:Computer Software and Services
Objective Field:Computer Software and Services not elsewhere classified
UTAS Author:Nixon, PA (Professor Paddy Nixon)
ID Code:69354
Year Published:1994
Deposited By:Research Division
Deposited On:2011-04-20
Last Modified:2011-05-18
Downloads:0

Repository Staff Only: item control page