ASIL或“汽车软件完整性级别”是一个由ISO 26262标准定义的风险分类方案。ISO 26262是一个扩展的IEC 61508功能安全标准的电气、电子、可编程电子安全相关系统。
ISO 26262标准定义了四个ASIL级别:ASIL, ASIL B, ASIL C, ASIL D ASIL D完整性要求产品和ASIL最高最低的。
遵循ISO 26262要求,您可以使用一个认证设备,例如,IEC MathWorks提出的认证工具包。独立选举委员会认证组件允许您:
- 使用认证工具,Polyspace推荐工作流验证代码。
- 获得认证的信用。
独立选举委员会认证组件包括:
- 工具合格工件、证书和测试套件
- 学分Polyspace使用
- 建议的流程
除了工具资格,独立选举委员会认证工具包也有助于保证源代码(但只有一个子集的需求从标准)。如果你使用Polyspace分析源代码,您可以使用IEC认证工具包中的文档实现相关需求以下活动:
- MISRA-C合规
- 没有运行时错误
- 没有终止调用和循环
- 没有不合理的代码
- 数据流分析
- 任何先前项目的缺陷分类,临界和地位。
来进行这次认证的源代码,使用SQO(软件质量目标)IEC认证工具包提供的文件如下:
1。安装独立选举委员会认证工具包。
安装完成后,你可以在这里找到所有需要的工件:
C:\Program Files\MATLAB\ \工具箱\ qualkits \ iec
这个文件夹包含工具合格工件、证书和测试套件,并生成矩阵的可跟踪性。
2。定位SQO文档。
bugfinder和codeprover子文件夹包含SQO文档(certkitiec_bugfinder_sqo。pdf和certkitiec_codeprover_sqo.pdf)提供ISO 26262之间的一个映射方法和软件质量要求(SQR-s)。为简单起见,需求分为软件质量目标(或SQO水平1 - 6)的水平。Polyspace产品可以直接用来执行各种SQO级别。s manbetx 845
3所示。使用SQO文档中的表选择一个SQO水平1到6取决于你想要达到的ASIL水平。
例如,如果您使用的是释放R2021b IEC认证工具包,您可以组合来自certkitiec_codeprover_sqo中以下三个表的信息。pdf挑选SQO级别:
- 表页25起ISO 26262标准的映射方法(ISO 26262 - 6:2018)软件质量需求(前面定义的文档)。
- 表29页将软件质量需求分为SQO水平。
- 页表30起地图ISO 26262标准推荐的方法为每个ASIL SQO水平水平。
取决于你想要达到的ASIL水平,用表来选择一个用于Polyspace SQO水平产品。s manbetx 845注意,30页的表只是一个建议,你可以自由决定哪些ISO 26262的方法实现对每个ASIL水平。“+”表示方法建议ASIL水平和“+ +”表示强烈建议。
在执行与Polyspace SQO水平的更多信息,见:
