關于我們
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.