Your browser does not support script

會員服務

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

SCADE Suite 控制應用開發

                                                                                                  


 

SCADE Suite
®
是 Ansys 嵌入式軟體的產品之一,提供使用者在模型化基礎 (model-based)環境下進行關鍵嵌入式軟體的開發。
SCADE Suite 主要用於控制邏輯的設計與驗證,為研發人員設計出高安全性軟體,提供一個完整的平台,其功能包括:關鍵應用軟體作多方管理的需求、模型化基礎設計、模擬及除錯、軟體驗證、標準認證程式碼生成器及具有協同其他開發工具的便利性。
  • 快速原型及設計
    • 將建模化為直覺式的方塊圖,互相連接來傳遞控制訊號及資料流
    • 在嚴謹的數學模型設計基礎之上,確保設計之模型具有精確性、完整性、一致性及可驗證性

  • 程式驗證
    • 設計過程隨時可檢驗程式碼的正確性,以便早期發現程式的問題
    • 模型安全性測試,假如結果為不安全,會提出測試案例說明發生不安全的條件為何,幫助使用者進行除錯
    • 自動生成覆蓋率測試報告以方便使用者調整模型
    • 能進行時間堆疊分析,讓即時模擬需求的人員了解模型模擬的最劣運行時間並進行優化
    • 協助使用者定位出可能出現除零或溢出的程式碼區塊
  • KCG程式碼生成器
    • 能將模型轉為C code或Ada的嵌入式程式碼
    • 所生成的程式碼可直接嵌入產品中而不需任何修改
    • 在運作環境一致的情況下,能夠保證模擬的結果和最終於平台上的執行相同
    • 此工具通過航太、核能、醫學、國防、車輛等一系列的專業認證,因此將可節省開發人員繁瑣的程式碼驗證流程
  • 與不同建模環境連結
    • SIMULINK系統模型設計能匯入SCADE Suite 環境,一來免除重新建模,二來可以享用SCADE suit®高可靠度環境所帶來的優勢
    • 可以將SCADE Suite生成的程式碼轉為在SIMULINK內使用的S-function,可結合受控體進行全面性的模擬與分析

 

 
 
 

 

TOP