Skip to Main Content

Ansys Scade One

開發安全可靠的嵌入式軟體,縮短開發時間和成本,並保障您的認證過程。

Scade One

建模、驗證並自動產生安全可靠的應用程式

Scade One 是一種基於模型的解決方案,用於開發嵌入式應用軟體,可實現無縫的基於模型的系統工程 (MBSE) 流程。

Scade One 專供系統設計師及嵌入式程式設計師使用,可消除具備直覺式且順手之使用者介面的模型式工具的易用性,以及用於開發控制、任務及自律軟體的通用型程式設計語言的強大功能之間的差距。

  • Check icon outline
    視覺編碼體驗
  • Check icon outline
    開放模型式方法
  • Check icon outline
    開放式生態系統
  • Check icon outline
    有效的協同合作
  • Check icon outline
    產生安全可靠的程式碼
  • Check icon outline
    應用範圍廣泛

功能

建模、模擬和生成

Scade One 是基於模型的嵌入式應用軟體開發解決方案,可從一開始就實現無縫的基於模型的系統工程 (MBSE) 流程。

 

主要特色

建模、驗證並自動產生安全可靠的應用程式,並對任何嵌入式系統具有高度可信性需求。

  • Swan 語言
  • 直覺式建模
  • 除錯/模擬
  • 圖形面板
  • 系統架構建模和匯入
  • SCADE Suite 移轉
  • 自動程式碼產生
  • Python API
  • 延伸並改進基底的 SCADE Suite 語言,Scade 6
  • 混合資料流和狀態機
  • 可讀性更佳的方塊圖群組
  • 更直觀的安全循環式結構
  • 更豐富的資料結構的變化類型
  • 分離模組介面與實作
  • 使用圖表和/或文字設計模型
  • 自動佈局和智慧指南,可提供高度易讀的圖表
  • 智慧服務和即時模型檢查,以便立刻回饋錯誤並快速修正
  • 使用者協助,快速熟悉工具

 

  • 控制執行,逐步與定期
  • 觀察模型值和狀態
  • 除 (表格) 資料或預先定義的刺激程式庫外,Swan 語言的完整廣度和深度還可描述除錯和測試情境
  • 自動化測試框架中的圖形面板,可互動式除錯和模擬
  • 以網路為基礎的 System Architecture Modeler (SAM) 可雲端或內部部署,讓您可以輕鬆存取。
  • 強大的即時協作功能,讓多個使用者能夠同時進行系統模型開發,並即時查看其他使用者對系統架構的貢獻。
  • 自動將系統模型中的相關部分 (軟體架構、區塊和介面),匯入至 Scade One 軟體模型。
  • 自動將 SCADE 6.6 模型匯入 Swan 模型 
  • 產生的 C 語言程式碼安全、可靠、可移植且可信賴,滿足任務和安全關鍵型嵌入式系統的需求。
  • 整合在任何硬體/軟體環境中。
  • 程式碼為人類可讀且在記憶體大小和執行時間都高效率,效能水準與手寫程式碼接近。
  • 產生的程式碼與模型之間的可追溯性會自動產生。
  • 產生的程式碼符合公認的 C 語言開發準則,以確保嵌入式系統的安全性、可靠性和可信賴性,例如 MISRA-C 和 CERT-C。
  • 模型存取 API,用於讀取 Swan 模型的內容,與 PyAnsys 完全一致

資源與活動

部落格

Blog icon block

Scade One:開創基於模型的軟體開發新時代

Ansys SCADE 是透過基於模型的環境開發關鍵嵌入式軟體的業界標準。憑藉全新的解決方案,Scade One、Ansys 不僅將引領業界,還將帶來革命。

Blog icon block

Scade One – 視覺編碼體驗

此部落格介紹 Scade One 的全新現代化使用者介面和使用者體驗,專為工具直覺性及順手設計。

Blog icon block

Scade One – 縮小基於模型的設計與傳統程式設計之間的差距

我們將展示 Scade One 如何將基於模型的工具之易用性與程式語言的強大功能和表現力結合。新的建模結構可讓 Scade One 既可用於傳統控制軟體,也可用於更複雜的任務和自律軟體。

Blog icon block

Scade One – 開放式基於模型的生態系統,適用於 MBSE

Scade One 設計為可整合至基於模型的系統工程 (MBSE) 流程中,並搭售 Ansys System Architecture Modeler,一種網路型 SysML v2 建模器。我們還將說明將軟體元件介面從 SysML v2 匯入 Scade One 的方法。

Blog icon block

Scade One – 大眾化基於模型的開發

我們將介紹 Scade One 的全新入門級產品,讓任何開發安全可靠嵌入式軟體的公司都可以使用基於模型、已成功用於安全關鍵型應用超過 20 年的方法。


線上研討會

2021-01-optislang-webinar-design-card.jpg

隆重介紹 Ansys Scade One

報名參加即將舉行的線上研討會,初步瞭解 Ansys Scade One。

Ansys 軟體產品輔助

對 Ansys 而言,所有使用者皆能運用本公司產品非常重要,身心障礙者也不例外。因此,我們致力於遵循美國無障礙委員會 (第 508 條)、無障礙網頁內容規範 (WCAG)、自願產品輔助工具範本 (VPAT) 目前格式等各項無障礙需求。