计算机联锁控制系统检验方法的研究

从分析影响现代安全系统的可靠性和安全性的因素出发，提出一个实现对计算机联锁系统功能性和安全性进行自动或半自动检验的系统模型，并分析了该检验系统的模块功能。