女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

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靜態分析引擎中)。

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

    關注

    5148

    文章

    19643

    瀏覽量

    316979
  • 接口
    +關注

    關注

    33

    文章

    8987

    瀏覽量

    153631
  • 編碼
    +關注

    關注

    6

    文章

    968

    瀏覽量

    55720
  • C代碼
    +關注

    關注

    1

    文章

    90

    瀏覽量

    14753
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    新能源變革之路,要建在“高質量”的路基上

    高質量”是能源革命的前提與基座
    的頭像 發表于 06-24 11:42 ?1620次閱讀
    新能源變革之路,要建在“<b class='flag-5'>高質量</b>”的路基上

    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 ?374次閱讀
    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 ?839次閱讀
    <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 ?389次閱讀
    電動工具EMC測試整改:邁向<b class='flag-5'>高質量</b><b class='flag-5'>生產</b>的必由之路

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

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

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

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

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

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

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

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

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

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

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

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

    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 ?994次閱讀
    揭秘<b class='flag-5'>高質量</b>點焊機的五大<b class='flag-5'>標準</b>:打造焊接性能的基石

    embOS的MISRA-C:2012一致性

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

    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 ?866次閱讀