ENGINEERING SAFETY-RELATED PARALLEL SYSTEMS

Authors
BIRKINSHAW CI CROLL PR MARRIOTT DG NIXON PA
Citation
Ci. Birkinshaw et al., ENGINEERING SAFETY-RELATED PARALLEL SYSTEMS, Information and software technology, 36(7), 1994, pp. 449-456
Citations number
26
Categorie Soggetti
Computer Sciences","Information Science & Library Science","Computer Science Information Systems","Computer Science Software Graphycs Programming
Journal title
Information and software technology → ACNP
ISSN journal
09505849
Volume
36
Issue
7
Year of publication
1994
Pages
449 - 456
Database
ISI
SICI code
0950-5849(1994)36:7<449:ESPS>2.0.ZU;2-J
Abstract
A growing number of safety-related applications are dependent on softw are 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 f rom utilizing commercial CASE tools and extending them to facilitate t he required analysis are detailed.