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

ETAS ASCET-SCODE (系統(tǒng)共同設(shè)計)

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

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

ETAS ASCET-SCODE訂貨信息

產(chǎn)品名稱	簡稱	訂購號
ASCET-SCODE
產(chǎn)品安裝媒介 [1]
ETAS ASCET-SCODE 系列產(chǎn)品安裝媒體	ES_SCODE-ANALYZER_PROD	F-00K-110-817
ETAS ASCET-SCODE Tool 系列產(chǎn)品安裝媒體	ETAS_SCODE_TOOL_PROD	F-00K-109-539
單機版許可證
ETAS ASCET-SCODE Tool 一年期服務(wù)合約單機版許可證	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 的單機版許可證服務(wù)合同	ETAS_SCODE_TOOL_SRV-ME52	F-00K-109-537
用戶名許可證
ETAS ASCET-SCODE Tool 一年期服務(wù)合約用戶名許可證	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 的用戶名許可證服務(wù)合同	ETAS_SCODE_TOOL_SRV-UE52	F-00K-109-536
浮動許可證
ETAS ASCET-SCODE一年期服務(wù)合約浮動許可證	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 的浮動許可證服務(wù)合同	ETAS_SCODE_TOOL_SRV-CE52	F-00K-109-538

注意 1： 產(chǎn)品安裝介質(zhì)必須與軟件許可證在所需數(shù)量上分開訂購。

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

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

ETAS ASCET-SCODE功能
自動核實系統(tǒng)的完好性、*性和無歧義性
識別冗余區(qū)域
顯示運行狀態(tài)（模式）彼此之間的關(guān)系（模式之間的過渡）

ETAS ASCET-SCODE輸入?yún)?shù):
以自由文本形式對要求和/或系統(tǒng)進行的描述

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

 

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

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

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

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

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

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

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

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

ETAS ASCET-SCODE技術(shù)參數(shù)

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