MISRA C 解读

news2024/9/20 8:58:22

说明:本文由vector官方视频整理而来,原视频链接解读MISRA C_哔哩哔哩_bilibili

1、MISRA 简介

1.1 发起

MISRA (The Motor Industry Software Reliability Association ) 汽车工业软件可靠性联会,起先作为研究车载嵌入式软件制备准则的开发项目,发源于上世纪90年代初期由英国政府资助的“SafelT”计划。其在1994年发布的《Development Guidelines for Vehicle based Software》,作为行业共识收录入IEC61508的首个针对汽车工业的基础解读。在英国政府资助撤出后,MISRA由汽车制造商、零部件供应商和工程咨询公司进行协作,先后推出MISRA C(初版发布于1998年)和MISRA C++(发行于2008年),成为嵌入式编程领域普遍接受的编程标准

1.2 经营

MISRA由指导委员会来负责经营,该委员会成员包括Bentley Motors,Delphi,Ford,MIRA,PeterJesty,Ricardo p,Visteon,ZF。2021年(MSRA为独立的非营利团体,接受MISRA ConsortiumLimted的管理

1.3 MISRA与ISO 26262,AUTOSAR的关系

ISO 26262-6:2018 Part 6: Product development at the software level 引述MISRAC:2012

AUTOSAR 4.3 General Software Specification要求,如果BSW模块实现采用C语言编程,则须遵循MISRAC:2012标准

1.4 版本

1.5为什么要使用MISRA C标准

C语言的缺点来自于其优点。

2、MISRA C指南介绍

2.1概览

2.2 两种规则类型

2.3 三种规则类别

2.4 规则可判定

2.5 两种作用域类型

单元测试使用

系统测试使用

3、MISRA C 规则解读示例

3.1 Rule1.1

3.2 Rule3.2

3.3 Rule9.1

3.4 Rule10.5

4、补充内容

4.1为什么要使用MISRA C标准

4.2 可以配合MISRA C规则进行检查的工具

4.3 可以配合MISRA C规则进行检查的编译器

Green Hills软件

IAR系统

keil 系统

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1366370.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

FFmpeg读取Assets资源文件

在Android开发中我们经常把原生资源文件放在assets目录下以供需要时读取,通过API提供的resources.assets.open(filename)/openFd(filenam)方法可以非常方便获得InputStream或FileDescriptor(文件标识符),但是在使用FFmpeg读取Asse…

CTF-PWN-沙箱逃脱-【seccomp和prtcl-1】

文章目录 啥是seccomp#ifndef #define #endif使用使用格式 seccomp无参数条件禁用系统调用有参数条件禁用系统调用 prctl实例 seccomp_export_bpf 啥是seccomp 就是可以禁用掉某些系统调用,然后只能允许某些系统调用 #ifndef #define #endif使用 #ifndef #defin…

Neo4j恢复

主要记录从备份文件中恢复Neo4j 误删数据 为了模拟误删除场景,我们查询Person,并模拟误操作将其进行删除; match(p:Person) return p Step1: 关闭服务 Step2: 恢复数据 找到Neo4j的数据文件夹,我的安…

Linux第18步_安装“Ubuntu系统下的C语言编GCC译器”

Ubuntu系统没有提供C/C的编译环境,因此还需要手动安装build-essential软件包,它包含了 GNU 编辑器,GNU 调试器,和其他编译软件所必需的开发库和工具。本节用于重点介绍安装“Ubuntu系统下的C语言编译器GCC”和使用。 1、在安装前…

矢量,矢量化的梯度下降以及多元线性回归

一、矢量 定义:按照特定顺序排列的元素集合。可以被视为一维数组。 在机器学习中的作用: 特征表示:在机器学习任务中,输入数据通常以矢量的形式表示。例如,图像可以表示为像素值的矢量,文本可以表示为词…

CodeGPT,你的智能编码助手—CSDN出品

CodeGPT是由CSDN打造的一款生成式AI产品,专为开发者量身定制。 无论是在学习新技术还是在实际工作中遇到的各类计算机和开发难题,CodeGPT都能提供强大的支持。其涵盖的功能包括代码优化、续写、解释、提问等,还能生成精准的注释和创作相关内…

springCould中的gateway-从小白开始【9】

目录 1.🍟网关是什么 2.🍿gateway是什么 3.🥚gateway能什么 4.🌭核心概念 5.🧂工作流程 6.🧈实例 7.🥓gateway网关配置的方式 8.🍳配置动态路由 9.🧇pred…

软件开发和网络安全哪个更好找工作?

为什么今年应届毕业生找工作这么难? 有时间去看看张雪峰今年为什么这么火就明白了。 这么多年人才供给和需求错配的问题,在经济下行的今年,集中爆发。 供给端,大学生越来越多。需求端,低端工作大家不愿去,高…

springboot集成cas客户端

Background 单点登录SSO(Single Sign ON),指在多个应用系统中,只需登录一次,即可在多个应用系统之间共享登录。统一身份认证CAS(Central Authentication Service)是SSO的开源实现,利用CAS实现SSO可以很大程…

年销5万的岚图没有爆款

作者 | 辰纹 来源 | 洞见新研社 3款车一年卖了5万台,这个销量不算多,可对于岚图来说,却很不容易,CEO卢放称这是“一场翻身仗”,在写给全体员工的“家信”中表达谢意,称是“大家的团结奋斗,驱动…

代码随想录刷题题Day28

刷题的第二十八天,希望自己能够不断坚持下去,迎来蜕变。😀😀😀 刷题语言:C Day28 任务 ● 343. 整数拆分 ● 96.不同的二叉搜索树 1 整数拆分 343. 整数拆分 思路: 动态规划 (1&a…

jenkins通过流水线自动部署项目(k8s部署)

参考:https://www.cnblogs.com/rb2010/p/16195443.html docker 拉取镜像到本地: docker pull docker.io/jenkins/jenkins:2.164配置卷挂载:使用nfs 参考:https://www.kuboard.cn/learning/k8s-intermediate/persistent/nfs.htm…

软考通过率真的低吗?

软考通过lv确实相对较低。软考通过lv低的原因主要有以下几点👇 ✅软考本身是计算机类别的考试,考试难度本身不小。 ✅报考没有条件限制,报考的人水平参差。弃考和零基础考生较多。 ✅不同的科目通过lv有所差异,初级的大致在30%&am…

如何将 element-ui 中的 el-select 默认展开

<el-form-item label"藕粉桂花糖糕" prop"state" required><el-selectref"mySelect"v-model"form.state"style"width: 280px"placeholder"请选择"><el-option label"藕粉" :value"…

二分查找(二)

点名 点名 某班级 n 位同学的学号为 0 ~ n-1。点名结果记录于升序数组 records。假定仅有一位同学缺席&#xff0c;请返回他的学号。 二分法思路&#xff1a;判断数组的值和对应的下标是否相等&#xff0c;将数组分为两个区间&#xff0c;不相等区间的最左端&#xff0c;就是…

java⽇志体系

⽇志体系 1.体系概述2.日志的使用1.上古时代的sout2.开创先驱的log4j3.搞事情的JUL4.应运⽽⽣的JCL5.再起波澜的logback6.再度⻘春的log4j2 本篇在jdk21下测试通过 1.体系概述 1.日志接口 JCL&#xff1a;Apache基⾦会所属的项⽬&#xff0c;是⼀套Java⽇志接⼝&#xff0c;之…

视频做成二维码查看?多格式视频二维码生成器的使用方法

现在音视频是工作和生活中经常需要使用的一种内容表现形式&#xff0c;很多人都通过这种方式来查看视频内容&#xff0c;比如产品介绍、使用说明、安装教程等。通过一个二维码就可以来承载视频内容&#xff0c;与传统的方式相比拥有更快的内容传播速度&#xff0c;简化用户获取…

[蓝桥杯学习] 线段树

学习blibli 定义 线段树是一种特殊的平衡二叉查找树&#xff0c;使用线段树&#xff0c;可以实现数据的添加、查找和删除。 树的根结点表示了一个完整的单元区间&#xff0c;左右孩子的区间是将父结点的区间进行二分&#xff0c;左右孩子的区间之和&#xff0c;就是他们的根…

三菱plc学习入门(二,三菱plc指令,触点比较,计数器,交替,四则运算,转换数据类型)

今天&#xff0c;进行总结对plc的学习&#xff0c;下面是对plc基础的学习&#xff0c;希望对读者有帮助&#xff0c;欢迎点赞&#xff0c;评论&#xff0c;收藏&#xff01;&#xff01;&#xff01; 目录 触点比较 当数据太大了的时候&#xff08;LDD32位&#xff09; CMP比…

@Transactional注解的一个很容易被忽略的错误用法

Transactional注解的一个很容易被忽略的错误用法 今日审查代码时发现对Transactional注解的一个如下用法&#xff1a; //StockController.javaAutoWired private StockService stockService//商品出库 PostMapping("/product/stock/out-stock") public Boolean pro…