Engineering safety-related parallel systems

C Birkinshaw, PR Croll, D Marriot, Patrick Nixon

    Research output: Contribution to journalArticlepeer-review

    5 Citations (Scopus)


    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.
    Original languageEnglish
    Pages (from-to)449-456
    JournalInformation and Software Technology
    Issue number7
    Publication statusPublished (in print/issue) - 1994


    • n/a


    Dive into the research topics of 'Engineering safety-related parallel systems'. Together they form a unique fingerprint.

    Cite this