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

電子發燒友App

硬聲App

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

完善資料讓更多小伙伴認識你,還能領取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語言的一個安全子集。

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

評論

查看更多

下載排行

本周

  1. 1TC358743XBG評估板參考手冊
  2. 1.36 MB  |  330次下載  |  免費
  3. 2開關電源基礎知識
  4. 5.73 MB  |  11次下載  |  免費
  5. 3100W短波放大電路圖
  6. 0.05 MB  |  4次下載  |  3 積分
  7. 4嵌入式linux-聊天程序設計
  8. 0.60 MB  |  3次下載  |  免費
  9. 5DIY動手組裝LED電子顯示屏
  10. 0.98 MB  |  3次下載  |  免費
  11. 6基于FPGA的C8051F單片機開發板設計
  12. 0.70 MB  |  2次下載  |  免費
  13. 751單片機PM2.5檢測系統程序
  14. 0.83 MB  |  2次下載  |  免費
  15. 8基于51單片機的RGB調色燈程序仿真
  16. 0.86 MB  |  2次下載  |  免費

本月

  1. 1OrCAD10.5下載OrCAD10.5中文版軟件
  2. 0.00 MB  |  234315次下載  |  免費
  3. 2555集成電路應用800例(新編版)
  4. 0.00 MB  |  33566次下載  |  免費
  5. 3接口電路圖大全
  6. 未知  |  30323次下載  |  免費
  7. 4開關電源設計實例指南
  8. 未知  |  21549次下載  |  免費
  9. 5電氣工程師手冊免費下載(新編第二版pdf電子書)
  10. 0.00 MB  |  15349次下載  |  免費
  11. 6數字電路基礎pdf(下載)
  12. 未知  |  13750次下載  |  免費
  13. 7電子制作實例集錦 下載
  14. 未知  |  8113次下載  |  免費
  15. 8《LED驅動電路設計》 溫德爾著
  16. 0.00 MB  |  6656次下載  |  免費

總榜

  1. 1matlab軟件下載入口
  2. 未知  |  935054次下載  |  免費
  3. 2protel99se軟件下載(可英文版轉中文版)
  4. 78.1 MB  |  537797次下載  |  免費
  5. 3MATLAB 7.1 下載 (含軟件介紹)
  6. 未知  |  420027次下載  |  免費
  7. 4OrCAD10.5下載OrCAD10.5中文版軟件
  8. 0.00 MB  |  234315次下載  |  免費
  9. 5Altium DXP2002下載入口
  10. 未知  |  233046次下載  |  免費
  11. 6電路仿真軟件multisim 10.0免費下載
  12. 340992  |  191186次下載  |  免費
  13. 7十天學會AVR單片機與C語言視頻教程 下載
  14. 158M  |  183279次下載  |  免費
  15. 8proe5.0野火版下載(中文版免費下載)
  16. 未知  |  138040次下載  |  免費