Engineering safety-related parallel systems

C Birkinshaw, PR Croll, D Marriot, Patrick Nixon

    Research output: Contribution to journalArticle

    5 Citations (Scopus)

    Abstract

    A growing number of safety-related applications are dependent on software for their control. High performance and redundancy requirements in modern control systems can be satisfied by parallel processing. This paper considers the requirements for the software engineering of safe parallel systems and the specific problems that need to be addressed: safe state analysis and temporal analysis. The benefits to be gained from utilizing commercial CASE tools and extending them to facilitate the required analysis are detailed.
    LanguageEnglish
    Pages449-456
    JournalInformation and Software Technology
    Volume36
    Issue number7
    DOIs
    Publication statusPublished - 1994

    Fingerprint

    Safety engineering
    Redundancy
    Software engineering
    Control systems
    Processing

    Keywords

    • n/a

    Cite this

    Birkinshaw, C ; Croll, PR ; Marriot, D ; Nixon, Patrick. / Engineering safety-related parallel systems. In: Information and Software Technology. 1994 ; Vol. 36, No. 7. pp. 449-456.
    @article{efa9e8b29e5c4841adc926618d51ffa0,
    title = "Engineering safety-related parallel systems",
    abstract = "A growing number of safety-related applications are dependent on software for their control. High performance and redundancy requirements in modern control systems can be satisfied by parallel processing. This paper considers the requirements for the software engineering of safe parallel systems and the specific problems that need to be addressed: safe state analysis and temporal analysis. The benefits to be gained from utilizing commercial CASE tools and extending them to facilitate the required analysis are detailed.",
    keywords = "n/a",
    author = "C Birkinshaw and PR Croll and D Marriot and Patrick Nixon",
    year = "1994",
    doi = "10.1016/0950-5849(94)90068-X",
    language = "English",
    volume = "36",
    pages = "449--456",
    journal = "Information and Software Technology",
    issn = "0950-5849",
    publisher = "Elsevier",
    number = "7",

    }

    Engineering safety-related parallel systems. / Birkinshaw, C; Croll, PR; Marriot, D; Nixon, Patrick.

    In: Information and Software Technology, Vol. 36, No. 7, 1994, p. 449-456.

    Research output: Contribution to journalArticle

    TY - JOUR

    T1 - Engineering safety-related parallel systems

    AU - Birkinshaw, C

    AU - Croll, PR

    AU - Marriot, D

    AU - Nixon, Patrick

    PY - 1994

    Y1 - 1994

    N2 - A growing number of safety-related applications are dependent on software for their control. High performance and redundancy requirements in modern control systems can be satisfied by parallel processing. This paper considers the requirements for the software engineering of safe parallel systems and the specific problems that need to be addressed: safe state analysis and temporal analysis. The benefits to be gained from utilizing commercial CASE tools and extending them to facilitate the required analysis are detailed.

    AB - A growing number of safety-related applications are dependent on software for their control. High performance and redundancy requirements in modern control systems can be satisfied by parallel processing. This paper considers the requirements for the software engineering of safe parallel systems and the specific problems that need to be addressed: safe state analysis and temporal analysis. The benefits to be gained from utilizing commercial CASE tools and extending them to facilitate the required analysis are detailed.

    KW - n/a

    U2 - 10.1016/0950-5849(94)90068-X

    DO - 10.1016/0950-5849(94)90068-X

    M3 - Article

    VL - 36

    SP - 449

    EP - 456

    JO - Information and Software Technology

    T2 - Information and Software Technology

    JF - Information and Software Technology

    SN - 0950-5849

    IS - 7

    ER -