ASCET-DEVELOPER IDE是一個基于Eclipse的嵌入式軟件圖形化建模開發集成環境。借助ASCET-DEVELOPER,軟件工程師能夠構建高性能、安全、可靠、低開銷且易于維護的嵌入式軟件。
ASCET-DEVELOPER的代碼生成技術已經在大批量生產項目中使用了20多年,并且已經為4.5億個ECU提供動力,應用領域涵蓋底盤控制(如ABS/ESP)、經典和電動動力系統、燃料電池系統、高速列車的制動控制、變速箱控制、駕駛員輔助系統等等。
ASCET-DEVELOPER支持既定的行業標準,如MISRA、OSEK、ASAM、AUTOSAR和FMI。生成的代碼符合MISRA-C:2012標準,滿足安全、安全性和便攜性方面的最高標準,通過ISO26262 ASIL-D和IEC61508-SIL3 TüV認證。
關鍵特性
建模
ASCET-DEVELOPER允許您輕松地結合使用文本和圖形,以滿足您的編程需求。有不同的可能性對您的邏輯進行建模,使您能夠以您喜歡的方式高效地工作。
如圖所示,有四種規范供您選擇:
使用方框圖的圖形規范
使用狀態機編輯器的圖形規范
使用ESDL編輯器的文本規范
使用C代碼編輯器的文本規范
此外,ASCET-DEVELOPER還具有改進模型和代碼質量并提高效率的其他特性:
動態靜態分析,即時反饋建模錯誤或違規行為
通過綜合質量指標創建可維護模型
驗證
根據不同的開發周期階段,ASCET-DEVELOPER為有效和全面地測試模型提供了不同的可能性:
內置單元測試框架。
測試執行中的模型覆蓋和分析,包括語句、分支、狀態、轉換和修改的條件決策(MC/DC)覆蓋率。
ASCET-DEVELOPER模型可以與支持FMI標準的外部工具中的模型一起模擬,通過FMU導出或在MATLAB/Simulink中通過函數傳輸進行連接。
使用ETAS原型解決方案在實時硬件上進行功能原型設計,可在試驗臺或車輛上進行早期、真實的驗證。
ASCET-DEVELOPER還可以無縫對接第三方自動測試工具,例如TPT,進行系統的自動化測試。
自動代碼生成
手動編寫代碼需要額外的工作來防止錯誤,并使其符合標準和編碼準則。有了ASCET-DEVELOPER,你只需要專注于解決問題,其余的都由代碼生成器來完成。它具有以下特點:
符合MISRA標準的高質量生產C代碼。
對用戶來說,代碼的可讀性很強
可追溯到您的ASCET-DEVELOPER模型
自動插入防御性代碼。例子包括:被零除保護、基于類型屬性的飽和限制以及數組類型的索引溢出保護。
定點代碼生成
通過將ASCET-DEVELOPER模型映射到AUTOSAR結構來生成AUTOSAR代碼。
快速重用現有的ASCET-DEVELOPER模型,并通過自定義選項為不同目標生成代碼
*自定義回調到設備特定的算術、插值或服務庫。
*編譯器的內存指令
*可在編譯或生成時解析的條件代碼和數據結構。
*大量資源和運行時性能的優化策略。
工具鏈集成
ASCET-DEVELOPER提供了各種接口和標準化的文件交換格式,使您可以輕松地將工具集成到您的開發過程和工具鏈中。以下功能有助于集成:
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靜態分析引擎中)。
-
嵌入式
+關注
關注
5069文章
19021瀏覽量
303373 -
接口
+關注
關注
33文章
8504瀏覽量
150840 -
編碼
+關注
關注
6文章
935瀏覽量
54765 -
C代碼
+關注
關注
1文章
89瀏覽量
14287
發布評論請先 登錄
相關推薦
評論