Ansys 嵌入式軟體與系統安全

Ansys SCADE
產品簡介|嵌入式系統和軟體開發環境

Ansys提供基於模型的嵌入式軟體開發和模擬環境,內置經過認證的自動代碼產生器,可加速嵌入式軟體開發專案。系統和軟體工程師使用Ansys以圖形方式設計、驗證並自動生成具有高可靠性要求的關鍵嵌入式應用。Ansys SCADE解決方案具有高度的互操作性,可輕鬆集成到現有開發流程中,從而優化開發並增加團隊成員之間的溝通。

查看其他資料

Ansys SCADE 產品簡介|嵌入式系統和軟體開發環境

ANSYS SCADE 是一套用於基於模型的軟體開發的工具,支援開發、驗證、驗證和測試過程。

ANSYS SCADE 已在以下軟體開發領域成功證明了自己:

  • 安全關鍵(可認證)軟體。
  • 嵌入式軟件應用程序。
  • 顯示器和人機界面。
  • 高品質和負責任的軟體。

 

ANSYS SCADE 包括以下工具:

  • SCADE Architect
  • SCADE Suite
  • SCADE Display
  • SCADE Test
  • SCADE Lifecycle

 

  • SCADE Architect

Ansys SCADE Architect 主要用於系統和軟體架構設計,是基於 SysML 系統建模語言的系統建模和驗證工具。它提供了對系統進行分析、架構設計和驗證的能力,支援可視化地進行專業對像庫封裝並提供針對航空領域的客製,能和 Ansys SCADE Suite 和 Ansys SCADE Display 進行無縫對接使得系統設計的成果順暢地傳遞給軟體設計。

 

  • SCADE Suite

Ansys SCADE Suite—基於模型的高安全之嵌入式系統開發工具。其前台提供圖形化的數據流圖、控制流圖、數學運算符等對控制邏輯進行建模,支援可將控制、數據流與狀態機整合在一平台上建模。Ansys SCADE Suite 提供模型檢查、模擬調試、形式化驗證、覆蓋率分析、時間堆棧分析等驗證方法,可以進行完備的模型與需求一致性的驗證。

 

  • SCADE Display

AnsysSCADEDisplay主要用於人機交互界面軟體的建模、驗證及自動代碼生成。

建模方面:

  • 提供基本控件庫和一些行業相關的控件庫
  • 支援包括向量繪圖、遮罩、位圖、紋理、α通道、光暈及反鋸齒特效等等
  • 支援向量和位圖字體
  • 支援中文字庫
  • 支援多國語言開發
  • 支援和地圖及視頻的疊加整合
  • 支援在圖形模型中加入SCADESuite控制邏輯,使得邏輯和顯示能很好融合

驗證方面:

  • 支援對模型進行合法性檢查;
  • 支援對設計的圖形界面以及嵌入的邏輯進行模擬
  • 支援對人機交互界面進行批量自動測試,方便設計人員進行回歸測試,減輕測試工作量

 

  • SCADE Test

Ansys SCADE Test 主要用於對 SCADE 模型進行驗證,使模型測試從主機端到目標機端形成完整的自動化測試流程。支援測試用例的創建和管理;支援在 PC 機上自動批量地運行測試用例,並生成測試報告和覆蓋率結果報告;支援自動生成目標機平台測試框架,然後在目標機批量運行測試,並生成測試報告。

 

  • SCADE Lifecycle

Ansys SCADE Lifecycle 主要用於系統、軟體研製生命週期各階段數據的生成和維護、研製流程管理、認證支援等。包括:全生命週期數據追踪管理、設計文檔自動生成、支援OSLC協議用於和第三方 PLM/ALM 工具橋接、提供認證計劃用於幫助需要適航認證的項目準備計劃階段的文檔。