Your browser does not support script

會員服務

帳號
密碼
忘記密碼加入會員登入
電子報訂閱

嵌入式安全關鍵系統開發平台 ANSYS® SCADE®

                                                                                                  

現今科技日益精進,日常生活中的硬體設備也趨向於智慧自動化,如飛航技術中的自動操控系統或無人車系統的發展等。而系統可分為控制器及受控體,硬體扮演著受控體的角色,執行控制器所命令的操控行為。控制器本身含有相當大量的演算法及運算程式軟體,這些就如同人類的大腦,根據外在環境反應行為模式,發送命令給硬體產生作動。在相當注重安全的系統上,如核能、航空、汽車、軍事、航太、鐵路、醫學系統領域,一旦控制器產生錯誤便會造成極大的災難。因此在進行軟體開發時便需遵循一套標準的開發流程及準則,以確保設備在即時環境中能正確的運行。
 
ANSYS® Architect® (Safety-Critical Application Development Environment) 即有此優勢,提供關鍵嵌入式軟體開發工具和方法學,運用Correct By Construction 的設計理念從精確的需求規範自動產生嵌入式程式碼,實現開發流程的高度自動化。
SCADE 是基於模型的開發與驗證平台,覆蓋從系統到軟體的完整生命週期,支持系統設計、控制邏輯設計、圖形顯示設計和全生命週期管理。
SCADE 可規避設計中因人為因素可能產生的安全隱憂,將機械性的工作交由工具去完成。SCADE 同時已經過一系列國際安全法規的鑑定與認證,擁有SCADE 您將不用再進行程式碼驗證或是低層測試等工作。
其技術認證包括:
  •   航空航太A級標準: DO-178B/ DO-178C
  •   重工業與能源領域: IEC 61508 SIL3
  •   軌道交通: EN 50128 SIL 3/4
  •   核能: IEC 60880
  •   醫療儀器: IEC 62304
  •  車輛安全: ISO 26262,可用於ASIL D級軟體
ANSYS SCADE產品系列由以下四個主體模塊組成:

 



 
 

 
SCADE Suite® 控制應用開發
主要用於控制邏輯的設計與驗證,能自動產生標準C-code 與ADA 語言原始碼。SCADE Suite 基於形式化語言與嚴謹的數學理論,為研發人員設計出高安全性軟體提供充分的支持。SCADE Suite常用於飛機的飛行控制系統、列車的訊號控制系統與核反應堆保護系統等高安全性的系統開發。

主要用於人機介面開發,以基於圖形的方式設計界面進行模擬與驗證,能自動產生SGL或OpenGL的程式碼,只要目標平台支持OpenGL驅動,產生的程式碼即可直接在該平台上執行。SCADE Display 常被用於飛機的座艙顯示系統、無人機的地面站以及列車的DMI等系統開發。

基於SysML 的系統建模工具,提供對系統建模與驗證的功能,能和SCADE Suite和SCADE Display 無縫對接,因此,您可以使用SCADE System 做系統設計,SCADE Suite 與Display 做軟體設計。SCADE System 符合ARP 4754A、IEC 61508 (Part 1)、EN50126、ISO26262-2等相關的行業工程標準。

Simplorer是一套可跨領域模擬的分析軟體,可與SCADE協同模擬,實現系統中不同領域設計工具的聯合模擬。
 
主要用於系統、軟體生命週期資料產生與維護、研發流程管理、認證支援等。包含全生命週期資料追蹤管理、設計檔案自動生成、自動化測試環境、快速原型、Dashboard與認證計畫。
  
 
 

 電話
業務聯絡 (03) 6118-668 轉 384 羅小姐/教育單位 轉 380 陳小姐
 服務信箱
業務聯絡:general@cybernet-ap.com.tw
技術支援:gpservice@cybernet-ap.com.tw   
 

 原廠資訊
ANSYS 官方網站 ANSYS

 

TOP