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, PAA 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 TechnologyVolume
36Issue
7Pagination
449-456ISSN
0950-5849Publisher
Elsevier Science BvPlace of publication
Po Box 211, Amsterdam, Netherlands, 1000 AeRepository Status
- Restricted