FlexiSafe® – 通过SIL认证的编程系统

FlexiSafe® 解决方案适用于功能安全SIL1,SIL2,SIL3或是PLe或相关功能的制造商。在FlexiSafe® 中定义的安全和非安全功能,同时支持分布应用,将安全管理单元和生命周期管理整合在同一工具下。


FlexiSafe® 安全系统概念

FlexiSafe®给您一个可以移植到任何安全操作系统的固件技术,加上一个使用与确认和验证的工具,例如不同编译器的应用代码。额外的工具支持最终用户根据功能安全概念创建功能安全的影哟改(PLCopen 功能安全功能块,Cause and Effect 框图,静态检验)例如,版本校验,交叉参考,依赖树等等。FlexiSafe® 的安全概念允许你重复使用现有技术。此外,在不同的硬件平台上的工作量也会大大减少。这样可以简化设计,应用认证和故障安全认证。安全功能被封装起来,并保证它的正确性,通过守护程序运行顺序保证安全工作。内核验证和测试的操作:FlexiSafe®已经在市场上14年,在工业安全领域超过850,000个runtime。

你会收到一个无不良作用的移动测试框架,一个涵盖了白盒和黑盒测试的内核系统(IO,在线更新等等)和所有独立的TIC指令。编译器的验证工作结合IEC61131-3(ST,IL,LD,FBD,SFC)语言进行,并确保编译器输出正确,对应的源代码只包含程序输入的基本元素。要创建和语言无关的图形,同时使用了一个多样的编译器和饭编译器。 XML图标比较提供了相关的结构,数据流和参数的信息。静态分析的决策影响和SIL确认需要依赖树。正向依赖指示变量取决于一个起点,后向依赖只想变量取决确定的变量。


FlexiSafe® 成功认证

在目标平台上移植一个已经经过认证的runtime系统,在目标系统上运行FlexiSafe®,移植验证包括稳定测试和其他测试,可以作为服务提供给供应商。100%的测试不再需要,功能测试就足够了。应用程序可以采用的IEC 61131-3语言的所有优点,包括顺序功能图。另外,也可以使用功能模块,没有任何限制。

也有根据IEC61508和EN ISO13849标准的安全和应用程序生命周期管理工具。FlexiSafe®被开发为符合IEC 61508或EN ISO 13849的工业自动化解决方案,FlexiSafe®的基础是基于我们的合作伙伴ISaGRAF的的技术,并提供一切必要的认证的基本要求。 ISaGRAF的认证是按照SC3(Systematic Capability 3)进行的。