介绍了Misra C中关于C编码规范要求,适合安全性要求较高行业嵌入式软件开发。
上传时间: 2017-03-09
上传用户:wweqas
Misra c guide lines 98
上传时间: 2017-05-07
上传用户:BIBI
嵌入式系统应用工程师借用计算机专家创建的C语言,使嵌入式系统应用得以飞速发展,而MisraC是嵌入式系统应用工程师对C语言嵌入式应用做 出的贡献。如今Misra C已经被越来越多的企业接受,成为用于嵌入式系统的C语言标准,特别是对安全性要求极高的嵌入式系统,软件应符合Misra标准。 本文由清华嵌入式系统研究专家,邵贝贝教授领衔执笔,分六讲,跟读者一起学习MisraC。 第一讲:“‘安全第一’的C语言编程规范”,简述MisraC的概况。 第二讲:“跨越数据类型的重重陷阱”,介绍规范的数据定义和操作方式,重点在隐式数据类型转换中的问题。 第三讲:“指针、结构体、联合体的安全规范”,解析如何安全而高效地应用指针、结构体和联合体。 第四讲:“防范表达式的失控”,剖析MisraC中关于表达式、函数声明和定义等的不良使用习惯,最大限度地减小各类潜在错误。 第五讲:“准确的程序流控制”,表述C语言中控制表达式和程序流控制的规范做法。 第六讲:“构建安全的编译环境”,讲解与编译器相关的规范编写方式,避免来自编译器的隐患。 希望大家喜欢。
上传时间: 2013-12-27
上传用户:franktu
一个不错的编程规范,Misra C在嵌入式开发领域很有名气
标签: 编程规范
上传时间: 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.
标签: programming specifies document language
上传时间: 2013-12-11
上传用户:cursor
该函数库是一个固件函数包,它由程序、数据结构和宏组成,包括了微控制器所有外设的性能特征。该函数库还包括每一个外设的驱动描述和应用实例。通过使用本固件函数库,无需深入掌握细节,用户也可以轻松应用每一个外设。因此,使用本固态函数库可以大大减少用户的程序编写时间,进而降低开发成本。 每个外设驱动都由一组函数组成,这组函数覆盖了该外设所有功能。每个器件的开发都由一个通用 API(application programming interface 应用编程界面)驱动,API 对该驱动程序的结构,函数和参数名称都进行了标准化。 所有的驱动源代码都符合“Strict ANSI-C”标准(项目于范例文件符合扩充 ANSI-C 标准)。我们已经把驱动源代码文档化,他们同时兼容 Misra-C 2004 标准(根据需要,我们可以提供兼容矩阵)。由于整个固态函数库按照“Strict ANSI-C”标准编写,它不受不同开发环境的影响。仅对话启动文件取决于开发环境。
上传时间: 2021-12-09
上传用户:
本手册介绍了 32 位基于 ARM 微控制器 STM32F101xx 与 STM32F103xx 的固件函数库。该函数库是一个固件函数包,它由程序、数据结构和宏组成,包括了微控制器所有外设的性能特征。该函数库还包括每一个外设的驱动描述和应用实例。通过使用本固件函数库,无需深入掌握细节,用户也可以轻松应用每一个外设。因此,使用本固态函数库可以大大减少用户的程序编写时间,进而降低开发成本。每个外设驱动都由一组函数组成,这组函数覆盖了该外设所有功能。每个器件的开发都由一个通用 API(application programming interface 应用编程界面)驱动, API 对该驱动程序的结构,函数和参数名称都进行了标准化。 所有的驱动源代码都符合“Strict ANSI-C”标准(项目于范例文件符合扩充 ANSI-C 标准)。我们已经把驱动源代码文档化,他们同时兼容 Misra-C 2004 标准(根据需要,我们可以提供兼容矩阵)。由于整个固态函数库按照“Strict ANSI-C”标准编写,它不受不同开发环境的影响。仅对话启动文件取决于开发环境。该固态函数库通过校验所有库函数的输入值来实现实时错误检测。该动态校验提高了软件的鲁棒性。实时检测适合于用户应用程序的开发和调试。但这会增加了成本,可以在最终应用程序代码中移去,以优化代码大小和执行速度。想要了解更多细节,请参阅 Section 2.5。 因为该固件库是通用的,并且包括了所有外设的功能,所以应用程序代码的大小和执行速度可能不是最优的。对大多数应用程序来说,用户可以直接使用之,对于那些在代码大小和执行速度方面有严格要求的应用程序,该固件库驱动程序可以作为如何设置外设的一份参考资料,根据实际需求对其进行调整。
上传时间: 2022-04-17
上传用户:
本手册介绍了32位基于ARM微控制器STM32F101xx与STM32F103xx的固件函数库。该函数库是一个固件函数包,它由程序、数据结构和宏组成,包括了微控制器所有外设的性能特征。该函数库还包括每一个外设的驱动描述和应用实例。通过使用本固件函数库,无需深入掌握细节,用户也可以轻松应用每一个外设。因此,使用本固态函数库可以大大减少用户的程序编写时间,进而降低开发成本。每个外设驱动都由一组函数组成,这组函数覆盖了该外设所有功能。每个器件的开发都由一个通用API (application programming interface 应用编程界面)驱动,API对该驱动程序的结构,函数和参数名称都进行了标准化。所有的驱动源代码都符合“Strict ANSI-C”标准(项目于范例文件符合扩充ANSI-C标准)。我们已经把驱动源代码文档化,他们同时兼容Misra-C 2004标准(根据需要,我们可以提供兼容矩阵)。由于整个固态函数库按照“Strict ANSI-C”标准编写,它不受不同开发环境的影响。仅对话启动文件取决于开发环境。该固态函数库通过校验所有库函数的输入值来实现实时错误检测。该动态校验提高了软件的鲁棒性。实时检测适合于用户应用程序的开发和调试。但这会增加了成本,可以在最终应用程序代码中移去,以优化代码大小和执行速度。
上传时间: 2022-04-26
上传用户:
本手册介绍了32位基于ARM微控制器STM32F101xx与STM32F103xx的固件函数库。该函数库是一个固件函数包,它由程序、数据结构和宏组成,包括了微控制器所有外设的性能特征。该函数库还包括每一个外设的驱动描述和应用实例。通过使用本固件函数库,无需深入掌握细节,用户也可以轻松应用每一个外设。因此,使用本固态函数库可以大大减少用户的程序编写时间,进而降低开发成本。每个外设驱动都由一组函数组成,这组函数覆盖了该外设所有功能。每个器件的开发都由一个通用AR(application prograrmming interface应用编程界面)驱动,AP1对该驱动程序的结构,函数和参数名称都进行了标准化。所有的驱动源代码都符合“StrictANS/-C'标准(项目于范例文件符合扩充ANSI-C标准)。我们已经把驱动源代码文档化,他们同时兼容Misra-C2004标准(根据需要,我们可以提供兼容矩阵)。由于整个固态函数库按照“StrictANSS-C'标准编写,它不受不同开发环境的影响。仅对话启动文件取决于开发环境。
标签: stm32
上传时间: 2022-07-28
上传用户:ttalli
VIP专区-嵌入式/单片机编程源码精选合集系列(2)资源包含以下内容:1. 用C进行嵌入式开发的一个完整的面向中级用户的讨论.2. 一个免费的嵌入式操作系统。.3. MSP430f149上LCD显示的程序.4. msp430 falsh自编程.5. MSP430浮点库.6. tcpip堆栈.7. 图像编码.8. 熟悉非常简单CPU模拟器 1、将所给模拟器的源程序编译成执行程序。 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的源码实现.19. 嵌入式系统.20. PALM PDB文件阅读器源代码.21. IRDA 1.0 标准协议源代码.22. cygnal 源代码.23. AD7708数据采集软件.24. uc/gui的使用说明文档.25. 嵌入式操作系统文档.26. UCL compress and decompress tool, very useful for embedded system.27. AD芯片TLC2543的转换例程。.28. 44b0x开发板使用教程源码.29. 用c++编写嵌入式多任务操作系统.30. 嵌入式系统开发圣经.31. Misra C Compliance Matrix.32. C for Embedded Systems.33. 这是关于LCD常识的资料.34. 这是一篇关于RS-485接口应用的文章.35. 嵌入式系统讲义幻灯片课件.36. 这是一个在WindowsCE 环境下访问Sql 数据库的源代码.37. 这是一个在WindowsCE 环境下进行图形绘制的源程序。.38. 单片RS232-PPP/TCP/IP协议转换模块.39. Nucleus 使用说明.40. 该工程是从ecos嵌入式系统下移植过来的一个小型的fat16文件系统.
上传时间: 2013-04-15
上传用户:eeworm