Ansys SCADE 2020 R2 嵌入式安全關鍵系統開發 英文破解版
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
光碟片數:單片裝(單面DVD)
破解說明:見光碟內的安裝說明
系統支援:適用64位元版的Windows7/8.1/10(授權使用期限至2035年12月31號)
軟體類型:嵌入式安全關鍵系統開發
更新日期:2021.09.30
軟體發行:Ansys(O.D)
官方網站:https://www.ansys.com/products/embedded-software/ansys-scade-suite
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

現今科技日益精進，日常生活中的硬體設備也趨向於智慧自動化，如飛航技術中的
自動操控系統或無人車系統的發展等。而系統可分為控制器及受控體，硬體扮演著
受控體的角色，執行控制器所命令的操控行為。控制器本身含有相當大量的演算法
及運算程式軟體，這些就如同人類的大腦，根據外在環境反應行為模式，發送命令
給硬體產生作動。在相當注重安全的系統上，如核能、航空、汽車、軍事、航太、
鐵路、醫學系統領域，一旦控制器產生錯誤便會造成極大的災難。因此在進行軟體
開發時便需遵循一套標準的開發流程及準則，以確保設備在即時環境中能正確的運
作。

ANSYSSCADE(Safety-CriticalApplicationDevelopmentEnvironment)即有此
優勢，提供關鍵嵌入式軟體開發工具和方法學，運用CorrectByConstruction的
設計理念從精確的需求規範自動產生嵌入式程式碼，實現開發流程的高度自動化。

SCADE是基於模型的開發與驗證平台，覆蓋從系統到軟體的完整生命週期，支持系
統設計、控制邏輯設計、圖形顯示設計和全生命週期管理。

SCADE可規避設計中因人為因素可能產生的安全隱憂，將機械性的工作交由工具去
完成。SCADE同時已經過一系列國際安全法規的鑑定與認證，擁有SCADE您將不
用再進行程式碼驗證或是低層測試等工作。

其技術認證包括：
-航空航太A級標準:DO-178B/DO-178C
-重工業與能源領域:IEC61508SIL3
-軌道交通:EN50128SIL3/4
-核能:IEC60880
-醫療儀器:IEC62304
-車輛安全:ISO26262，可用於ASILD級軟體

SCADESuite主要用於控制邏輯的設計與驗證，為研發人員設計出高安全性軟體，
提供一個完整的平台，其功能包括：關鍵應用軟體作多方管理的需求、模型化基礎
設計、模擬及除錯、軟體驗證、標準認證程式碼生成器及具有協同其他開發工具的
便利性。

快速原型及設計
-將建模化為直覺式的方塊圖，互相連接來傳遞控制訊號及資料流
-在嚴謹的數學模型設計基礎之上，確保設計之模型具有精確性、完整性、一致性
及可驗證性

程式驗證
-設計過程隨時可檢驗程式碼的正確性，以便早期發現程式的問題
-模型安全性測試，假如結果為不安全，會提出測試案例說明發生不安全的條件為
何，幫助使用者進行除錯
-自動生成覆蓋率測試報告以方便使用者調整模型
-能進行時間堆疊分析，讓即時模擬需求的人員了解模型模擬的最劣運行時間並進
行優化
-協助使用者定位出可能出現除零或溢出的程式碼區塊

KCG程式碼生成器
-能將模型轉為Ccode或Ada的嵌入式程式碼
-所生成的程式碼可直接嵌入產品中而不需任何修改
-在運作環境一致的情況下，能夠保證模擬的結果和最終於平台上的執行相同
-此工具通過航太、核能、醫學、國防、車輛等一系列的專業認證，因此將可節省
開發人員繁瑣的程式碼驗證流程

與不同建模環境連結
-SIMULINK系統模型設計能匯入SCADESuite環境，一來免除重新建模，二來可
以享用SCADEsuitR高可靠度環境所帶來的優勢
-可以將SCADESuite生成的程式碼轉為在SIMULINK內使用的S-function，可
結合受控體進行全面性的模擬與分析

-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=