嵌入式軟體開發

可靠的嵌入式軟體開發解決方案

聯繫我們申請 30 天試用

可靠的嵌入式軟體開發解決方案

Ansys嵌入式軟體開發解決方案，根據安全標準目標調整設計過程，降低開發成本，並將認證時間加速兩倍。

加速開發嵌入式軟體

Ansys 提供基於模型的嵌入式軟體開發與模擬環境，內建經過認證的自動程式碼產生器，可加快嵌入式軟體開發項目的速度。系統和軟體工程師使用 Ansys 以圖形方式設計、驗證並自動產具備高可靠性要求的關鍵嵌入式應用程式。Ansys SCADE 解決方案具有高度的互通性，可以輕鬆整合到現有的開發流程中，最佳化開發程序，並提升團隊成員之間的溝通品質。

產品

檢視所有產品

Scade One

嵌入式軟體

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

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

檢視產品

SCADE Suite

嵌入式軟體

SCADE Suite 是一個以模型為基礎的開發環境，用於關鍵嵌入式軟體的設計和驗證，以及安全認證的代碼生成。

以模型為基礎的可靠嵌入式軟體設計
除錯和模擬
產生合格/經認證的自動代碼
滿足安全要求的認證套件

檢視產品

SCADE Display

嵌入式軟體

SCADE Display 有助於開發嵌入式圖形、顯示器和 HMI，以及產生安全認證代碼。

多功能圖形設計和開發環境
支援多種安全標準
與 SCADE Suite 整合

檢視產品

SCADE Test

嵌入式軟體

SCADE Test 提供您測試、確認與驗證應用程式，並完成可靠嵌入式軟體所需的一切。

完成符合驗證要求的測試環境
在系統迴路環境中進行軟體測試
模型和程式碼覆蓋率分析

檢視產品

SCADE Architect

嵌入式軟體

SCADE Architect 提供系統和軟體架構建模功能，完整支援產業的系統工程開發程序。

模型式嵌入系統和軟體架構設計
產生一致、且功能全面之介面控制
與 SCADE 應用程式整合，可用來設計軟體密集型系統

檢視產品

Screenshot demo of Ansys SCADE ARINC 661

適用於 ARINC 661 的 SCADE 解決方案

嵌入式軟體

適用於 ARINC 661 的 SCADE 解決方案可幫助您開發符合 ARINC 661 航空電子顯示器標準的駕駛艙顯示系統。

實體原型和設計皆符合 ARINC 661 的駕駛艙顯示系統和使用者應用程式
可客製化的合規延伸工具程式庫
自動生成二進制和 XML 定義檔 (DF)

檢視產品

2025 年 7 月

最新功能

2025 R2 版本透過強化除錯功能、認證支援與 ARINC 661 整合，全方位提升 Ansys SCADE 與 Scade One 的生產力。亮點包括 Ansys Engineering Copilot、新的 Python 包裝器、更智慧的 CI/CD，以及用於嵌入式軟體原型設計的 SAM，可加速並提升從系統架構到認證碼產生的開發安全性。

線上研討會

Ansys 2025 R2 – 嵌入式軟體新增功能

立即報名專屬網路研討會，深入瞭解 Ansys SCADE 與 Scade One 2025 R2 的最新更新，透過 Python 整合的強化開發、認證與生產效率。

立即報名

功能

Ansys 嵌入式軟體解決方案提供一系列強大功能，幫助您更快開發安全可靠的軟體設計。

開發嵌入式控制軟體
人機介面軟體
跨產業產生認證程式碼
基於模型的系統工程

開發嵌入式控制軟體

從商用飛機到自駕車，嵌入式軟體開發過程的品質決定了操作效率和安全性。認證程式碼產生器 (如 Ansys SCADE 中的程式碼產生器) 可確保您的嵌入式軟體無論是首次或每次運作時，都能夠按計劃運作。

人機介面軟體

儘管擁有自主性，但現今的智慧化產品仍然需要透過直觀、易於使用的直覺式人機介面與人互動。您可以使用 Ansys 的軟體開發和認證程式碼產生工具，將介面的可用性和可靠性最佳化。

跨產業產生認證程式碼

Ansys 程式碼產生器和驗證工具已通過全球 10 多個安全機構的認證，在六個市場區段中達到最高安全等級，包括：航太與國防應用領域的 DO-178C 最高 A 級；汽車應用領域的 ISO 26262 最高 ASIL D；交通運輸與工業應用領域的 IEC 61508 最高 SIL 3；鐵路運輸應用領域的 EN 50128 最高 SIL 3/4；由許多核安管理機構在核能應用領域證明符合 IEC 60880 標準。

基於模型的系統工程

基於模型的系統工程 (MBSE) 是在整個開發週期中使用系統模型來定義進行要求、設計、分析以及驗證活動的關鍵。它通過不斷發展的模型跟蹤這些相互依存關係，而不是書面的設計規範，因此您可以確保所有子系統以精確調整的整體中緊密配合，即使在您繼續更改設計時也是如此。

2020-12-SCADE Architect-System Design Environment Configuration.jpg

系統設計環境組態

您可以設定 SCADE Architect Editor 滿足特定領域的需求，例如 IMA、FACE 和 AUTOSAR 等產業標準，或公司或專案標準。

您可以使用 SCADE Architect Configurator 設定 Architect Advanced Editor，以滿足專案或使用者群組中確定的特定需求。使用SCADE Architect Configurator在簡化的圖表中定義特定領域的對象、屬性和限制，並使用特定領域的使用者介面、屬性頁面、目錄和表格自定義您的建模工具。您甚至可以在詮釋模型上應用自訂規則，以確保模型符合建模限制。

2020-12-SCADE Architect-FACE-interface.jpg

FACE、AADL、航空電子介面解決方案

Ansys SCADE Avionics 組合包利用針對航空電子系統設計量身打造的解決方案，來延伸 SCADE Architect。這包括 FACE 技術標準、AADL 和航空電子介面的解決方案。

SCADE Architect 可以經由新增 Ansys SCADE Avionics 封包來擴充。這款封包是一款全方位專用解決方案，可用來設計符合重要產業標準的嵌入式航空電子系統。Avionics Package 支援 ARINC 429、ARINC 664-P7/AFDX 或 CAN 通訊協定、整合式模組航空電子架構和 ARINC 653 特定屬性。這甚至會自動產生 ARINC 653 組態文件。Avionics Package 也讓 SCADE Architect 能夠針對 AADL 和 FACE 標準提供解決方案，讓 SCADE Architect 成為進行航空電子嵌入式系統設計的完美平台。

自動產生程式碼與 HMI

SCADE Display KCG 具有高效率程式碼產生功能，可讀取、追溯和重定目標之嵌入式 HMI 的 C 程式碼，且原生支援 OpenGL SC1 和 SC2，以及 ES1 和 ES2 標準。

SCADE Display 產生的程式碼是緊密、模組化、安全，且與目標無關的。這表示可以快速部署到幾乎所有目標平台，包括 Windows、Apple iOS 和 Android，也可以部署到特殊的嵌入式目標作業系統。藉助產生器的超乾淨程式碼，您可以消除大多數編碼錯誤，甚至無需進行低層級測試，節省了過去執行非常重要步驟所需的時間和精力。

2020-12-scade-display-certification-for-critical-safety-standards.jpg

關鍵安全標準認證

SCADE Display KCG C 程式碼產生器已獲 DO-178B 軟體認證為最高 A 級，以及 DO-178C/DO-330 認證為 TQL-1 的開發工具；通過 IEC 61508 的 SIL 3 認證，以及 EN 50128 的 SIL 3/4 認證；符合 ISO 26262 軟體最高 ASIL D 的資格。

SCADE Display 程式碼產生器是獲得廣泛認證的開發工具。這個工具由 SCADE Display KCG 認證套件 (本身符合 DO-178B 和 C、EN 50128、IEC 61508 和 ISO 26262 標準) 補充。這些套件包含完整材料，可用來向認證機構證明程式碼產生器符合最嚴格的安全標準。此外也讓您存取認證程序中所需的文件，藉此簡化並加快認證時間。