신속한 고장원인 파악을 위한 네트워크 모델링을 이용한 프로그램 로직의 시각화

The Program Logic defines constraints as boolean equations, which is used to ensure the safety of system from the earliest stage of design by restricting the process strictly. In addition to that, reverse tracing based on program logic in the system failure enables to detect its causes. However, the more increasing complexity of the program Logic for upgrading the safety is, the more difficult it is to grasp the correct diagnosis. Visualization of the program logic using network analysis tool makes it possible for field operators to obtain the related solution intuitively.