University of Tasmania
Browse

File(s) not publicly available

Engineering safety-related parallel systems

journal contribution
posted on 2023-05-17, 05:59 authored by Birkinshaw, C, Croll, PR, Marriot, D, Nixon, PA
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.

History

Publication title

Information and Software Technology

Volume

36

Issue

7

Pagination

449-456

ISSN

0950-5849

Publisher

Elsevier Science Bv

Place of publication

Po Box 211, Amsterdam, Netherlands, 1000 Ae

Repository Status

  • Restricted

Socio-economic Objectives

Information systems, technologies and services not elsewhere classified

Usage metrics

    University Of Tasmania

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC