可靠的嵌入式軟體開發解決方案
万博Ansys嵌入式軟體開發解決方案會根據安全標準目標調整設計程序,降低開發成本,並將認證時間縮短兩倍。
加速開發嵌入式軟體
万博Ansys提供以模型為基礎的嵌入式軟體開發與模擬環境,內建經過認證的自動程式碼產生器,可加快嵌入式軟體開發項目的速度。系統和軟體工程師使用A万博nsys以圖形方式設計,驗證並自動產具備高可靠性要求的關鍵嵌入式應用程式。万博Ansys SCADE解決方案具有高度交互運作性能,可以輕鬆整合到現有的開發流程中,最佳化開發程序,並提升團隊成員之間的溝通品質。
-
開發並整合進階演算法和功能
-
改善整個工作流程的一致性和可追溯性
-
確認並驗證您的程式碼和設計
-
自動產生符合認證要求的程式碼
万博Ansys 2022 R2聚焦於嵌入式控制和HMI軟體產生安全程式碼的程序,推動符合A&D(661年- 178 C,林克,Khronos glTF™)和汽車(AUTOSAR)領域的國際安全標準(SEI CERT C)、安全性和互通性。對覆蓋率分析協助的最佳化，進一步加快了複雜且耗時的模型與代碼覆蓋分析的生成。
改善項目包括：
- 证书c /產生安全程式碼
- 產生符合sei cert c安全程式碼標準的程式碼
- 證明沒有與scade產生之程式碼使用相關聯的安全風險
- 最佳化的覆蓋率分析協助
- 加速複雜且耗時的覆蓋率分析活動
- 偵測並報告未覆蓋的模型零件
- 產生未覆蓋點的調整或測試順序
- 嵌入式顯示器的3d渲染
- 在SCADE显示中匯入及渲染Kronos標準的glTFTM 3D資產
- 允許嵌入式顯示器設計人員納入突破性的渲染效果
網路研討會
產品
檢視所有產品
適用於ARINC 661的SCADE解決方案可幫助您開發符合ARINC 661航空電子顯示器標準的駕駛艙顯示系統。
- 實體原型和設計皆符合arinc 661的駕駛艙顯示系統和使用者應用程式
- 可客製化的合規延伸工具程式庫
- 自動生成二進制和XML定義檔(df)
功能
万博Ansys嵌入式軟體解決方案提供一系列強大功能，幫助您更快開發安全可靠的軟體設計。
- 開發嵌入式控制軟體
- 人機介面軟體
- 跨產業產生認證程式碼
- 模型式系統工程
從商用飛機到自動駕駛車，嵌入式軟體開發程序的品質決定了操作效率和安全性。認證程式碼產生器(如An万博sys SCADE中的程式碼產生器)可確保您的嵌入式軟體無論是首次或每次運作時,都能夠按計劃運作。
儘管擁有自主性，但現今的智慧產品偶爾仍必須經由容易使用的直覺式人機介面與人互動。您可以使用A万博nsys的軟體開發和認證程式碼產生工具，將介面的可用性和可靠性最佳化。
万博Ansys程式碼產生器和驗證工具已通過全球10多個安全機構的認證,在六個市場區段中達到最高安全等級,包括:航太與國防應用領域的做- 178 c最高級;汽車應用領域的ISO 26262最高ASIL D;交通運輸與工業應用領域的IEC 61508最高SIL 3;鐵路運輸應用領域的EN 50128最高硅3/4;由許多核安管理機構在核能應用領域證明符合IEC 60880標準。
基於模型的系統工程(MBSE)是在整個開發週期中使用系統模型來定義進行要求,設計,分析以及驗證活動的關鍵。這可以追蹤與不斷發展的模型之間的互依性，而不是書面設計規範，因此您可以確保所有子系統都能以精確調整的整體進行網格化，即使您繼續變更設計，也不受影響。
應用領域
技術論文
精選網路研討會
案例研究
影片
影片
開發自動駕駛車的全方位解決方案
查看A万博nsys的服務與產品
查看A万博nsys的服務與產品
联系我们
立即聯絡我們
