ASCET-DEVELOPER IDE是一個基于Eclipse的嵌入式軟件圖形化建模開發(fā)集成環(huán)境。借助ASCET-DEVELOPER，軟件工程師能夠構(gòu)建高性能、安全、可靠、低開銷且易于維護(hù)的嵌入式軟件。

ASCET-DEVELOPER的代碼生成技術(shù)已經(jīng)在大批量生產(chǎn)項目中使用了20多年，并且已經(jīng)為4.5億個ECU提供動力，應(yīng)用領(lǐng)域涵蓋底盤控制（如ABS/ESP）、經(jīng)典和電動動力系統(tǒng)、燃料電池系統(tǒng)、高速列車的制動控制、變速箱控制、駕駛員輔助系統(tǒng)等等。

ASCET-DEVELOPER支持既定的行業(yè)標(biāo)準(zhǔn)，如MISRA、OSEK、ASAM、AUTOSAR和FMI。生成的代碼符合MISRA-C:2012標(biāo)準(zhǔn)，滿足安全、安全性和便攜性方面的最高標(biāo)準(zhǔn)，通過ISO26262 ASIL-D和IEC61508-SIL3 TüV認(rèn)證。

關(guān)鍵特性

建模

ASCET-DEVELOPER允許您輕松地結(jié)合使用文本和圖形，以滿足您的編程需求。有不同的可能性對您的邏輯進(jìn)行建模，使您能夠以您喜歡的方式高效地工作。

如圖所示，有四種規(guī)范供您選擇：

使用方框圖的圖形規(guī)范

使用狀態(tài)機(jī)編輯器的圖形規(guī)范

使用ESDL編輯器的文本規(guī)范

使用C代碼編輯器的文本規(guī)范

此外，ASCET-DEVELOPER還具有改進(jìn)模型和代碼質(zhì)量并提高效率的其他特性：

動態(tài)靜態(tài)分析，即時反饋建模錯誤或違規(guī)行為

通過綜合質(zhì)量指標(biāo)創(chuàng)建可維護(hù)模型

驗證

根據(jù)不同的開發(fā)周期階段，ASCET-DEVELOPER為有效和全面地測試模型提供了不同的可能性：

內(nèi)置單元測試框架。

使用ETAS實驗環(huán)境進(jìn)行PC模擬仿真。

測試執(zhí)行中的模型覆蓋和分析，包括語句、分支、狀態(tài)、轉(zhuǎn)換和修改的條件決策（MC/DC）覆蓋率。

ASCET-DEVELOPER模型可以與支持FMI標(biāo)準(zhǔn)的外部工具中的模型一起模擬，通過FMU導(dǎo)出或在MATLAB/Simulink中通過函數(shù)傳輸進(jìn)行連接。

使用ETAS原型解決方案在實時硬件上進(jìn)行功能原型設(shè)計，可在試驗臺或車輛上進(jìn)行早期、真實的驗證。

ASCET-DEVELOPER還可以無縫對接第三方自動測試工具，例如TPT，進(jìn)行系統(tǒng)的自動化測試。

自動代碼生成

手動編寫代碼需要額外的工作來防止錯誤，并使其符合標(biāo)準(zhǔn)和編碼準(zhǔn)則。有了ASCET-DEVELOPER，你只需要專注于解決問題，其余的都由代碼生成器來完成。它具有以下特點：

符合MISRA標(biāo)準(zhǔn)的高質(zhì)量生產(chǎn)C代碼。

對用戶來說，代碼的可讀性很強(qiáng)

可追溯到您的ASCET-DEVELOPER模型

自動插入防御性代碼。例子包括：被零除保護(hù)、基于類型屬性的飽和限制以及數(shù)組類型的索引溢出保護(hù)。

定點代碼生成

通過將ASCET-DEVELOPER模型映射到AUTOSAR結(jié)構(gòu)來生成AUTOSAR代碼。

快速重用現(xiàn)有的ASCET-DEVELOPER模型，并通過自定義選項為不同目標(biāo)生成代碼

*自定義回調(diào)到設(shè)備特定的算術(shù)、插值或服務(wù)庫。

*編譯器的內(nèi)存指令

*可在編譯或生成時解析的條件代碼和數(shù)據(jù)結(jié)構(gòu)。

*大量資源和運行時性能的優(yōu)化策略。

工具鏈集成

ASCET-DEVELOPER提供了各種接口和標(biāo)準(zhǔn)化的文件交換格式，使您可以輕松地將工具集成到您的開發(fā)過程和工具鏈中。以下功能有助于集成：

ASCET-DEVELOPER構(gòu)建在eclipse平臺上。這允許在同一個IDE中無縫集成流程工具。

*通過本機(jī)eclipse插件連接到JIRA、Bitbucket、Git、SVN、ibmrtc

* 安裝在不同廠商如STM、ARM提供的現(xiàn)有eclipse嵌入式工作臺內(nèi)

*為多個目標(biāo)建模和生成代碼，在同一個IDE中構(gòu)建并調(diào)試

需求可追溯性和Yakindu可追溯性允許將過程工件鏈接到ASCET-DEVELOPER模型（例如需求管理的DOORS）。

從ASCET模型中生成額外的過程工件，如A2L、ARXML、MDX。

通過附帶的ASCET SDK對您的過程進(jìn)行擴(kuò)展（例如，將您自己的過程編碼插入ASCET靜態(tài)分析引擎中）。