*ETAS軟件 F-00K-109-539ETAS ASCET-SCODE （系統共同設計）
ETAS的ASCET-SCODE（System CO DEsign, 系統共同設計）工具可清楚地描述并確定閉環控制系統中的復雜關系。為此，整個系統被分為多個分段，稱作“模式"（例如，怠速、滿載、跛行模式）。如此顯示系統，在軟件作出決定或有諸多變量時較為有益。
結構清晰的系統顯示，易于理解，促進協作（

ETAS ASCET-SCODE (系統共同設計)

ETAS的ASCET-SCODE（System CO DEsign, 系統共同設計）工具可清楚地描述并確定閉環控制系統中的復雜關系。為此，整個系統被分為多個分段，稱作“模式”（例如，怠速、滿載、跛行模式）。如此顯示系統，在軟件作出決定或有諸多變量時較為有益。

結構清晰的系統顯示，易于理解，促進協作（改變了管理、存檔、變量管理、組間合作、項目移交及安全分析）。若需要，M模式或C代碼可以自動生成。

ETAS ASCET-SCODE訂貨信息

產品名稱	簡稱	訂購號
ASCET-SCODE
產品安裝媒介 [1]
ETAS ASCET-SCODE 系列產品安裝媒體	ES_SCODE-ANALYZER_PROD	F-00K-110-817
ETAS ASCET-SCODE Tool 系列產品安裝媒體	ETAS_SCODE_TOOL_PROD	F-00K-109-539
單機版許可證
ETAS ASCET-SCODE Tool 一年期服務合約單機版許可證	ES_SCODE-ANALYZER_LIC-MS52	F-00K-110-811
用于ETAS ASCET-SCODE Tool 的單機版許可證	ETAS_SCODE_TOOL_LIC-MP	F-00K-109-533
用于ETAS ASCET-SCODE Tool 的單機版許可證服務合同	ETAS_SCODE_TOOL_SRV-ME52	F-00K-109-537
用戶名許可證
ETAS ASCET-SCODE Tool 一年期服務合約用戶名許可證	ES_SCODE-ANALYZER_LIC-US52	F-00K-110-812
用于ETAS ASCET-SCODE Tool 的用戶名許可證	ETAS_SCODE_TOOL_LIC-UP	F-00K-109-534
用于ETAS ASCET-SCODE Tool 的用戶名許可證服務合同	ETAS_SCODE_TOOL_SRV-UE52	F-00K-109-536
浮動許可證
ETAS ASCET-SCODE一年期服務合約浮動許可證	ES_SCODE-ANALYZER_LIC-CS52	F-00K-110-813
用于ETAS ASCET-SCODE Tool 的浮動許可證	ETAS_SCODE_TOOL_LIC-CP	F-00K-109-535
用于ETAS ASCET-SCODE Tool 的浮動許可證服務合同	ETAS_SCODE_TOOL_SRV-CE52	F-00K-109-538

注意 1： 產品安裝介質必須與軟件許可證在所需數量上分開訂購。

ETAS ASCET-SCODE應用
簡易的系統形式驗證
在功能開發中創造規范
在功能開發者之間以及在功能開發者與軟件開發者之間交換信息
自動代碼生成，便于選擇相關運行狀態（模式）

ETAS ASCET-SCODE優點
減少了復雜性
更早地進行系統形式驗證，核實完好性、*性和無歧義性
更好、更快地理解系統結構（運行狀態）
自動生成工作結果，例如M代碼、C代碼或PDF
支持以模型為中心的與ETAS ASCET-CONGRA聯合進行的開發
開發者與管理層之間可以便捷地交換信息

ETAS ASCET-SCODE功能
自動核實系統的完好性、*性和無歧義性
識別冗余區域
顯示運行狀態（模式）彼此之間的關系（模式之間的過渡）

ETAS ASCET-SCODE輸入參數:
以自由文本形式對要求和/或系統進行的描述

ETAS ASCET-SCODE輸出參數：
結構化系統描述（例如：PDF、DOC、HTML）
以XML語言表示的模式選擇測試案例生成器
程序代碼（Matlab®/Simulink® M文件、C代碼、ESDL 代碼、ASCET AMD 代碼）

 

ETAS ASCET-SCODE的主要目的就是評估解決空間并確定為了應對挑戰（要求）需要哪些組件。采取的方式（方法）分為三個步驟，如右側示意圖所示：

此結構化方法使用了ASCET-SCODE工具，可令專業人員（例如功能開發者）從整個解決空間中選擇那些與手上的任務相關的運行狀態（模式），從而對這些模式之間的過渡進行定義。形式驗證中的錯誤將會顯示在工具中，可以立即進行更正。由此，開發者始終能夠在進行了形式驗證后的系統上工作。

所有的結果都可以通過其它工具以各種不同形式進行后續處理，包括自動生成程序代碼。

使用工具驗證輸入數據（可視化）
ASCET-SCODE可令功能開發者快速概覽一個復雜系統的行為。這樣一來，就不太可能會發生疏忽，冗余的組件也不會一開始就成為系統的一個部分。此外，行為關系可自動驗證。對系統行為的描述通過屏幕以各類編輯器進行輸入（IDE即集成開發環境）。顯示屏是互動式的，包含文本和圖像元素。

*ETAS軟件 F-00K-109-539

*ETAS軟件 F-00K-109-539

使用工具驗證輸入數據
從開發流程的初始階段就對自動檢查（形式驗證）輸入數據以及對所有系統狀態進行完整考慮從一開始就提高了質量且減少了成本（識別出了冗余的組件）。

對必需測試案例的識別——例如狀態機——是提前進行的，這也是對完整性測試覆蓋范圍的證明。對所有決定的提前識別有助于產生的程序代碼進行確定性執行。

ETAS ASCET-SCODE技術參數

系統要求
	最低標準	推薦標準
硬件	2 GHz 雙核 PC 或更快的 x86- 或 x64- 位 帶SSE2指令集的處理器
	4 GB 內存
	用于軟件安裝的DVD-ROM驅動器
	網絡適配器
	最低分辨率為1024x768，16 位色的顯卡	最低分辨率為1600x1200，16 位色的顯卡
釋放磁盤空間	硬盤最小700 MB [1]
操作系統	Windows® 10（64 位），Windows® 7（64 位）
所需軟件	Microsoft® .Framework 4.5.2 或更新
注釋
[1]	不包括應用程序數據的所占空間