推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

车规计算芯片的功能安全软件开发流程与单元测试方法.docx

更新时间:2026-09-18 15:29:45 大小:38K 上传用户:烟雨查看TA发布的资源 标签:ISO 26262V模型功能安全单元测试需求追溯矩阵 下载积分:2分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

车规计算芯片的功能安全软件开发流程与单元测试方法

一、功能安全软件开发流程

车规计算芯片的功能安全软件开发遵循ISO 26262-6定义的严格流程。V模型是标准的开发框架——左侧为自上向下的需求分解与设计:系统安全需求软件安全需求软件架构设计软件单元设计;右侧为自下向上的验证与集成:软件单元测试软件集成测试软件安全验证系统安全验证。V模型的每一环节都有明确的输入输出和评审要求。

需求管理的核心是 需求追溯矩阵(RTMRequirements Traceability MatrixRTM从系统级安全需求出发,追溯每条需求被分解到哪些软件模块、在哪些测试用例中被验证、以及验证结果的引用位置。RTM的完整性是功能安全审计的重点之一——任何一条安全需求若无法追溯到对应的测试用例和验证结果,将被视为不符合项。

二、代码编写规范与静态分析

车规芯片的嵌入式软件编写遵循MISRA C/C++编码规范。MISRA定义了数百条强制性(Required)和建议性(Advisory)的编码规则——例如禁止使用动态内存分配中的malloc/free(规则20-4-2)、禁止使用setjmp/longjmp非局部跳转(规则20-7-0)、禁止递归函数调用(规则17-2-1)。这些规则从编码层面消除常见的软件缺陷和安全隐患。

静态分析工具(如PC-lintQACCoverity)在每次代码提交时自动运行,检查代码是否符合MISRA规则集。不符合项分为三类——规则违反(Rule Violation)、编码风格错误(Style Issue)和潜在缺陷(Potential Defect)。ASIL-D开发要求所有规则违反必须归零——任何MISRA强制性规则的违反都需要偏差申请(Deviation Request),说明违反原因并验证安全性不受影响。


部分文件列表

文件名 大小
117-车规计算芯片的功能安全软件开发流程与单元测试方法.docx 38K

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单
  • 21下载积分 打赏60.00元   3天前

    用户:gsy幸运

  • 21下载积分 打赏70.00元   3天前

    用户:铁蛋锅

  • 21下载积分 打赏65.00元   3天前

    用户:xzxbybd

  • 21下载积分 打赏60.00元   3天前

    用户:jh0355

  • 21下载积分 打赏60.00元   3天前

    用户:w178191520

  • 21下载积分 打赏20.00元   3天前

    用户:jh03551

  • 21下载积分 打赏20.00元   3天前

    用户:sun2152

  • 21下载积分 打赏20.00元   3天前

    用户:kk1957135547

  • 21下载积分 打赏25.00元   3天前

    用户:w1966891335

  • 21下载积分 打赏20.00元   3天前

    用户:xuzhen1

  • 21下载积分 打赏15.00元   3天前

    用户:x15580286248

  • 21下载积分 打赏25.00元   3天前

    用户:pcb

  • 21下载积分 打赏20.00元   3天前

    用户:bhacker

  • 21下载积分 打赏15.00元   3天前

    用户:liqiang9090

  • 21下载积分 打赏25.00元   3天前

    用户:有理想666

  • 21下载积分 打赏15.00元   3天前

    用户:godbox

  • 21下载积分 打赏15.00元   3天前

    用户:aetek

  • 21下载积分 打赏5.00元   3天前

    用户:mulanhk

  • 21下载积分 打赏5.00元   3天前

    用户:JuneLin61

推荐下载