Many nuclear instrumentation and control (I&C) systems are designed using a function block diagram description of the system. Strict requirements pertain to the verification of these systems.

Model checking is a proven, effective method for verifying instrumentation and control system application logics. If a model of the system being verified does not satisfy a specification, the failure ...

A new ISA software product is available for using the symbols within the Microsoft Visio software platform. It has graphic symbols for engineering design and drawing layout for a variety of ...

Jim Federlein, PE, is Chair of ISA-5.1 and a long-time leader in the ISA5 Standards Committee for which he led the 2024 revision of ISA-5.1. He is the winner of the 2024 ISA Enduring Society Service ...