Verifying Control Logic Specification Using Mathematical Modeling and Dynamic Simulations

Abstract

For the Advanced CANDU Reactor® (ACR-1000), process and reactor control design requirements are documented using the control functional specification (CFS). By incorporating use of IEC 61131-3 compliant languages the CFS is intended to be more precise than the traditional control program specification. This paper briefly describes the CFS and its verification through the use of mathematical modeling techniques and dynamic simulation.