IEC 61508 Safety：符合IEC 61508（SIL2到SIL3）标准的安全软件解决方案

科维软件是世界先进的安全软件组件制造商，符合IEC 61508标准，提供从小型控件或驱动器安全功能的简单参数化到机械和系统工程安全控制的自由编程。

安全软件解决方案：IEC 65108安全平台

由于IEC 61508的全面性，我们的安全平台可在差别巨大的工业领域，如工厂自动化、过程自动化、轨道车辆和能源供给中开发安全控件。

我们的软件解决方案包括符合IEC 61508 SIL2和SIL3标准的全套安全应用，从仅有少数输入输出的小型安全控件到复杂的安全系统。科维软件安全平台包括下列通过IEC 61508（最高SIL3）认证的工具：

• SAFEPROG：用于集成到非安全区域的复杂SafePLC的安全编程系统
• SAFECONF：用于安全设备的直观简单配置的安全配置工具
• SAFEGRID： 用于带预定义安全逻辑的安全切换设备或小型安全控件的安全设备参数化工具

SAFEPROG和SAFECONF在IEC 61508 PLC运行期环境SafeOS系统中使用，实现SIL3安全程序应用。

我们的安全软件组件通过SAFEFBTest工具的测试。该工具是测试自动化工具，用于依据IEC 61508 SIL3标准对功能块进行测

SAFEPROG：清晰条理和逻辑实现安全性

用户界面清晰，整个编程系统操作简便，所有重要功能采用开放配置，安全功能、功能块和非安全变量标识清晰……所有这些SAFEPROG的特性增强了安全性。因此，使用SAFEPROG可使您专注于重要的安全应用编程。

SAFEPROG：特性总览

安全编程系统SAFEPROG，操作简便，功能全面，因此完全符合专门的安全技术要求。该系统提供大量的预防和错误检测措施，可确保在PC上进行安全编程：

• 多样化的软件架构确保编程系统实现安全功能的最高可靠性
• 用户管理，访问权限可定义
• 项目和控制采用密码保护
• 用户操作日志
• 安全技术的特殊数据类型（如：SAFEBOOL、SAFEINT）
• 不同功能块用不同颜色标识
• 易于分配使用时间戳和校验的不同工程实施状态/发布
• 使用SAFEGRID作为组成部分的安全设备功能参数化
• 验证机器或系统安全性功能的综合性报告
• 复杂安全功能块的C接口
• 包括时序的方案逻辑仿真
• 本机机器代码

此外，SAFEPROG提供了当前IEC 61131 PLC编程系统的所有常用特性，例如用于开发图形代码和处理变量的安全编辑器和用于调测SafePLC的向导、参考和在线操作模式等。

程序逻辑开发使用图形化IEC 61131标准编程语言梯形图（LD）和功能块图（FBD），仅需几个简单步骤即可完成。

通过开发接口实现对硬件的适配

SAFEPROG PLC编程系统配有三个明确定义的接口，可轻松与客户特定硬件集成。

• SAFEPROG与SafePLC之间的通信，可以通过现有的TCP/IP或RS232接口建立。此时，SAFEPROG确保数据传输的安全性，也可以集成其它通信接口。
• 通过一个用户定制的ActiveX控件，可将安全相关设备拓扑集成到SAFEPROG。
• 也可以集成安全相关参数化的用户定制设备描述。

经认证的PLCopen功能块可即插即用

科维软件提供了一个与SAFEPROG结合的扩充程序库，提供20个功能块，应用于通过了 PLCopen安全规范1.0认证的安全技术。

该库包含所有重要的安全功能，如急停、安全门、双手控制、外部设备监控、模式选择器，等等。这些功能块的输入和输出只需连接到I/O终端上实现目标功能。

标准化和经认证的安全功能块的使用，大大简化了机器或设备的规划和认证。扩展和附加安全功能可在用户自定义功能块中编程。

总线导航器集成现场级别

不论使用何种现场总线，总线导航器通过图形显示SAFEPROG的ActiveX Control总线配置，轻松集成现场级别。

总线导航器实现安全和非安全处理数据的安全连接和安全设备的配置。

多功能总线导航器

总线导航器不仅使总线应用可视化，用户还可：

• 获取关于SafePLC和安全设备的信息。
• 赋值过程数据给全局I/O变量。
• 使用集成参数编辑器（见上图）配置连接到SafePLC的安全设备。

IEC编程语言FBD/LD的代码编辑器，带向导

选择最适合您应用的方法，使用可最快开发IEC 61131-3编程语言FBD和/或LD编程代码的编辑器功能。

• 同一工作表上可混合使用LD和FBD图形编程语言
• 可使用可调节网格对齐对象
• 可显示功能块和网络的执行顺序
• 可插入任意多个新元素到现有的网络中
• 可移动单个对象或整个对象组
• 双击对象图标可打开用户自定义功能和功能块代码
• 不同功能和功能块（用户功能块、IEC功能块和固件功能块）采用不同的颜色标识
• 编辑器通过键盘实现简便操作
• 使用Edit Wizard（显示在图像右边）插入功能和功能块
• Tooltips描述了变量所连接的各过程数据项

基于网格的变量编辑器可检查声明错误

变量声明可在网格内组织，这样可更加轻松安全地实现变量声明。每个网格行包含一个变量或实例声明，每个网格列代表一个变量属性。这样，网格实现了符合IEC 61131标准的所有声明语法。

变量网格具有如下明显的优势：

• 变量和实例声明快速、方便。
• 可从组合框内选择变量属性（参见上图）。这样，一方面可避免因输入错误而导致语法出错，另一方面可避免选择非法数据类型或数据范围。
• 可发现不同变量属性之间的相互依赖性，因此只能定义合法的设置。
• 编辑器可发现潜在的输入错误（例如，重用变量名或无连接的全局变量），相应的字段立即用颜色高亮显示（参见上图TIME变量的错误初始值）。

安全PLC仿真软件集成了扩展仿真模式

SAFEPROG提供EasySim安全控件仿真功能。当控件不可用时或执行SafePLC实际调测前，用户可通过该功能模拟PLC上程序的执行并模拟功能测试。

在使用仿真程序而非真正的PLC时……

• 即使连接了目标资源，也不会对它寻址，即不会读取其输入也不会写入输出。
• 在编程系统中执行的步骤与真正使用目标资源时的步骤相同。例如，可以强制/覆盖变量，或在编辑器内显示联机值。同时后台进行仿真操作。
• 仿真过程中可直接激活输入值，并监测输出值的效果，从而达到实际硬件输出/输入值的仿真效果。

仿真功能提供了“编程”情景备选项，按下按键即可方便地选用仿真输入描述的各种系统状态。