Engineering safety-related parallel systems

Carl Birkinshaw; Peter Croll; Dereck Marriot; Paddy Nixon

doi:10.1016/0950-5849(94)90068-X

Engineering safety-related parallel systems

Carl Birkinshaw, Peter Croll, Dereck Marriot, Paddy Nixon

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	449-456
Number of pages	8
Journal	Information and Software Technology
Volume	36
Issue number	7
DOIs	https://doi.org/10.1016/0950-5849(94)90068-X
Publication status	Published - 1994
Externally published	Yes

Access to Document

10.1016/0950-5849(94)90068-X

http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=EB576CA195E27F8116A1191B0801522C?doi=10.1.1.48.5901&rep=rep1&type=pdf

Cite this

@article{493bac27df0340769ff78ab4d6ce606f,

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 = "Carl Birkinshaw and Peter Croll and Dereck Marriot and Paddy 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",

}

TY - JOUR

T1 - Engineering safety-related parallel systems

AU - Birkinshaw, Carl

AU - Croll, Peter

AU - Marriot, Dereck

AU - Nixon, Paddy

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

SN - 0950-5849

VL - 36

SP - 449

EP - 456

JO - Information and Software Technology

JF - Information and Software Technology

IS - 7

ER -

Engineering safety-related parallel systems

Abstract

Access to Document

Fingerprint

Cite this