国产chinesehdxxxx老太婆,办公室玩弄爆乳女秘hd,扒开腿狂躁女人爽出白浆 ,丁香婷婷激情俺也去俺来也,ww国产内射精品后入国产

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

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

3天內(nèi)不再提示

ASCET-DEVELOPER符合MISRA標準高質(zhì)量生產(chǎn)C代碼

科技綠洲 ? 來源:ETAS易特馳 ? 作者:ETAS易特馳 ? 2022-06-06 10:35 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

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è)標準,如MISRA、OSEK、ASAM、AUTOSAR和FMI。生成的代碼符合MISRA-C:2012標準,滿足安全、安全性和便攜性方面的最高標準,通過ISO26262 ASIL-D和IEC61508-SIL3 TüV認證。

關(guān)鍵特性

建模

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

pYYBAGKdZ9-ABJlSAAEAUW58a9M928.png

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

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

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

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

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

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

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

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

驗證

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

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

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

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

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

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

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

自動代碼生成

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

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

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

可追溯到您的ASCET-DEVELOPER模型

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

定點代碼生成

通過將ASCET-DEVELOPER模型映射到AUTOSAR結(jié)構(gòu)來生成AUTOSAR代碼。

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

*自定義回調(diào)到設(shè)備特定的算術(shù)、插值或服務(wù)庫。

*編譯器的內(nèi)存指令

*可在編譯或生成時解析的條件代碼和數(shù)據(jù)結(jié)構(gòu)。

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

工具鏈集成

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

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

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

* 安裝在不同廠商如STM、ARM提供的現(xiàn)有eclipse嵌入式工作臺內(nèi)

*為多個目標建模和生成代碼,在同一個IDE中構(gòu)建并調(diào)試

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

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

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

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

    關(guān)注

    5152

    文章

    19675

    瀏覽量

    317606
  • 接口
    +關(guān)注

    關(guān)注

    33

    文章

    9005

    瀏覽量

    153762
  • 編碼
    +關(guān)注

    關(guān)注

    6

    文章

    969

    瀏覽量

    55781
  • C代碼
    +關(guān)注

    關(guān)注

    1

    文章

    90

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

    相關(guān)推薦
    熱點推薦

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

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

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

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

    MISRA C:2025新標準解析:新增規(guī)則、優(yōu)化點與靜態(tài)代碼分析工具支持(Perforce QAC、Klocwork)

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

    電動工具EMC測試整改:邁向高質(zhì)量生產(chǎn)的必由之路

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

    廣汽集團召開高質(zhì)量發(fā)展大會

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

    電動工具EMC測試整改:邁向高質(zhì)量生產(chǎn)的必經(jīng)之路

    深圳南柯電子|電動工具EMC測試整改:邁向高質(zhì)量生產(chǎn)的必經(jīng)之路
    的頭像 發(fā)表于 01-14 14:29 ?519次閱讀
    電動工具EMC測試整改:邁向<b class='flag-5'>高質(zhì)量</b><b class='flag-5'>生產(chǎn)</b>的必經(jīng)之路

    芯導(dǎo)科技榮獲上市公司高質(zhì)量發(fā)展大會“科技創(chuàng)新獎”

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

    華為臨沂攜手共筑新質(zhì)生產(chǎn)高質(zhì)量發(fā)展

    以“數(shù)智臨沂 華為共創(chuàng)”為主題的華為臨沂新質(zhì)生產(chǎn)力暨數(shù)字經(jīng)濟高質(zhì)量發(fā)展會議成功舉辦。會議在山東省大數(shù)據(jù)局、臨沂市人民政府的指導(dǎo)下,由臨沂市大數(shù)據(jù)局、臨沂沂河新區(qū)管理委員會、華為技術(shù)有限公司聯(lián)合主辦,由臨沂市工業(yè)互聯(lián)網(wǎng)協(xié)會、臨沂市大數(shù)據(jù)協(xié)會共同協(xié)辦。
    的頭像 發(fā)表于 11-18 11:41 ?768次閱讀

    立洋光電助力城市照明高質(zhì)量發(fā)展

    為促進湖南省照明行業(yè)向高端化、智能化、綠色化產(chǎn)業(yè)升級,湖南省城鄉(xiāng)建設(shè)行業(yè)協(xié)會照明分會在長沙隆重舉行了2023年湖南省照明行業(yè)年會暨“創(chuàng)新驅(qū)動、以新質(zhì)生產(chǎn)力賦能城市照明高質(zhì)量發(fā)展”技術(shù)交流活動。
    的頭像 發(fā)表于 10-22 10:49 ?724次閱讀

    中興通訊引領(lǐng)5G-A高質(zhì)量發(fā)展新紀元

    中國5G商用5周年之際,以“智聯(lián)未來 無限可能”為主題的2024移動通信高質(zhì)量發(fā)展論壇在北京舉辦。本屆論壇系統(tǒng)呈現(xiàn)總結(jié)我國移動通信,特別是5G產(chǎn)業(yè)自身高質(zhì)量發(fā)展和引領(lǐng)數(shù)字經(jīng)濟高質(zhì)量發(fā)展的成果和經(jīng)驗,展望5G-A、6G協(xié)同創(chuàng)新發(fā)展
    的頭像 發(fā)表于 10-15 10:32 ?1056次閱讀

    C2000? MISRA-C策略

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

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

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

    embOS的MISRA-C:2012一致性

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

    whitepaper-perforce-what-is-misra

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

    DevOps中的質(zhì)量門工作原理,以及靜態(tài)代碼分析Klocwork和Perforce Helix QAC在質(zhì)量門中的實踐應(yīng)用

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