ASCET-DEVELOPER IDE是一個(gè)基于Eclipse的嵌入式軟件圖形化建模開(kāi)發(fā)集成環(huán)境。借助ASCET-DEVELOPER,軟件工程師能夠構(gòu)建高性能、安全、可靠、低開(kāi)銷且易于維護(hù)的嵌入式軟件。
ASCET-DEVELOPER的代碼生成技術(shù)已經(jīng)在大批量生產(chǎn)項(xiàng)目中使用了20多年,并且已經(jīng)為4.5億個(gè)ECU提供動(dòng)力,應(yīng)用領(lǐng)域涵蓋底盤控制(如ABS/ESP)、經(jīng)典和電動(dòng)動(dòng)力系統(tǒng)、燃料電池系統(tǒng)、高速列車的制動(dò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),通過(guò)ISO26262 ASIL-D和IEC61508-SIL3 TüV認(rèn)證。
關(guān)鍵特性
建模
ASCET-DEVELOPER允許您輕松地結(jié)合使用文本和圖形,以滿足您的編程需求。有不同的可能性對(duì)您的邏輯進(jìn)行建模,使您能夠以您喜歡的方式高效地工作。
如圖所示,有四種規(guī)范供您選擇:
使用方框圖的圖形規(guī)范
使用狀態(tài)機(jī)編輯器的圖形規(guī)范
使用ESDL編輯器的文本規(guī)范
使用C代碼編輯器的文本規(guī)范
此外,ASCET-DEVELOPER還具有改進(jìn)模型和代碼質(zhì)量并提高效率的其他特性:
動(dòng)態(tài)靜態(tài)分析,即時(shí)反饋建模錯(cuò)誤或違規(guī)行為
通過(guò)綜合質(zhì)量指標(biāo)創(chuàng)建可維護(hù)模型
驗(yàn)證
根據(jù)不同的開(kāi)發(fā)周期階段,ASCET-DEVELOPER為有效和全面地測(cè)試模型提供了不同的可能性:
內(nèi)置單元測(cè)試框架。
使用ETAS實(shí)驗(yàn)環(huán)境進(jìn)行PC模擬仿真。
測(cè)試執(zhí)行中的模型覆蓋和分析,包括語(yǔ)句、分支、狀態(tài)、轉(zhuǎn)換和修改的條件決策(MC/DC)覆蓋率。
ASCET-DEVELOPER模型可以與支持FMI標(biāo)準(zhǔn)的外部工具中的模型一起模擬,通過(guò)FMU導(dǎo)出或在MATLAB/Simulink中通過(guò)函數(shù)傳輸進(jìn)行連接。
使用ETAS原型解決方案在實(shí)時(shí)硬件上進(jìn)行功能原型設(shè)計(jì),可在試驗(yàn)臺(tái)或車輛上進(jìn)行早期、真實(shí)的驗(yàn)證。
ASCET-DEVELOPER還可以無(wú)縫對(duì)接第三方自動(dòng)測(cè)試工具,例如TPT,進(jìn)行系統(tǒng)的自動(dòng)化測(cè)試。
自動(dòng)代碼生成
手動(dòng)編寫代碼需要額外的工作來(lái)防止錯(cuò)誤,并使其符合標(biāo)準(zhǔn)和編碼準(zhǔn)則。有了ASCET-DEVELOPER,你只需要專注于解決問(wèn)題,其余的都由代碼生成器來(lái)完成。它具有以下特點(diǎn):
符合MISRA標(biāo)準(zhǔn)的高質(zhì)量生產(chǎn)C代碼。
對(duì)用戶來(lái)說(shuō),代碼的可讀性很強(qiáng)
可追溯到您的ASCET-DEVELOPER模型
自動(dòng)插入防御性代碼。例子包括:被零除保護(hù)、基于類型屬性的飽和限制以及數(shù)組類型的索引溢出保護(hù)。
定點(diǎn)代碼生成
通過(guò)將ASCET-DEVELOPER模型映射到AUTOSAR結(jié)構(gòu)來(lái)生成AUTOSAR代碼。
快速重用現(xiàn)有的ASCET-DEVELOPER模型,并通過(guò)自定義選項(xiàng)為不同目標(biāo)生成代碼
*自定義回調(diào)到設(shè)備特定的算術(shù)、插值或服務(wù)庫(kù)。
*編譯器的內(nèi)存指令
*可在編譯或生成時(shí)解析的條件代碼和數(shù)據(jù)結(jié)構(gòu)。
*大量資源和運(yùn)行時(shí)性能的優(yōu)化策略。
工具鏈集成
ASCET-DEVELOPER提供了各種接口和標(biāo)準(zhǔn)化的文件交換格式,使您可以輕松地將工具集成到您的開(kāi)發(fā)過(guò)程和工具鏈中。以下功能有助于集成:
ASCET-DEVELOPER構(gòu)建在eclipse平臺(tái)上。這允許在同一個(gè)IDE中無(wú)縫集成流程工具。
*通過(guò)本機(jī)eclipse插件連接到JIRA、Bitbucket、Git、SVN、ibmrtc
* 安裝在不同廠商如STM、ARM提供的現(xiàn)有eclipse嵌入式工作臺(tái)內(nèi)
*為多個(gè)目標(biāo)建模和生成代碼,在同一個(gè)IDE中構(gòu)建并調(diào)試
需求可追溯性和Yakindu可追溯性允許將過(guò)程工件鏈接到ASCET-DEVELOPER模型(例如需求管理的DOORS)。
從ASCET模型中生成額外的過(guò)程工件,如A2L、ARXML、MDX。
通過(guò)附帶的ASCET SDK對(duì)您的過(guò)程進(jìn)行擴(kuò)展(例如,將您自己的過(guò)程編碼插入ASCET靜態(tài)分析引擎中)。
-
嵌入式
+關(guān)注
關(guān)注
5086文章
19142瀏覽量
305979 -
接口
+關(guān)注
關(guān)注
33文章
8626瀏覽量
151351 -
編碼
+關(guān)注
關(guān)注
6文章
945瀏覽量
54861 -
C代碼
+關(guān)注
關(guān)注
1文章
89瀏覽量
14321
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論