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

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

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

一關鍵特性

建模

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

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

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

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

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

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

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

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

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

驗證

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

內置單元測試框架。

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

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

ASCET-DEVELOPER模型可以與支持FMI標準的外部工具中的模型一起模擬，通過FMU導出或在MATLAB/Simulink中通過函數傳輸進行連接。

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

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

二自動代碼生成

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

符合MISRA標準的高質量生產C代碼。

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

可追溯到您的ASCET-DEVELOPER模型

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

定點代碼生成

通過將ASCET-DEVELOPER模型映射到AUTOSAR結構來生成AUTOSAR代碼。

快速重用現有的ASCET-DEVELOPER模型，并通過自定義選項為不同目標生成代碼

*自定義回調到設備特定的算術、插值或服務庫。

*編譯器的內存指令

*可在編譯或生成時解析的條件代碼和數據結構。

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

三工具鏈集成

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

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

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

* 安裝在不同廠商如STM、ARM提供的現有eclipse嵌入式工作臺內

*為多個目標建模和生成代碼，在同一個IDE中構建并調試

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

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

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

ASCET基礎簡介

如何創(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定標

變量定標的介紹

如何使用“Representations”進行定標

定點代碼生成

如何通過PC仿真發(fā)現定標設置問題

ASCET狀態(tài)機

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

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

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

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

ASCET方框圖建模

方框圖建模的深入介紹

SystemLib的使用

ASCET聯合仿真

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

仿真時序的設置

EE使用的深入：導入外部數據源作為激勵信號

在EE中確認聯合仿真的結果

ASCET數組

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

數組求和

數組求平均數

在EE中進行PC仿真確認結果

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

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