91欧美超碰AV自拍|国产成年人性爱视频免费看|亚洲 日韩 欧美一厂二区入|人人看人人爽人人操aV|丝袜美腿视频一区二区在线看|人人操人人爽人人爱|婷婷五月天超碰|97色色欧美亚州A√|另类A√无码精品一级av|欧美特级日韩特级

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

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

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

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

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

掃碼添加小助手

加入工程師交流群

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

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

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

關(guān)鍵特性

建模

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

pYYBAGKdZ9-ABJlSAAEAUW58a9M928.png

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

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

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

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

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

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

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

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

驗(yàn)證

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

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

使用ETAS實(shí)驗(yàn)環(huán)境進(jìn)行PC模擬仿真。

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

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

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

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

自動(dòng)代碼生成

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

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

對用戶來說,代碼的可讀性很強(qiáng)

可追溯到您的ASCET-DEVELOPER模型

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

定點(diǎn)代碼生成

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

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

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

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

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

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

工具鏈集成

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

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

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

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

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

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

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

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

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

    關(guān)注

    5200

    文章

    20511

    瀏覽量

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

    關(guān)注

    33

    文章

    9542

    瀏覽量

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

    關(guān)注

    6

    文章

    1040

    瀏覽量

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

    關(guān)注

    1

    文章

    90

    瀏覽量

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

掃碼添加小助手

加入工程師交流群

    評論

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

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

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

    鴻利智匯榮獲2025年度廣州花都高質(zhì)量發(fā)展“蛟龍榜”科技創(chuàng)新企業(yè)獎(jiǎng)

    日前,廣州市花都區(qū)召開高質(zhì)量發(fā)展大會(huì),認(rèn)真落實(shí)全省、全市高質(zhì)量發(fā)展大會(huì)部署要求,堅(jiān)持以經(jīng)濟(jì)建設(shè)為中心,奮力在“十五五”開局之年展現(xiàn)新作為、拼出新氣象。會(huì)上,花都區(qū)為2025年高質(zhì)量發(fā)展企業(yè)頒發(fā)獎(jiǎng)項(xiàng),鴻利智匯集團(tuán)股份有限公司作為科
    的頭像 發(fā)表于 03-04 14:09 ?331次閱讀

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

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

    廣汽集團(tuán)召開2026年高質(zhì)量發(fā)展大會(huì)

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

    C語言安全編碼指南:MISRA C、CERT C、CWE 與 C Secure 標(biāo)準(zhǔn)對比與Perforce QAC應(yīng)用詳解

    如何編寫真正安全的C語言代碼?指南涵蓋MISRA C、CERT、CWE等國際安全編碼標(biāo)準(zhǔn)對比,以及如何借助Perforce QAC自動(dòng)檢測漏
    的頭像 發(fā)表于 01-26 17:38 ?870次閱讀
    <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'>標(biāo)準(zhǔn)</b>對比與Perforce QAC應(yīng)用詳解

    天合光能亮相2025光伏產(chǎn)業(yè)高質(zhì)量發(fā)展與技術(shù)標(biāo)準(zhǔn)論壇

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

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

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

    標(biāo)貝科技參編《人工智能高質(zhì)量數(shù)據(jù)集建設(shè)指南》

    聯(lián)盟數(shù)據(jù)委員會(huì)共同發(fā)布《人工智能高質(zhì)量數(shù)據(jù)集建設(shè)指南》,旨在為業(yè)界建設(shè)高質(zhì)量數(shù)據(jù)集提供有實(shí)操價(jià)值的指導(dǎo)和參考。標(biāo)貝科技深度參與指南的編制工作,將產(chǎn)業(yè)實(shí)踐經(jīng)驗(yàn)轉(zhuǎn)化為標(biāo)準(zhǔn)框架,為行業(yè)洞察與產(chǎn)業(yè)實(shí)踐貢獻(xiàn)專業(yè)力量
    的頭像 發(fā)表于 09-11 17:19 ?933次閱讀

    索尼重載設(shè)備的高質(zhì)量遠(yuǎn)程制作方案和應(yīng)用(2)

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

    索尼重載設(shè)備的高質(zhì)量遠(yuǎn)程制作方案和應(yīng)用(1)

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

    大模型時(shí)代,如何推進(jìn)高質(zhì)量數(shù)據(jù)集建設(shè)?

    高質(zhì)量數(shù)據(jù)集,即具備高價(jià)值、高密度、標(biāo)準(zhǔn)化特征的數(shù)據(jù)集合。 在AI領(lǐng)域,高質(zhì)量數(shù)據(jù)集地位舉足輕重,如同原油經(jīng)煉化成為汽油驅(qū)動(dòng)汽車,海量原始數(shù)據(jù)需轉(zhuǎn)化為高質(zhì)量數(shù)據(jù)集,才能助力大模型精準(zhǔn)掌
    的頭像 發(fā)表于 08-21 13:58 ?871次閱讀

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

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

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

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

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

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

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

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