ISA TP-973005 – RIFIT: A Technique to Analyze Safety of Programmable Safety Systems
Discusses the impossibility of evaluating the safety of a programmable system using classical testing techniques. As an alternative to classical testing a new technique will be presented, called RIFIT.