关于我们
infoteam专业从事自动化和嵌入式系统软件开发与服务工作,,我们产品涵盖面向工业的IEC61131--3,,面向DCS的 IEC61499,面向安全的IEC61508,,面向电力传输IEC61850等领域。
什么是FelxiSafe?
FlexiSafe是基于ISaGRAF技术。用于简化原始设备制造商对其工业自动化产品进行IEC61508 SIL或ISO 13849的认证工作。
它可以提供认证的基本要素,包括:
? IsaGRAF有CS3证书(系统安全性能3)
? IsaGRAF软件所具备的严谨的开发环境和程序
? 可以被移植到任何安全的操作系统的固件技术,包括一系列的确认和认证工具
? 独立机构对各种TIC指令进行的全部测试报告
? 应用程序代码验证工具(不同的编译器)
? 基于不同的应用安全性概念,其他的工具也可用于帮助验证终端用户安全功能,包括:PLC Open 安全功能块,Cause and Effect Dia-gram ,Static Checker ,Version Con-trol,Cross-Reference Brower, Depen-dency Tree.
FlexiSafe的认证方法:
? 将认证的固件移植到目标硬件平台和操作系统中(还应考虑FlexiSafe和操作系统的安全手册)
? 固件应经包含多种安全措施
? 验证移植服务采用严格的系统层和整体覆盖测试套件
? 无需对终端用户应用程序进行全面测试(只需功能验证测试)
? 终端用户应用程序可以使用所有的IEC61131-3语言,包括SFC语言
? 对于功能块的应用没有限制
? 综合安全管理和应用程序的生命周期工具符合IEC61508和ISO 13849标准
ISaGRAF的安全使用
FlexiSafe的安全概念:
? 可以重复使用该技术并在不同的硬件平台间认证的结果
? 简化终端用户的应用和设计工作
? 故障安全认证
FlexiSafe的认证方法:
? 将认证的固件移植到目标硬件平台和操作系统中(还应考虑FlexiSafe和操作系统的安全手册)
? 固件应经包含多种安全措施
? 验证移植服务采用严格的系统层和整体覆盖测试套件
? 无需对终端用户应用程序进行全面测试(只需功能验证测试)
? 终端用户应用程序可以使用所有的IEC61131-3语言,包括SFC语言
? 对于功能块的应用没有限制
? 综合安全管理和应用程序的生命周期工具符合IEC61508和ISO 13849标准
FlexiSafe的概念
内核验证
? 经过实验实际应用的考验—850000固件,在安全和关键控制行业拥有14年的丰富经验
? 内置安全功能—正确并且安全运行的验证;程序序列验证
? 便携式测试工具——可以确保功能的正确性并避免副作用,FlexiSafe并将黑箱测试和白箱测试进行结合,涵盖整体内核操作(包括输入/输出,在线升级等)和每一条TIC指令
编译器验证
? 确保编译器输出的准确性,与源代码输入相吻合,并且只包含输入的基本要素
? 同时使用“不同的编译器”和“反编译器”以便生成一个不依赖于任何语言的图标
? XML图表比较,涵盖了结构体,数据流,变量和参数等
? 与所有的IEC61131-3语言(包括ST,IL,LD,FBD,SFC等语言)相兼容
依存树关系
? 向前的依存关系主要体现在变量从根目录衍生
? 向后的已存关系主要体现在变量对根根目录的反作用
? 通过使用静态分析器对影响进行分析并进行SIL(安全度等级)验证
投资往往相当于我们的模式的两倍。
FlexiSafe的优势
FlexiSafe可以对用户提供以下优质服务:
? 固件和配置通过了安全等级认证,该产品满足系统安全性能3(SC3)的要求,并且可用被用于需要具备三级安全认证(SIL3)的应用,该产品也同时符合ISO 13849 PLe标准
? 减少投入市场的所需的时间
? 符合或者完全兼容于IEC61131标准
? 不对IEC61131组件的使用进行限制
? 符合或者完全兼容于PLC Open功能安全块
? 灵活适用于大多数满足系统安全性能3(SIL3)要求的硬件操作系统
为实现这一目标,FlexiSafe致力于提供一种系统,该系统可支持分布式应用,具备混合安全和非安全功能,可拓展的安全管理,和应用生命周期工具。 FlexiSafe解决方案将会适用于寻求开发一级安全度、二级安全度、三级安全度以及特等安全系统的自动化产品。 ISaGRAF是一种工业自动化软件技术,用于构建独立或分布式控制系统。ISaGRAF技术设计具有可扩展性,既适用于微型控制器 开发,又适用于大型分布式自动化系统开发。ISaGRAF使您可以灵活选择硬件平台和操作系统,因此您能开发完全符合需求的自动化产品。
主要特色
? 符合IEC 61131和IEC61499标准
? 符合电力工业IEC61508标准
? PLC Open运动功能块
? PLC Open 安全功能块
? 可进行SIL2和SIL3认证
? 冗余设计——自动故障切换
? 可提供固件“C“源代码
? ISaGRAF提供精巧的“软件开发套件”(SDK)来自定义固件(控制引擎),IO驱动器和通信连接
本文涵盖ISaGRAF的安全解决方案,也被称为FlexiSafe.