日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

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

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

3天內不再提示

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

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

掃碼添加小助手

加入工程師交流群

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

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

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

關鍵特性

建模

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

pYYBAGKdZ9-ABJlSAAEAUW58a9M928.png

如圖所示,有四種規(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,進行系統(tǒng)的自動化測試。

自動代碼生成

手動編寫代碼需要額外的工作來防止錯誤,并使其符合標準和編碼準則。有了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)分析引擎中)。

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

    關注

    5210

    文章

    20700

    瀏覽量

    337694
  • 接口
    +關注

    關注

    33

    文章

    9609

    瀏覽量

    157698
  • 編碼
    +關注

    關注

    6

    文章

    1041

    瀏覽量

    57170
  • C代碼
    +關注

    關注

    1

    文章

    90

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    高質量RAG系統(tǒng)的五個核心設計要點

    檢索增強生成(Retrieval-Augmented Generation, RAG)已成為構建大模型應用的標準架構。然而,大多數RAG系統(tǒng)在設計初期會因為忽略核心設計原則而在實際部署中暴露嚴重問題。本文從工程實踐角度出發(fā),梳理高質量RAG系統(tǒng)的5個核心設計要點。
    的頭像 發(fā)表于 04-24 14:42 ?216次閱讀

    鴻利智匯核心參編助力照明行業(yè)高質量發(fā)展

    近日,人力資源社會保障部正式頒布《燈具設計師》國家職業(yè)標準(2026年版)。鴻利智匯集團股份有限公司作為核心參編單位深度參與標準研制全過程,以行業(yè)龍頭擔當,助力照明行業(yè)人才培育與高質量發(fā)展。
    的頭像 發(fā)表于 04-14 15:38 ?310次閱讀

    嵌入式C語言高質量編程:從“能用”到“卓越”的跨越

    只有掌握了嵌入式C硬核的技術,才能夠鑄就工業(yè)級高質量代碼。
    的頭像 發(fā)表于 03-13 10:18 ?258次閱讀
    嵌入式<b class='flag-5'>C</b>語言<b class='flag-5'>高質量</b>編程:從“能用”到“卓越”的跨越

    廣電計量榮獲番禺區(qū)高質量發(fā)展企業(yè)服務先進集體

    2月26日,緊隨全省、全市“新春第一會”的腳步,廣州市番禺區(qū)高質量發(fā)展大會在龍沙港召開。大會深入貫徹落實省、市高質量發(fā)展大會部署要求,以“奮力實施第二個‘萬畝千億’產業(yè)攻城拔寨,工商并舉打造番禺先進
    的頭像 發(fā)表于 02-28 16:46 ?1962次閱讀

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

    2月26日,廣汽集團2026年高質量發(fā)展大會在番禺總部召開。會議全面?zhèn)鬟_貫徹省市高質量發(fā)展大會精神,系統(tǒng)部署2026年高質量發(fā)展重點工作,動員全體干部員工以“開工即開戰(zhàn)、起步即沖刺”的奮斗姿態(tài),奮力
    的頭像 發(fā)表于 02-28 14:34 ?763次閱讀

    C語言安全編碼指南:MISRA C、CERT C、CWE 與 C Secure 標準對比與Perforce QAC應用詳解

    如何編寫真正安全的C語言代碼?指南涵蓋MISRA C、CERT、CWE等國際安全編碼標準對比,以及如何借助Perforce QAC自動檢測漏
    的頭像 發(fā)表于 01-26 17:38 ?1164次閱讀
    <b class='flag-5'>C</b>語言安全編碼指南:<b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>、CERT <b class='flag-5'>C</b>、CWE 與 <b class='flag-5'>C</b> Secure <b class='flag-5'>標準</b>對比與Perforce QAC應用詳解

    天合光能亮相2025光伏產業(yè)高質量發(fā)展與技術標準論壇

    10月23日-24日,中國電子技術標準化研究院與中國光伏行業(yè)協會在新疆昌吉聯合主辦“光伏產業(yè)高質量發(fā)展與技術標準論壇”,聚焦光伏電池組件質量提升、技術
    的頭像 發(fā)表于 10-29 09:16 ?853次閱讀
    天合光能亮相2025光伏產業(yè)<b class='flag-5'>高質量</b>發(fā)展與技術<b class='flag-5'>標準</b>論壇

    PCBA工程師必看:高質量BOM的5個‘隱形規(guī)則’

    一站式PCBA加工廠家今天為大家講講PCBA加工中高質量BOM要求有哪些?PCBA加工中高質量BOM的5大核心要素。在PCBA加工中,高質量的物料清單(BOM)是保障生產零失誤的核心工
    的頭像 發(fā)表于 10-17 09:18 ?1247次閱讀

    標貝科技參編《人工智能高質量數據集建設指南》

    聯盟數據委員會共同發(fā)布《人工智能高質量數據集建設指南》,旨在為業(yè)界建設高質量數據集提供有實操價值的指導和參考。標貝科技深度參與指南的編制工作,將產業(yè)實踐經驗轉化為標準框架,為行業(yè)洞察與產業(yè)實踐貢獻專業(yè)力量
    的頭像 發(fā)表于 09-11 17:19 ?1056次閱讀

    索尼重載設備的高質量遠程制作方案和應用(2)

    索尼的遠程制作可以被稱之為制作級的高質量遠程制作,或重載設備的高質量遠程制作,遠程設備結合常規(guī)系統(tǒng)設備,提供和本地制作類似的制作級高質量圖像,延續(xù)電視臺/制作公司的設備特點和優(yōu)勢。
    的頭像 發(fā)表于 08-21 15:56 ?1459次閱讀
    索尼重載設備的<b class='flag-5'>高質量</b>遠程制作方案和應用(2)

    索尼重載設備的高質量遠程制作方案和應用(1)

    最近的各地體育活動中,索尼提供了多種產品和系統(tǒng)方案進行測試和使用,其中將攝像機用于轉播場地的集中式遠程制作方式是常用方式。索尼專業(yè)解決方案突出制作級質量的優(yōu)勢,具有圖像高質量,低碼率,低延時特點,能提供不一樣的高質量遠程制作。
    的頭像 發(fā)表于 08-21 15:55 ?1120次閱讀
    索尼重載設備的<b class='flag-5'>高質量</b>遠程制作方案和應用(1)

    大模型時代,如何推進高質量數據集建設?

    高質量數據集,即具備高價值、高密度、標準化特征的數據集合。 在AI領域,高質量數據集地位舉足輕重,如同原油經煉化成為汽油驅動汽車,海量原始數據需轉化為高質量數據集,才能助力大模型精準掌
    的頭像 發(fā)表于 08-21 13:58 ?1033次閱讀

    從芯片到主板,科技創(chuàng)新實現高質量發(fā)展

    數字化時代,科技的迅猛發(fā)展深刻影響著各個領域。從芯片到主板的集成,生動展現了科技創(chuàng)新如何成為推動高質量發(fā)展的核心動力。
    的頭像 發(fā)表于 07-26 16:26 ?1025次閱讀

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

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

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

    Helix QAC 2025.1新增功能 Helix QAC 2025.1實現了對新版MISRA C:2025?標準的 100% 覆蓋,并提供對應的合規(guī)模塊。此版本還擴展了對 CERT C
    的頭像 發(fā)表于 05-13 16:48 ?1639次閱讀
    Helix QAC 2025.1 重磅發(fā)布!<b class='flag-5'>MISRA</b> <b class='flag-5'>C</b>:2025? 100%覆蓋
    玉龙| 长葛市| 新野县| 页游| 和顺县| 葫芦岛市| 汾西县| 镇宁| 涿州市| 双辽市| 梁平县| 武穴市| 阜城县| 石柱| 深州市| 留坝县| 广昌县| 云安县| 周至县| 洛扎县| 白沙| 洞头县| 顺平县| 昌邑市| 邵武市| 韩城市| 徐水县| 余江县| 肥西县| 白河县| 陵水| 兴隆县| 通州区| 平塘县| 五常市| 牡丹江市| 商水县| 麟游县| 成都市| 师宗县| 南昌市|