基于Eclipse的嵌入式軟件圖形化建模開發(fā)集成環(huán)境

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

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認證。

一關(guān)鍵特性

建模

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

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

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

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

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

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

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

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

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

驗證

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

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

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

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

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

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

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

二自動代碼生成

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

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

對用戶來說，代碼的可讀性很強

可追溯到您的ASCET-DEVELOPER模型

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

定點代碼生成

通過將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中無縫集成流程工具。

*通過本機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對您的過程進行擴展(例如，將您自己的過程編碼插入ASCET靜態(tài)分析引擎中)。

ASCET基礎(chǔ)簡介

如何創(chuàng)建一個ASCET project

ASCET Project組成部分：方框圖，esdl文本

手把手創(chuàng)建一個簡單的ASCET功能模塊 “Limiter”

ASCET建模的基本步驟及注意事項

ASCET特征曲線范例

如何在ASCET中創(chuàng)建特征曲線 (curve)

全局變量的使用方式 (message)

如何使用PC仿真測試環(huán)境EE (Experiment environment)

在EE環(huán)境中創(chuàng)建和使用信號源 (Signal Generator)

ASCET定標(biāo)

變量定標(biāo)的介紹

如何使用“Representations”進行定標(biāo)

定點代碼生成

如何通過PC仿真發(fā)現(xiàn)定標(biāo)設(shè)置問題

ASCET狀態(tài)機

如何在ASCET中創(chuàng)建狀態(tài)機 (state machine)

狀態(tài)機建模的基本步驟及注意事項

手把手創(chuàng)建一個簡單的狀態(tài)機 “SOCstate”

如何在一個ASCET模塊中調(diào)用狀態(tài)機

ASCET方框圖建模

方框圖建模的深入介紹

SystemLib的使用

ASCET聯(lián)合仿真

連接多個靜態(tài)class進行聯(lián)合仿真

仿真時序的設(shè)置

EE使用的深入：導(dǎo)入外部數(shù)據(jù)源作為激勵信號

在EE中確認聯(lián)合仿真的結(jié)果

ASCET數(shù)組

如何在ASCET中創(chuàng)建數(shù)組 (array)

數(shù)組求和

數(shù)組求平均數(shù)

在EE中進行PC仿真確認結(jié)果

原文標(biāo)題：ASCET-DEVELOPER加快安全高效的嵌入式軟件開發(fā)

文章出處：【微信公眾號：ETAS易特馳】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。