ISA TR84.00.02-5 : 2002

Foreword
Introduction
1 Scope
2 References
3 Definitions
4 Logic solver modeling using Markov analysis
  4.1 Probability of Failure on Demand (PFD)
  4.2 Markov modeling methodology
  4.3 Assumptions and limitations
  4.4 Basic Markov model description
5 Procedures for quantification of logic solver performance
  5.1 Assumptions and limitations
  5.2 Calculations and reports
6 Logic solver Markov models calculation results
  6.1 Description and results of the reliability calculation
      for three E/E/PE logic solver configurations including
      input data tables
  6.2 Configuration drawings, Markov diagrams and calculation
      results
Annex A (informative) - Markov model development and
                        quantification
Annex B (informative) - Logic solver model input data
Annex C - Index

Provides: a) guidance in PFD analysis of logic solvers; b) a method to determine the PFD of logic solvers; c) failure rates and failure modes of logic solvers; d) the impact of diagnostics, diagnostic coverage, covert faults, test intervals, common cause, systematic failures, redundancy of logic solvers on the PFD of the logic solver; and e) a method for the verification of PFD of logic solvers.