Your browser does not support script

會員服務

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

【技術文章】高度安全性基於模型軟體設計方案 - Ansys SCADE Suite高級建模器介紹


摘要

Ansys SCADE Suite提供基於模型的控制軟體建模、驗證和自動代碼生成的潛入式軟體開發環境，SCADE Suite基於形式化同步語言scade語言，具備嚴謹的數學基礎，從根本上保證了SCADE Suite軟體模型具備精確性、一致性、可驗證性、無二義性，以及模型行為的確定性，非常適合高安全關鍵(safety-critical)領域的嵌入式軟體開發。

欲閱讀更多資訊請登入下載全文。



檔案下載:

編號
檔名		 class
版本		 標題
敘述		 建立時間
上次更新		 狀態 下載

Ansys SCADE Suite高級建模器介紹.pdf
Ansys SCADE Suite高級建模器介紹
 2023-08-11 13:26:00
2023-08-11 13:26:00 		需登入才能下載 下載
TOP