在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

ASCET-DEVELOPER符合MISRA標準高質量生產C代碼

科技綠洲 ? 來源:ETAS易特馳 ? 作者:ETAS易特馳 ? 2022-06-06 10:35 ? 次閱讀

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

pYYBAGKdZ9-ABJlSAAEAUW58a9M928.png

如圖所示,有四種規范供您選擇:

使用方框圖的圖形規范

使用狀態機編輯器的圖形規范

使用ESDL編輯器的文本規范

使用C代碼編輯器的文本規范

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

動態靜態分析,即時反饋建模錯誤或違規行為

通過綜合質量指標創建可維護模型

驗證

根據不同的開發周期階段,ASCET-DEVELOPER為有效和全面地測試模型提供了不同的可能性:

內置單元測試框架。

使用ETAS實驗環境進行PC模擬仿真。

測試執行中的模型覆蓋和分析,包括語句、分支、狀態、轉換和修改的條件決策(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靜態分析引擎中)。

審核編輯:彭靜
聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 嵌入式
    +關注

    關注

    5141

    文章

    19537

    瀏覽量

    315139
  • 接口
    +關注

    關注

    33

    文章

    8949

    瀏覽量

    153219
  • 編碼
    +關注

    關注

    6

    文章

    967

    瀏覽量

    55507
  • C代碼
    +關注

    關注

    1

    文章

    90

    瀏覽量

    14680
收藏 人收藏

    評論

    相關推薦
    熱點推薦

    Helix QAC 2025.1 重磅發布!MISRA C:2025? 100%覆蓋

    Helix QAC 2025.1新增功能 Helix QAC 2025.1實現了對新版MISRA C:2025?標準的 100% 覆蓋,并提供對應的合規模塊。此版本還擴展了對 CERT C
    的頭像 發表于 05-13 16:48 ?187次閱讀
    Helix QAC 2025.1 重磅發布!<b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025? 100%覆蓋

    MISRA C:2025新標準解析:新增規則、優化點與靜態代碼分析工具支持(Perforce QAC、Klocwork)

    MISRA C:2025?發布!新增5條規則,并對部分現有規則進行了擴展、重組,以進一步簡化安全關鍵型系統的開發流程。如何實現最新MISRA合規性?
    的頭像 發表于 05-08 17:58 ?571次閱讀
    <b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025新<b class='flag-5'>標準</b>解析:新增規則、優化點與靜態<b class='flag-5'>代碼</b>分析工具支持(Perforce QAC、Klocwork)

    電動工具EMC測試整改:邁向高質量生產的必由之路

    深圳南柯電子|電動工具EMC測試整改:邁向高質量生產的必由之路
    的頭像 發表于 02-27 09:37 ?325次閱讀
    電動工具EMC測試整改:邁向<b class='flag-5'>高質量</b><b class='flag-5'>生產</b>的必由之路

    廣汽集團召開高質量發展大會

    春回大地,萬象更新。近兩日廣東省、廣州市聚焦“建設現代化產業體系”主題,相繼召開“新春第一會”——高質量發展大會,吹響奮進號角。廣汽集團黨委書記、董事長馮興亞作為省市重點產業高質量發展代表參加會議,與產學研各界代表共聚一堂,共繪廣東、廣州
    的頭像 發表于 02-07 10:18 ?493次閱讀

    電動工具EMC測試整改:邁向高質量生產的必經之路

    深圳南柯電子|電動工具EMC測試整改:邁向高質量生產的必經之路
    的頭像 發表于 01-14 14:29 ?414次閱讀
    電動工具EMC測試整改:邁向<b class='flag-5'>高質量</b><b class='flag-5'>生產</b>的必經之路

    芯導科技榮獲上市公司高質量發展大會“科技創新獎”

    ,芯導科技(股票代碼:688230.SH)長期以來堅持高質量發展,憑借在科技創新、企業治理、市場表現等方面的綜合指標,榮獲“科技創新獎”。 本次大會以“資本+科創+產業”的生態圈構建為核心議題,由新華社上海證券報主辦,吸引了來自政、
    的頭像 發表于 12-28 16:26 ?704次閱讀

    華為臨沂攜手共筑新質生產高質量發展

    以“數智臨沂 華為共創”為主題的華為臨沂新質生產力暨數字經濟高質量發展會議成功舉辦。會議在山東省大數據局、臨沂市人民政府的指導下,由臨沂市大數據局、臨沂沂河新區管理委員會、華為技術有限公司聯合主辦,由臨沂市工業互聯網協會、臨沂市大數據協會共同協辦。
    的頭像 發表于 11-18 11:41 ?703次閱讀

    立洋光電助力城市照明高質量發展

    為促進湖南省照明行業向高端化、智能化、綠色化產業升級,湖南省城鄉建設行業協會照明分會在長沙隆重舉行了2023年湖南省照明行業年會暨“創新驅動、以新質生產力賦能城市照明高質量發展”技術交流活動。
    的頭像 發表于 10-22 10:49 ?657次閱讀

    中興通訊引領5G-A高質量發展新紀元

    中國5G商用5周年之際,以“智聯未來 無限可能”為主題的2024移動通信高質量發展論壇在北京舉辦。本屆論壇系統呈現總結我國移動通信,特別是5G產業自身高質量發展和引領數字經濟高質量發展的成果和經驗,展望5G-A、6G協同創新發展
    的頭像 發表于 10-15 10:32 ?938次閱讀

    C2000? MISRA-C策略

    電子發燒友網站提供《C2000? MISRA-C策略.pdf》資料免費下載
    發表于 10-11 11:43 ?0次下載
    <b class='flag-5'>C</b>2000? <b class='flag-5'>MISRA-C</b>策略

    揭秘高質量點焊機的五大標準:打造焊接性能的基石

    在現代工業生產領域,點焊機的重要性不言而喻。高質量的點焊機如同一位技藝精湛的工匠,確保了不同材料間的牢固連接,其出色的焊接性能、穩定的工作狀態和用戶友好的操作界面,已經獲得了業界的高度評價。那么
    的頭像 發表于 09-12 15:26 ?908次閱讀
    揭秘<b class='flag-5'>高質量</b>點焊機的五大<b class='flag-5'>標準</b>:打造焊接性能的基石

    embOS的MISRA-C:2012一致性

    MISRA C是汽車工業軟件可靠性協會(MISRA)開發的一套針對C編程語言的軟件開發指南,目的是提升嵌入式系統的安全性和可移植性。2012發布的M
    的頭像 發表于 08-20 11:35 ?806次閱讀

    whitepaper-perforce-what-is-misra

    如果您熟悉嵌入式軟件的世界,您可能聽說過安全關鍵系統的MISRA編碼準則和合規性。最初為在汽車嵌入式軟件行業,MISRA C for CC
    發表于 08-08 15:54 ?0次下載

    DevOps中的質量門工作原理,以及靜態代碼分析Klocwork和Perforce Helix QAC在質量門中的實踐應用

    如何使用靜態代碼分析工具(如Klocwork 和 Helix QAC)實現質量門。 什么是質量門? 質量門是在IT或開發項目中實施的檢查點,這些檢查點要求在進入下一個開發階段之前達到最
    的頭像 發表于 07-29 15:12 ?788次閱讀

    Perforce靜態代碼分析專家解讀MISRA C++:2023?新標準:如何安全、高效地使用基于范圍的for循環,防范未定義行

    MISRA C++:2023——MISRA? C++ 標準的下一個版本來了!為了幫助您了解 MISRA
    的頭像 發表于 06-18 12:57 ?695次閱讀
    主站蜘蛛池模板: 男人操女人免费 | 在线免费成人 | 人人天天夜夜 | 三级毛片在线 | 欧美深深色噜噜狠狠yyy | 岛国毛片 | 国产性夜夜春夜夜爽 | 日本天堂影院 | 性色在线视频精品 | 特黄特黄 | 亚洲第一精品夜夜躁人人爽 | 天天操一操 | 国内精品网站 | 日韩欧美卡通动漫在线观看 | 婷婷丁香在线 | 久操视频在线播放 | 色偷偷视频 | 国色天香网在线 | 在线视频免费观看 | 69一级毛片 | 久久6免费视频 | 看免费视频 | 亚洲不卡在线播放 | 99久久免费精品视频 | 亚州免费一级毛片 | xxx亚洲日本 | 色天天综合色天天看 | 2345成人高清毛片 | 色网站视频| 特黄特色大片免费视频大全 | 国产紧缚jvid | china3p单男精品自拍 | 久久精品国产精品亚洲红杏 | 99色亚洲 | 毛片多多 | 人人揉揉香蕉大青草 | 上海一级毛片 | 日操夜操天天操 | 欧美精品色精品一区二区三区 | 国产资源在线免费观看 | 加勒比在线免费视频 |