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

CI Birkinshaw, PR Croll, DG Marriot, Patrick Nixon

    Research output: Chapter in Book/Report/Conference proceedingConference 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.
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Pages916-921
    Number of pages6
    Volume2
    DOIs
    Publication statusPublished - 1994
    EventInternational Conference on Control '94 - University of Warwick, Coventry, UK
    Duration: 1 Jan 1994 → …

    Conference

    ConferenceInternational Conference on Control '94
    Period1/01/94 → …

    Fingerprint

    Control system applications
    Real time control
    Automation
    Control systems
    Processing

    Keywords

    • n/a

    Cite this

    Birkinshaw, CI., Croll, PR., Marriot, DG., & Nixon, P. (1994). Parallel processing: a safer option for real-time control software. In Unknown Host Publication (Vol. 2, pp. 916-921) https://doi.org/10.1049/cp:19940257
    Birkinshaw, CI ; Croll, PR ; Marriot, DG ; Nixon, Patrick. / Parallel processing: a safer option for real-time control software. Unknown Host Publication. Vol. 2 1994. pp. 916-921
    @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",

    }

    Birkinshaw, CI, Croll, PR, Marriot, DG & Nixon, P 1994, Parallel processing: a safer option for real-time control software. in Unknown Host Publication. vol. 2, pp. 916-921, International Conference on Control '94, 1/01/94. https://doi.org/10.1049/cp:19940257

    Parallel processing: a safer option for real-time control software. / Birkinshaw, CI; Croll, PR; Marriot, DG; Nixon, Patrick.

    Unknown Host Publication. Vol. 2 1994. p. 916-921.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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

    ER -

    Birkinshaw CI, Croll PR, Marriot DG, Nixon P. Parallel processing: a safer option for real-time control software. In Unknown Host Publication. Vol. 2. 1994. p. 916-921 https://doi.org/10.1049/cp:19940257