故障安全程序的编写有自己的特点。安全程序块会以黄色背景与普通程序块区分;安全软件包提供了一些经过认证的应用块库来实现特定的编程任务,如急停功能块、双手操作块、光幕屏蔽块等;对编程所能应用的指令可以访问的数据区都有限制,语法检查较为严格,譬如不能在安全程序块里对同一个存储区既读又写;离线程序的编辑修改有密码保护,有数字签名等等。
故障安全的模板有钝化与去钝之说。钝化即当模板检测到错误后以故障安全值替代实际过程值,而去钝则是错误消除后恢复过程值的过程。
一个安全程序通常要包括对模板钝化信息识别及去钝操作的部分、安全功能实现的部分、标准程序与安全程序数据交换的部分。
管理员注:本帖已被纳入此次探讨发帖整理,请
点此详阅。