ISAC控制系统中联锁的自动检查和可视化
Automated Checking and Visualization of Interlocks in the ISAC Control System
摘要：
ISAC放射性核束设施基于EPICS的控制系统监督由PLC控制的几个子系统。大多数设备都受到非平凡联锁的保护，这些联锁是用梯形逻辑软件实现的。可在EPICS操作员界面级别访问每个设备的联锁状态和单个联锁条件的详细信息。随着ISAC设备数量的增加，使用标准EPICS工具交互生成和维护这些显示过于劳动密集且容易出错。开发了软件，该软件使用PLC程序的汇编以及来自ISAC设备数据库的报告，以a）根据自然语言的联锁规范检查PLC中的联锁实现，b）生成具有联锁状态和联锁条件细节的图形表示的设备显示。
英文摘要：
The EPICS based control system of the ISAC radioactive beam facility supervises several sub-systems, which are controlled by PLCs. Most of the devices are protected by non-trivial interlocks, which are implemented with ladder-logic software. Detailed information on interlock state and the individual interlock conditions are accessible for each device at the EPICS operator interface level. With the increasing number of ISAC devices, the interactive generation and maintenance of these displays with standard EPICS tools was too labor-intensive and error-prone. Software was developed, which uses a printout of the PLC program as well as reports from the ISAC device database to a) check the interlock implementation in the PLC against interlock specifications in natural language and b) generate device displays with a graphical representation of interlock state and details of interlock conditions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
