首頁 > 技術文章 > 车规级 | ISO26262关于验证的要求

MK(体育科技有限公司)体育·官方网站·(中国区)MK(体育科技有限公司)体育·官方网站-kg体育官网

点击次数:2806 更新时间:2023-02-23
驗證的基本形式

        验证是ISO26262中关于成果认可最重要的环节PG(官方电子平台)有限公司-China直营官方网站。

        ISO26262对验证(Verification)的定义是检查对象是否满足特定的要求九游会·J9-中国官方网站|真人游戏第一品牌,验证的形式包括了验证评审(verification review)、走查(walk-through)球盟会·qmh(中国区)-官方网站PG(官方电子平台)有限公司-China直营官方网站,检查(inspection)、验证测试(verification testing)、模拟仿真(simulation)、原型机验证(prototyping)和分析(analysis包括安全分析、控制流程分析、数据流分析等等)XC·sports-官网下载官方版(中国)官方网站。

        从验证本身的系统性和正式程度从小到大排序九游会·J9-中国官方网站|真人游戏第一品牌意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光beat·365(中文)-唯一官方认证网站,验证的各个形式可以排为检查、走查、模拟仿真、原型机验证、分析、验证评审XC·sports-官网下载官方版(中国)官方网站。

2f2e66cc4f98b1d99c6f320b9ae56a13.png

        验证在功能安全活动不同阶段的对象也有差异XC·sports-官网下载官方版(中国)官方网站,比如在产品概念提出阶段意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光杏宇注册登录-平台官网XC·sports-官网下载官方版(中国)官方网站,验证的对象主要为:依据危害风险评估导出的安全目标以及根据安全目标定义的功能安全概念意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,如场景危害识别是否适用、相关性定义是否正确、是否与其他相关项定义的危害和风险评估一致、危害事件是否覆盖实际应用等意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光beat·365(中文)-唯一官方认证网站。如意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光kg体育·(中国China)官方网站U8国际·科技赋能场景,更省心娱乐,在产品开发阶段意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,验证主要是针对硬件设计的架构九游会·J9-中国官方网站|真人游戏第一品牌意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,验证其需求规范、架构设计、模型或代码是否符合安全要求U8国际·科技赋能场景,更省心娱乐XC·sports-官网下载官方版(中国)官方网站。

9b2d52fe1dcfb386c6e98f49136e0f5b.png



驗證的基本程序

        验证以建立验证计划作为开始意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光U8国际「强保障平台,让娱乐更有趣!」,如上述的产品各个开发阶段的验证都是从验证计划开始的PG(官方电子平台)有限公司-China直营官方网站九游会·J9-中国官方网站|真人游戏第一品牌杏宇注册登录-平台官网。

驗證計劃要包括

        1)所需验证的对象:组成待验证的成果清单PG(官方电子平台)有限公司-China直营官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光U8国际「强保障平台,让娱乐更有趣!」,要考虑成果的复杂性XC·sports-官网下载官方版(中国)官方网站,进行适当的拆分;

        2)针对每个待验证的成果U8国际「强保障平台,让娱乐更有趣!」杏宇注册登录-平台官网,确定相应的验证目的kg体育·(中国China)官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,确定验证目的时要充分借鉴前期的验证经验九游会·J9-中国官方网站|真人游戏第一品牌U8国际「强保障平台,让娱乐更有趣!」,如维修的历史数据、已经使用的经历等U8国际·科技赋能场景,更省心娱乐XC·sports-官网下载官方版(中国)官方网站,这可以指导验证目的和制定的验证方法的剪裁;

        3)对工作成果采用什么样的验证方法beat·365(中文)-唯一官方认证网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光U8国际「强保障平台,让娱乐更有趣!」,评审/检查/走查/测试/仿真/分析PG(官方电子平台)有限公司-China直营官方网站XC·sports-官网下载官方版(中国)官方网站U8国际「强保障平台,让娱乐更有趣!」,验证方法最终要细化为“验证规范"作为验证支持依据XC·sports-官网下载官方版(中国)官方网站,同时要保证验证方法是充分的球盟会·qmh(中国区)-官方网站,必要时要进行几种验证形式的组合;

        4)如果采用的是测试或者模拟作为验证方法XC·sports-官网下载官方版(中国)官方网站U8国际·科技赋能场景,更省心娱乐,则要明确验证的环境和验证所需的设备球盟会·qmh(中国区)-官方网站PG(官方电子平台)有限公司-China直营官方网站,要充分考虑验证技术的成熟度球盟会·qmh(中国区)-官方网站XC·sports-官网下载官方版(中国)官方网站beat·365(中文)-唯一官方认证网站,不能采用的未经过经验证明有效性的方法和设备进行验证;

        5)分配验证资源;

        6)验证过程中出现异常时球盟会·qmh(中国区)-官方网站kg体育·(中国China)官方网站,明确应该采取或建议采取的闭环活动;

        7)对于哪些已经经过验证后XC·sports-官网下载官方版(中国)官方网站,进行了变更的成果九游会·J9-中国官方网站|真人游戏第一品牌U8国际·科技赋能场景,更省心娱乐,制定回归策略kg体育·(中国China)官方网站U8国际「强保障平台,让娱乐更有趣!」,即对验证计划的剪裁(是部分重复验证beat·365(中文)-唯一官方认证网站杏宇注册登录-平台官网,还是全部重复验证)杏宇注册登录-平台官网。

        对于验证方法的细化就形成了验证规范杏宇注册登录-平台官网意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光beat·365(中文)-唯一官方认证网站,验证规范最需要细化的是测试用例U8国际·科技赋能场景,更省心娱乐杏宇注册登录-平台官网。

00a74f52b222bd81ebcb81e5bc961ac4.png

測試用例應具有

        1)测试用例的识别性U8国际「强保障平台,让娱乐更有趣!」U8国际·科技赋能场景,更省心娱乐XC·sports-官网下载官方版(中国)官方网站,即该测试应用到哪项成果球盟会·qmh(中国区)-官方网站beat·365(中文)-唯一官方认证网站,什么目的验证;

        2)测试用例针对的是哪个版本的工作成果;

        3)对验证目标采用何种预处理或配置杏宇注册登录-平台官网,比如将MCU应用在什么场景下意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光九游会·J9-中国官方网站|真人游戏第一品牌杏宇注册登录-平台官网,配置什么功能或系统XC·sports-官网下载官方版(中国)官方网站U8国际「强保障平台,让娱乐更有趣!」,如果对于通用型的要素beat·365(中文)-唯一官方认证网站九游会·J9-中国官方网站|真人游戏第一品牌kg体育·(中国China)官方网站,其会在很多场合应用PG(官方电子平台)有限公司-China直营官方网站杏宇注册登录-平台官网kg体育·(中国China)官方网站,则需将要素置于一种通用的(覆盖多种应用场景的)条件下进行验证;

        4)环境条件beat·365(中文)-唯一官方认证网站,就是与测试过程或模拟过程相关的物理条件kg体育·(中国China)官方网站,比如温度杏宇注册登录-平台官网意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光。

        5)验证过程中要监测的行为PG(官方电子平台)有限公司-China直营官方网站kg体育·(中国China)官方网站,比如输出数据U8国际·科技赋能场景,更省心娱乐kg体育·(中国China)官方网站beat·365(中文)-唯一官方认证网站,可接受的范围九游会·J9-中国官方网站|真人游戏第一品牌kg体育·(中国China)官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,时间或容差的特性XC·sports-官网下载官方版(中国)官方网站,测试时需要考核前后数据的变化趋势XC·sports-官网下载官方版(中国)官方网站U8国际「强保障平台,让娱乐更有趣!」,就需要对初始值进行明确的定义;有可能存在不同的测试用例下U8国际·科技赋能场景,更省心娱乐九游会·J9-中国官方网站|真人游戏第一品牌球盟会·qmh(中国区)-官方网站,会存在多种预处理、配置或环境条件和规范XC·sports-官网下载官方版(中国)官方网站,这时候可以采用一种明确能覆盖多种测试用例的验证配置进行验证意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光PG(官方电子平台)有限公司-China直营官方网站beat·365(中文)-唯一官方认证网站。

        6)测试通过和不通过的判据PG(官方电子平台)有限公司-China直营官方网站kg体育·(中国China)官方网站。

測試用例可以根據測試設備和測試環境、邏輯和時序關系、所利用的資源進行分組U8国际「强保障平台,让娱乐更有趣!」,比如對于可以分爲回歸測試用例或者完整的測試用例U8国际·科技赋能场景,更省心娱乐。

        验证要求第二/三方验证XC·sports-官网下载官方版(中国)官方网站,即不能用工作成果的完成人进行验证九游会·J9-中国官方网站|真人游戏第一品牌。验证完成后要对验证的结果进行评估意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光PG(官方电子平台)有限公司-China直营官方网站。

驗證結果評估需包括

        1)評估驗證的成果是不是ONLY的;

        2)评估验证计划和验证规范的完整性和适用性;

        3)评估验证过程中所用到的环境配置、验证工具及标定数据是否符合要求;

        4)评估验证结果与预期结果的一致性;

        5)综合给出验证通过或不通过XC·sports-官网下载官方版(中国)官方网站球盟会·qmh(中国区)-官方网站PG(官方电子平台)有限公司-China直营官方网站,并对于不通过的给出具体的理由以及整改建议;

        6)如果存在验证过程未按照验证计划或规范执行U8国际·科技赋能场景,更省心娱乐PG(官方电子平台)有限公司-China直营官方网站,需要给出理由U8国际·科技赋能场景,更省心娱乐。

        单一层级的验证杏宇注册登录-平台官网九游会·J9-中国官方网站|真人游戏第一品牌,比如只针对开发的硬件进行功能、性能等安全性的评估U8国际「强保障平台,让娱乐更有趣!」XC·sports-官网下载官方版(中国)官方网站,并不能提供硬件满足安全要求的充分证据PG(官方电子平台)有限公司-China直营官方网站XC·sports-官网下载官方版(中国)官方网站,比如:硬件与其他接口兼容性、硬件与其他已有硬件的匹配性、硬件对整车安全的贡献性、硬件开发的种种假设证明的有效性等等九游会·J9-中国官方网站|真人游戏第一品牌意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,这些都无法单独在硬件验证的层面进行评估PG(官方电子平台)有限公司-China直营官方网站。

        因此PG(官方电子平台)有限公司-China直营官方网站,为充分评估开发硬件的功能安全kg体育·(中国China)官方网站U8国际「强保障平台,让娱乐更有趣!」,往往要通过将硬件与软件、其他要素、系统甚至整车集成起来XC·sports-官网下载官方版(中国)官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,按照“验证原型机测试"的标准去考核意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光XC·sports-官网下载官方版(中国)官方网站PG(官方电子平台)有限公司-China直营官方网站。ISO26262給出集成測試的相關規定九游会·J9-中国官方网站|真人游戏第一品牌U8国际·科技赋能场景,更省心娱乐。

集成與驗證的相關規定

關于集成測試九游会·J9-中国官方网站|真人游戏第一品牌U8国际「强保障平台,让娱乐更有趣!」,某一開發的硬件要通過三個階段集成至整車系統球盟会·qmh(中国区)-官方网站U8国际「强保障平台,让娱乐更有趣!」,完成安全目標的確認PG(官方电子平台)有限公司-China直营官方网站U8国际「强保障平台,让娱乐更有趣!」。

9d97c0246f94b9d2803f884832fa9776.png

7a0fafd05b0ef6276c12bad720f8e4ee.png

       

        但是从集成的难度和所需要的资源的考虑kg体育·(中国China)官方网站XC·sports-官网下载官方版(中国)官方网站九游会·J9-中国官方网站|真人游戏第一品牌,集集成阶段越高杏宇注册登录-平台官网意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光XC·sports-官网下载官方版(中国)官方网站,集成验证的难度越高PG(官方电子平台)有限公司-China直营官方网站球盟会·qmh(中国区)-官方网站U8国际「强保障平台,让娱乐更有趣!」,占用资源越多beat·365(中文)-唯一官方认证网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光U8国际「强保障平台,让娱乐更有趣!」,因此尽可能选择低阶段的集成策略XC·sports-官网下载官方版(中国)官方网站。

        如何选择集成验证的策略:

        1)明确需要验证测试的目标beat·365(中文)-唯一官方认证网站XC·sports-官网下载官方版(中国)官方网站,比如要验证安全机制对传感器的诊断XC·sports-官网下载官方版(中国)官方网站PG(官方电子平台)有限公司-China直营官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,EDC对数据错误的诊断和控制等;

        2)定义这些承载这些测试目标的相关项和测试的要求(预期的行为beat·365(中文)-唯一官方认证网站九游会·J9-中国官方网站|真人游戏第一品牌U8国际「强保障平台,让娱乐更有趣!」,集成的等级)球盟会·qmh(中国区)-官方网站U8国际「强保障平台,让娱乐更有趣!」意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,比如验证开发的硬件与接口的兼容性PG(官方电子平台)有限公司-China直营官方网站,就必须考虑硬件与系统的集成;

        3)确定了测试的目标和承载这些目标的相关项和测试要求U8国际「强保障平台,让娱乐更有趣!」kg体育·(中国China)官方网站,要进行梳理beat·365(中文)-唯一官方认证网站XC·sports-官网下载官方版(中国)官方网站,确保每一条测试的目标都能够进行至少一次地验证beat·365(中文)-唯一官方认证网站,比如某项测试目标无法在软硬件集成阶段进行验证九游会·J9-中国官方网站|真人游戏第一品牌,则需要到系统集成阶段进行验证;

        4)要考虑硬件开发概念阶段是否采用了假设球盟会·qmh(中国区)-官方网站,如SEooC的开发PG(官方电子平台)有限公司-China直营官方网站kg体育·(中国China)官方网站,是基于应用假设为前提的beat·365(中文)-唯一官方认证网站,对这种假设需要在系统XC·sports-官网下载官方版(中国)官方网站,甚至是整车的层面进行集成验证;

        5)如果系统集成时杏宇注册登录-平台官网U8国际「强保障平台,让娱乐更有趣!」,存在多个可能的集成变体U8国际·科技赋能场景,更省心娱乐,即所谓的多配置XC·sports-官网下载官方版(中国)官方网站,那么我们就要充分评估U8国际「强保障平台,让娱乐更有趣!」,在未来整车量产时杏宇注册登录-平台官网球盟会·qmh(中国区)-官方网站U8国际·科技赋能场景,更省心娱乐,可能采用哪些系统配置球盟会·qmh(中国区)-官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光,尽可能地包络这些系统配置(或形成系统的集合)完成系统级的验证PG(官方电子平台)有限公司-China直营官方网站。

1e3067eb40e4b4ee8fb189edde7f44a5.png

        确定目标和相应的集成策略后九游会·J9-中国官方网站|真人游戏第一品牌XC·sports-官网下载官方版(中国)官方网站U8国际·科技赋能场景,更省心娱乐,根据需要选择相对应的方法九游会·J9-中国官方网站|真人游戏第一品牌PG(官方电子平台)有限公司-China直营官方网站kg体育·(中国China)官方网站,ISO26262 part4 第7.4.2-7.4.4给出了三个集成阶段的测试方法beat·365(中文)-唯一官方认证网站PG(官方电子平台)有限公司-China直营官方网站,总体上包括:

A  鉴定式的测试

        1)功能和非功能的测试:对集成硬件的功能和性能对照规格书要求的测试;

        2)内外接口测试:包括模拟beat·365(中文)-唯一官方认证网站杏宇注册登录-平台官网kg体育·(中国China)官方网站,数字输入输出测试、边界测试和等价类测试beat·365(中文)-唯一官方认证网站,评估接口功能兼容性、时序容错性U8国际·科技赋能场景,更省心娱乐XC·sports-官网下载官方版(中国)官方网站。

B  仿真与试验相结合测试

        1)故障注入测试:采用特殊方法向运行中的测试对象注入故障意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光XC·sports-官网下载官方版(中国)官方网站U8国际「强保障平台,让娱乐更有趣!」,如骚扰、错误数据、延迟时序等;

        2)背靠背测试:在具有仿真模型和结果的情况下kg体育·(中国China)官方网站U8国际「强保障平台,让娱乐更有趣!」XC·sports-官网下载官方版(中国)官方网站,采用实际试验对仿真模型和结果的差异进行评估和分析kg体育·(中国China)官方网站beat·365(中文)-唯一官方认证网站九游会·J9-中国官方网站|真人游戏第一品牌。

C  基于经验性测试

        1)错误猜测法测试:类似故障注入法kg体育·(中国China)官方网站,基于专家知识和经验数据预测被测对象可能错在的错误球盟会·qmh(中国区)-官方网站PG(官方电子平台)有限公司-China直营官方网站,然后设计评估方法去检查这些错误;

        2)来自现场经验的测试:直接从使用现场采集的数据九游会·J9-中国官方网站|真人游戏第一品牌PG(官方电子平台)有限公司-China直营官方网站U8国际·科技赋能场景,更省心娱乐,如试车时的运行数据;

3)長期測試:類似來自現場經驗的測試beat·365(中文)-唯一官方认证网站九游会·J9-中国官方网站|真人游戏第一品牌,只是將普通用戶作爲測試者XC·sports-官网下载官方版(中国)官方网站U8国际「强保障平台,让娱乐更有趣!」kg体育·(中国China)官方网站,收集實際使用條件下的數據U8国际·科技赋能场景,更省心娱乐杏宇注册登录-平台官网kg体育·(中国China)官方网站。

D  鲁棒性测试

        1)资源使用测试:对集成系统所能容纳的负载beat·365(中文)-唯一官方认证网站kg体育·(中国China)官方网站,代码球盟会·qmh(中国区)-官方网站意昂体育4凯捷 -〈官方认证〉意昂4凯捷登录即享,美好时光beat·365(中文)-唯一官方认证网站,功率等能力进行测试;

        2)压力测试:测试对象在高负载和恶劣环境下是否能够长期稳定运行的能力进行测试九游会·J9-中国官方网站|真人游戏第一品牌U8国际「强保障平台,让娱乐更有趣!」。



网站地图sitemap