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

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

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

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

ETAS ASCET-SCODE訂貨信息

產(chǎn)品名稱	簡(jiǎn)稱	訂購(gòu)號(hào)
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
單機(jī)版許可證
ETAS ASCET-SCODE Tool 一年期服務(wù)合約單機(jī)版許可證	ES_SCODE-ANALYZER_LIC-MS52	F-00K-110-811
用于ETAS ASCET-SCODE Tool 的單機(jī)版許可證	ETAS_SCODE_TOOL_LIC-MP	F-00K-109-533
用于ETAS ASCET-SCODE Tool 的單機(jī)版許可證服務(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
浮動(dòng)許可證
ETAS ASCET-SCODE一年期服務(wù)合約浮動(dòng)許可證	ES_SCODE-ANALYZER_LIC-CS52	F-00K-110-813
用于ETAS ASCET-SCODE Tool 的浮動(dòng)許可證	ETAS_SCODE_TOOL_LIC-CP	F-00K-109-535
用于ETAS ASCET-SCODE Tool 的浮動(dòng)許可證服務(wù)合同	ETAS_SCODE_TOOL_SRV-CE52	F-00K-109-538

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

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

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

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

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

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

 

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

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

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

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

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

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

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

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

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

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