File(s) not publicly available
Parallel processing: a safer option for real-time control software
conference contribution
posted on 2023-05-23, 05:13 authored by Birkinshaw, CI, Croll, PR, Marriot, DG, Nixon, PASoftware 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.
History
Publication title
International Conference on Control '94.Editors
IEEPagination
916-921ISBN
0-85296-610-5Publisher
Institution of Electrical EngineersPlace of publication
LondonEvent title
International Conference on Control, 1994. Control '94.Event Venue
University of Warwick, Coventry, UKDate of Event (Start Date)
1994-03-21Date of Event (End Date)
1994-03-24Repository Status
- Restricted