国产精品久久久aaaa,日日干夜夜操天天插,亚洲乱熟女香蕉一区二区三区少妇,99精品国产高清一区二区三区,国产成人精品一区二区色戒,久久久国产精品成人免费,亚洲精品毛片久久久久,99久久婷婷国产综合精品电影,国产一区二区三区任你鲁

電子發燒友App

硬聲App

掃碼添加小助手

加入工程師交流群

搜索歷史

清空
搜索熱詞
      0
      • 聊天消息
      • 系統消息
      • 評論與回復
      VIP于 到期 續費
      登錄后你可以
      • 下載海量資料
      • 學習在線課程
      • 觀看技術視頻
      • 寫文章/發帖/加入社區
      會員中心
      創作中心
      發布
      創作活動

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

      3天內不再提示
      電子發燒友網>電子資料下載>傳感與控制>如何使用GCC實現支持MISRA-C的安全編譯器的資料概述

      如何使用GCC實現支持MISRA-C的安全編譯器的資料概述

      2018-11-07 | rar | 0.40 MB | 次下載 | 免費

      資料介紹

      　　MISRA-C是基于C89標準抽取出的安全C語言子集，已經逐漸成為安全關鍵嵌入式領域的軟件編碼標準。作為在嵌入式領域被廣泛使用的編譯器，GCC并沒有針對任何安全子集規范做系統惶的語法和語義檢查，不能幫助軟件開發者盡早發現軟件存在的安全隱患。本文基于GCC設計和實現了支持MISRA-C：2004安全子集規范的安全編譯器CCRG-SC．在實現中，將MISRA-C的規則分為6類，提出了每類規則在GCC中的實現方法，并以tag相關規則為例介紹了具體的檢測算法。采用CCRG-SC編譯嵌入式操作系統弘C／OS，能夠檢測出違反MISR小C：2004安全子集規范的代碼。

      　　嵌人式軟件已廣泛應用于航空航天、武器控制系統等安全關鍵領域。這些領域的實時性、安全關鍵等需求，要求嵌入式軟件具有高可信性［1］，即高可靠性、安全性、保密性、生存性和容錯性。目前，大多數嵌入式軟件都采用C語言編寫，但是C語言并非專門為嵌入式軟件設計，沒有針對嵌人式環境的安全性、可靠性的特殊要求做任何語法語義上的特殊約定，導致其中部分語法語義的使用會降低軟件可信性。為了防止開發者使用這些可能導致安全隱患的語法語義，國內外普遍采用抽取C語言安全子集的方法，即在開發安全攸關軟件的過程中只能使用C語言的一個安全子集。

      C語言 GCC 編譯器
      加入交流群
      微信小助手二維碼

      掃碼添加小助手

      加入工程師交流群

      下載該資料的人也在下載 下載該資料的人還在閱讀
      更多 >

      評論

      查看更多

      下載排行

      本周

      1. 12EDL05x06xx系列 600V半橋門驅動器帶集成自舉二極管(BSD)手冊
      2. 0.69 MB   |  1次下載  |  免費
      3. 2AT817晶體管光耦系列
      4. 1.86 MB  |  次下載  |  免費
      5. 3國產千兆網口芯片PT153S中文資料
      6. 1.35 MB   |  次下載  |  免費
      7. 4壓力容器焊接手冊
      8. 6.47 MB   |  次下載  |  2 積分
      9. 5PC1501 18V雙通道負載開關和低壓差線性穩壓器中文資料
      10. 13.90 MB   |  次下載  |  免費
      11. 6PC1502 18V_1A負載開關電路中文資料
      12. 13.40 MB   |  次下載  |  免費
      13. 7FP7135V060-G1/FP7125替代物料pin to pin
      14. 495.40 KB  |  次下載  |  免費
      15. 8PAW3311DB光學鼠標導航傳感器數據手冊
      16. 3.20 MB   |  次下載  |  2 積分

      本月

      1. 1美的電磁爐電路原理圖資料
      2. 4.39 MB   |  16次下載  |  10 積分
      3. 2SW6238V ACCC 三 PD 四口多協議移動電源 SOC規格書
      4. 0.59 MB   |  5次下載  |  1 積分
      5. 3反激式開關電源設計解析
      6. 0.89 MB   |  4次下載  |  5 積分
      7. 4IP6742_datasheet_100V8A 同步 BUCK 控制器
      8. 2.16 MB  |  3次下載  |  免費
      9. 5IP5365支持3路 Type-C、UFCS、PD3.0等全部快充協議的移動電源SOC規格書
      10. 3.38 MB   |  1次下載  |  1 積分
      11. 6簡易光伏控制器原理圖資料
      12. 0.07 MB   |  1次下載  |  5 積分
      13. 72EDL05x06xx系列 600V半橋門驅動器帶集成自舉二極管(BSD)手冊
      14. 0.69 MB   |  1次下載  |  免費
      15. 8CDx4HC74 具有清零和預設功能的雙路D類正邊沿觸發的觸發器數據表
      16. 1.45 MB   |  次下載  |  免費

      總榜

      1. 1matlab軟件下載入口
      2. 未知  |  935137次下載  |  10 積分
      3. 2開源硬件-PMP21529.1-4 開關降壓/升壓雙向直流/直流轉換器 PCB layout 設計
      4. 1.48MB  |  420064次下載  |  10 積分
      5. 3Altium DXP2002下載入口
      6. 未知  |  233094次下載  |  10 積分
      7. 4電路仿真軟件multisim 10.0免費下載
      8. 340992  |  191448次下載  |  10 積分
      9. 5十天學會AVR單片機與C語言視頻教程 下載
      10. 158M  |  183360次下載  |  10 積分
      11. 6labview8.5下載
      12. 未知  |  81605次下載  |  10 積分
      13. 7Keil工具MDK-Arm免費下載
      14. 0.02 MB  |  73829次下載  |  10 積分
      15. 8LabVIEW 8.6下載
      16. 未知  |  65991次下載  |  10 積分