Affordable Access

Publisher Website

Automatic safety analysis of control systems

Authors
Journal
Journal of Loss Prevention in the Process Industries
0950-4230
Publisher
Elsevier
Publication Date
Volume
18
Issue
3
Identifiers
DOI: 10.1016/j.jlp.2005.04.003
Keywords
  • Computer Control
  • Control Logic
  • Critical State Models
  • Model Checking
  • Safety Critical

Abstract

Abstract This paper describes and demonstrates the development of a computer support tool for safety analysis of computer control systems, dedicated to carry out safety analysis automatically in a consistent way. This support tool is made up of seven connected parts: process description, control logic specification, process control event diagram (PCED) generation, control logic verification, hazard analysis, safety related questions, and report generation. The distinction of the support tool is its automatic conversion from a process block diagram to a diagrammatic representation of control logic, i.e. PCED, and semi-automatic generation of SMV (Symbolic Model Verifier) model for control logic verification. This tool provides the support to all the stages in the safety analysis.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Use of safety analysis in automatic production sys...

on Journal of Occupational Accide... Jan 01, 1990

Automatic safety analysis of computer-controlled p...

on Computers & Chemical Engineeri... Jan 01, 2001

Automatic synthesis of switching controllers for l...

on Theoretical Computer Science Jul 01, 2013

Safety analysis of manual tasks in automatic produ...

on Accident Analysis & Prevention Jan 01, 1990
More articles like this..