介紹了misra C中關(guān)于C編碼規(guī)范要求，適合安全性要求較高行業(yè)嵌入式軟件開發(fā)。
上傳時間： 2017-03-09
上傳用戶：wweqas
misra c guide lines 98
標(biāo)簽： misra guide lines 98
上傳時間： 2017-05-07
上傳用戶：BIBI
嵌入式系統(tǒng)應(yīng)用工程師借用計算機專家創(chuàng)建的C語言，使嵌入式系統(tǒng)應(yīng)用得以飛速發(fā)展，而misraC是嵌入式系統(tǒng)應(yīng)用工程師對C語言嵌入式應(yīng)用做 出的貢獻。如今misra C已經(jīng)被越來越多的企業(yè)接受，成為用于嵌入式系統(tǒng)的C語言標(biāo)準(zhǔn)，特別是對安全性要求極高的嵌入式系統(tǒng)，軟件應(yīng)符合misra標(biāo)準(zhǔn)。 本文由清華嵌入式系統(tǒng)研究專家，邵貝貝教授領(lǐng)銜執(zhí)筆，分六講，跟讀者一起學(xué)習(xí)misraC。 第一講：“‘安全第一’的C語言編程規(guī)范”，簡述misraC的概況。 第二講：“跨越數(shù)據(jù)類型的重重陷阱”，介紹規(guī)范的數(shù)據(jù)定義和操作方式，重點在隱式數(shù)據(jù)類型轉(zhuǎn)換中的問題。 第三講：“指針、結(jié)構(gòu)體、聯(lián)合體的安全規(guī)范”，解析如何安全而高效地應(yīng)用指針、結(jié)構(gòu)體和聯(lián)合體。 第四講：“防范表達式的失控”，剖析misraC中關(guān)于表達式、函數(shù)聲明和定義等的不良使用習(xí)慣，最大限度地減小各類潛在錯誤。 第五講：“準(zhǔn)確的程序流控制”，表述C語言中控制表達式和程序流控制的規(guī)范做法。 第六講：“構(gòu)建安全的編譯環(huán)境”，講解與編譯器相關(guān)的規(guī)范編寫方式，避免來自編譯器的隱患。 希望大家喜歡。
標(biāo)簽： 嵌入式 家 C語言 系統(tǒng)應(yīng)用
上傳時間： 2013-12-27
上傳用戶：franktu
一個不錯的編程規(guī)范，misra C在嵌入式開發(fā)領(lǐng)域很有名氣
標(biāo)簽： 編程規(guī)范
上傳時間： 2016-01-08
上傳用戶：hustfanenze
This document specifies a subset of the C programming language which is intended to be suitable for embedded automotive systems up to and including safety integrity level 3 (as defined in the misra Guidelines). It contains a list of rules concerning the use of the C programming language together with justifications and examples.
標(biāo)簽： programming specifies document language
上傳時間： 2013-12-11
上傳用戶：cursor
該函數(shù)庫是一個固件函數(shù)包，它由程序、數(shù)據(jù)結(jié)構(gòu)和宏組成，包括了微控制器所有外設(shè)的性能特征。該函數(shù)庫還包括每一個外設(shè)的驅(qū)動描述和應(yīng)用實例。通過使用本固件函數(shù)庫，無需深入掌握細(xì)節(jié)，用戶也可以輕松應(yīng)用每一個外設(shè)。因此，使用本固態(tài)函數(shù)庫可以大大減少用戶的程序編寫時間，進而降低開發(fā)成本。 每個外設(shè)驅(qū)動都由一組函數(shù)組成，這組函數(shù)覆蓋了該外設(shè)所有功能。每個器件的開發(fā)都由一個通用 API(application programming interface 應(yīng)用編程界面)驅(qū)動，API 對該驅(qū)動程序的結(jié)構(gòu)，函數(shù)和參數(shù)名稱都進行了標(biāo)準(zhǔn)化。 所有的驅(qū)動源代碼都符合“Strict ANSI-C”標(biāo)準(zhǔn)（項目于范例文件符合擴充 ANSI-C 標(biāo)準(zhǔn)）。我們已經(jīng)把驅(qū)動源代碼文檔化，他們同時兼容 misra-C 2004 標(biāo)準(zhǔn)（根據(jù)需要，我們可以提供兼容矩陣）。由于整個固態(tài)函數(shù)庫按照“Strict ANSI-C”標(biāo)準(zhǔn)編寫，它不受不同開發(fā)環(huán)境的影響。僅對話啟動文件取決于開發(fā)環(huán)境。
上傳時間： 2021-12-09
上傳用戶：
本手冊介紹了 32 位基于 ARM 微控制器 STM32F101xx 與 STM32F103xx 的固件函數(shù)庫。該函數(shù)庫是一個固件函數(shù)包，它由程序、數(shù)據(jù)結(jié)構(gòu)和宏組成，包括了微控制器所有外設(shè)的性能特征。該函數(shù)庫還包括每一個外設(shè)的驅(qū)動描述和應(yīng)用實例。通過使用本固件函數(shù)庫，無需深入掌握細(xì)節(jié)，用戶也可以輕松應(yīng)用每一個外設(shè)。因此，使用本固態(tài)函數(shù)庫可以大大減少用戶的程序編寫時間，進而降低開發(fā)成本。每個外設(shè)驅(qū)動都由一組函數(shù)組成，這組函數(shù)覆蓋了該外設(shè)所有功能。每個器件的開發(fā)都由一個通用 API(application programming interface 應(yīng)用編程界面)驅(qū)動， API 對該驅(qū)動程序的結(jié)構(gòu)，函數(shù)和參數(shù)名稱都進行了標(biāo)準(zhǔn)化。 所有的驅(qū)動源代碼都符合“Strict ANSI-C”標(biāo)準(zhǔn)（項目于范例文件符合擴充 ANSI-C 標(biāo)準(zhǔn)）。我們已經(jīng)把驅(qū)動源代碼文檔化，他們同時兼容 misra-C 2004 標(biāo)準(zhǔn)（根據(jù)需要，我們可以提供兼容矩陣）。由于整個固態(tài)函數(shù)庫按照“Strict ANSI-C”標(biāo)準(zhǔn)編寫，它不受不同開發(fā)環(huán)境的影響。僅對話啟動文件取決于開發(fā)環(huán)境。該固態(tài)函數(shù)庫通過校驗所有庫函數(shù)的輸入值來實現(xiàn)實時錯誤檢測。該動態(tài)校驗提高了軟件的魯棒性。實時檢測適合于用戶應(yīng)用程序的開發(fā)和調(diào)試。但這會增加了成本，可以在最終應(yīng)用程序代碼中移去，以優(yōu)化代碼大小和執(zhí)行速度。想要了解更多細(xì)節(jié)，請參閱 Section 2.5。 因為該固件庫是通用的，并且包括了所有外設(shè)的功能，所以應(yīng)用程序代碼的大小和執(zhí)行速度可能不是最優(yōu)的。對大多數(shù)應(yīng)用程序來說，用戶可以直接使用之，對于那些在代碼大小和執(zhí)行速度方面有嚴(yán)格要求的應(yīng)用程序，該固件庫驅(qū)動程序可以作為如何設(shè)置外設(shè)的一份參考資料，根據(jù)實際需求對其進行調(diào)整。
上傳時間： 2022-04-17
上傳用戶：
本手冊介紹了32位基于ARM微控制器STM32F101xx與STM32F103xx的固件函數(shù)庫。該函數(shù)庫是一個固件函數(shù)包，它由程序、數(shù)據(jù)結(jié)構(gòu)和宏組成，包括了微控制器所有外設(shè)的性能特征。該函數(shù)庫還包括每一個外設(shè)的驅(qū)動描述和應(yīng)用實例。通過使用本固件函數(shù)庫，無需深入掌握細(xì)節(jié)，用戶也可以輕松應(yīng)用每一個外設(shè)。因此，使用本固態(tài)函數(shù)庫可以大大減少用戶的程序編寫時間，進而降低開發(fā)成本。每個外設(shè)驅(qū)動都由一組函數(shù)組成，這組函數(shù)覆蓋了該外設(shè)所有功能。每個器件的開發(fā)都由一個通用API (application programming interface 應(yīng)用編程界面)驅(qū)動，API對該驅(qū)動程序的結(jié)構(gòu)，函數(shù)和參數(shù)名稱都進行了標(biāo)準(zhǔn)化。所有的驅(qū)動源代碼都符合“Strict ANSI-C”標(biāo)準(zhǔn)（項目于范例文件符合擴充ANSI-C標(biāo)準(zhǔn)）。我們已經(jīng)把驅(qū)動源代碼文檔化，他們同時兼容misra-C 2004標(biāo)準(zhǔn)（根據(jù)需要，我們可以提供兼容矩陣）。由于整個固態(tài)函數(shù)庫按照“Strict ANSI-C”標(biāo)準(zhǔn)編寫，它不受不同開發(fā)環(huán)境的影響。僅對話啟動文件取決于開發(fā)環(huán)境。該固態(tài)函數(shù)庫通過校驗所有庫函數(shù)的輸入值來實現(xiàn)實時錯誤檢測。該動態(tài)校驗提高了軟件的魯棒性。實時檢測適合于用戶應(yīng)用程序的開發(fā)和調(diào)試。但這會增加了成本，可以在最終應(yīng)用程序代碼中移去，以優(yōu)化代碼大小和執(zhí)行速度。
上傳時間： 2022-04-26
上傳用戶：
本手冊介紹了32位基于ARM微控制器STM32F101xx與STM32F103xx的固件函數(shù)庫。該函數(shù)庫是一個固件函數(shù)包，它由程序、數(shù)據(jù)結(jié)構(gòu)和宏組成，包括了微控制器所有外設(shè)的性能特征。該函數(shù)庫還包括每一個外設(shè)的驅(qū)動描述和應(yīng)用實例。通過使用本固件函數(shù)庫，無需深入掌握細(xì)節(jié)，用戶也可以輕松應(yīng)用每一個外設(shè)。因此，使用本固態(tài)函數(shù)庫可以大大減少用戶的程序編寫時間，進而降低開發(fā)成本。每個外設(shè)驅(qū)動都由一組函數(shù)組成，這組函數(shù)覆蓋了該外設(shè)所有功能。每個器件的開發(fā)都由一個通用AR（application prograrmming interface應(yīng)用編程界面）驅(qū)動，AP1對該驅(qū)動程序的結(jié)構(gòu)，函數(shù)和參數(shù)名稱都進行了標(biāo)準(zhǔn)化。所有的驅(qū)動源代碼都符合“StrictANS/-C'標(biāo)準(zhǔn)（項目于范例文件符合擴充ANSI-C標(biāo)準(zhǔn)）。我們已經(jīng)把驅(qū)動源代碼文檔化，他們同時兼容misra-C2004標(biāo)準(zhǔn)（根據(jù)需要，我們可以提供兼容矩陣）。由于整個固態(tài)函數(shù)庫按照“StrictANSS-C'標(biāo)準(zhǔn)編寫，它不受不同開發(fā)環(huán)境的影響。僅對話啟動文件取決于開發(fā)環(huán)境。
標(biāo)簽： stm32
上傳時間： 2022-07-28
上傳用戶：ttalli
VIP專區(qū)-嵌入式/單片機編程源碼精選合集系列（2）資源包含以下內(nèi)容：1. 用C進行嵌入式開發(fā)的一個完整的面向中級用戶的討論.2. 一個免費的嵌入式操作系統(tǒng)。.3. MSP430f149上LCD顯示的程序.4. msp430 falsh自編程.5. MSP430浮點庫.6. tcpip堆棧.7. 圖像編碼.8. 熟悉非常簡單CPU模擬器 1、將所給模擬器的源程序編譯成執(zhí)行程序。 2、運行并觀察非常簡單CPU模擬器.9. 單個漢字庫字摸提取程序.10. 軟件紅外線接收程序.11. I2C總線讀寫程序.12. 24C02讀寫程序.13. lcd 測試程序.14. ac97 測試.15. usb 檢驗程序.16. 8位RISC CPU的VERILOG編程 SOURCECODE.17. Verilog DHL教程.18. sdram的verilog的源碼實現(xiàn).19. 嵌入式系統(tǒng).20. PALM PDB文件閱讀器源代碼.21. IRDA 1.0 標(biāo)準(zhǔn)協(xié)議源代碼.22. cygnal 源代碼.23. AD7708數(shù)據(jù)采集軟件.24. uc/gui的使用說明文檔.25. 嵌入式操作系統(tǒng)文檔.26. UCL compress and decompress tool, very useful for embedded system.27. AD芯片TLC2543的轉(zhuǎn)換例程。.28. 44b0x開發(fā)板使用教程源碼.29. 用c++編寫嵌入式多任務(wù)操作系統(tǒng).30. 嵌入式系統(tǒng)開發(fā)圣經(jīng).31. misra C Compliance Matrix.32. C for Embedded Systems.33. 這是關(guān)于LCD常識的資料.34. 這是一篇關(guān)于RS－485接口應(yīng)用的文章.35. 嵌入式系統(tǒng)講義幻燈片課件.36. 這是一個在WindowsCE 環(huán)境下訪問Sql 數(shù)據(jù)庫的源代碼.37. 這是一個在WindowsCE 環(huán)境下進行圖形繪制的源程序。.38. 單片RS232-PPP/TCP/IP協(xié)議轉(zhuǎn)換模塊.39. Nucleus 使用說明.40. 該工程是從ecos嵌入式系統(tǒng)下移植過來的一個小型的fat16文件系統(tǒng).
上傳時間： 2013-04-15
上傳用戶：eeworm
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1
