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. 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",
number = "7",

}

Birkinshaw, C, Croll, PR, Marriot, D & Nixon, P 1994, 'Engineering safety-related parallel systems', vol. 36, no. 7, pp. 449-456. https://doi.org/10.1016/0950-5849(94)90068-X

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

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

IS - 7

ER -