eCite Digital Repository
Engineering safety-related parallel systems
Citation
Birkinshaw, C and Croll, PR and Marriot, D and Nixon, PA, Engineering safety-related parallel systems, Information and Software Technology, 36, (7) pp. 449-456. ISSN 0950-5849 (1994) [Refereed Article]
DOI: doi:10.1016/0950-5849(94)90068-X
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.
Item Details
| Item Type: | Refereed Article |
|---|---|
| Research Division: | Information and Computing Sciences |
| Research Group: | Software engineering |
| Research Field: | Software engineering not elsewhere classified |
| Objective Division: | Information and Communication Services |
| Objective Group: | Information systems, technologies and services |
| Objective Field: | Information systems, technologies and services not elsewhere classified |
| UTAS Author: | Nixon, PA (Professor Paddy Nixon) |
| ID Code: | 69357 |
| Year Published: | 1994 |
| Web of Science® Times Cited: | 2 |
| Deposited By: | Research Division |
| Deposited On: | 2011-04-20 |
| Last Modified: | 2011-05-18 |
| Downloads: | 0 |
Repository Staff Only: item control page