Formal methods for analysis and investigation of processes. The result is a report on specific properties of the plant, control system, or product.
SENSOR PLACEMENT ANALYSIS
Calculates which sensors are needed and where they should be placed, in order to observe all possible faults while keeping the number of sensors as small as possible.
Uses logged data (trends) to calculate alarm limits and signal filters. Results in a report that can be used to tune the parameters of the control system to get rid of nuisance alarms and silent alarms, (alarms that never activate).
Calculates availability and reliability according to IEC 61508, off-line as well as on-line. Also known as probability and safety analysis (PSA).
Processes with high demands on reliability and safety are often designed with redundancy in both hardware and software. This analysis formally verifies that the design fulfills all demands of redundancy.
SINGLE FAULT TOLERANCE
Some processes are designed so that a single fault should not jeopardize the operation. This analysis formally verifies that such a design is correct.
Formally verifies that systems with higher safety levels (SIL) do not depend on systems with lower safety levels.
ON THIS PAGE
GoalArt, Scheelevägen 17, 223 63 Lund, Sweden, Phone: +46 46 286 4880, Fax: +46 46 286 4882, E-mail: email@example.com, Web: www.goalart.com.