车规级控制芯片测试方法、装置、设备及存储介质

本申请涉及芯片测试，特别是涉及一种车规级控制芯片测试方法、装置、设备及存储介质。

背景技术：

1、车规级芯片比消费级的技术门槛要求更高，需满足温度、振动、电磁干扰、长使用寿命等要求，还要通过可靠性标准aec-q100，质量管理标准iso/ts 16949，功能安全标准iso26262等严苛的长周期认证。国内许多芯片厂商规模小，想要生产车规级芯片但无法在整车应用中检验芯片性能和实际功能，也无法为芯片测试提供整车环境舱和道路环境，严重制约了芯片的迭代升级。

2、随着实时嵌入式系统的快速发展，汽车的智能化程度越来越高，系统的任何故障都可能给人的生命和财产带来损失。因此，车规级控制芯片的功能测试与验证尤为重要。在芯片设计领域,采用模型驱动的fpga设计方法是目前较为安全可靠的一种方法。但是,基于模型驱动的fpga设计需要证明fpga设计模型和生成verilog/vhdl代码的一致性；同时，保证车规级控制芯片设计的正确性、可靠性和安全性也至关重要。

3、然而，现有的车规级控制芯片测试的方法，都是针对车规级控制芯片的可靠性和耐久性测试为主要目的测试，均未提供车规级控制芯片在智能驾驶模式下的环境舱和实际运行数据，对车规级控制芯片实际上车表现的功能验证仍然存在很强的局限性。

技术实现思路

1、有鉴于此，本申请提供一种车规级控制芯片测试方法、装置、设备及存储介质，以解决现有的车规级控制芯片测试方式局限性大的问题。

2、为解决上述技术问题，本申请采用的一个技术方案是：提供一种车规级控制芯片测试方法，其包括：利用预设的智能驾驶服务器根据车规级控制芯片的应用场景确定测试数据的范围，并构建车规级控制芯片的测试时所需的真实道路环境数据和智能驾驶场景；在将车规级控制芯片连接到预设的待测芯片载物台后，对车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模，模型验证器用于产生与车规级控制芯片对应的标准对比信号；在真实道路环境数据和智能驾驶场景下运行车规级控制芯片，并采集反馈信号；检测车规级控制芯片的可达性和鲁棒性是否达到预设要求；当车规级控制芯片的可达性和鲁棒性达到预设要求时，比对反馈信号与标准对比信号，以确认反馈信号是否满足车规级设计的标准，并生成测试验证报告。

3、作为本申请的进一步改进，将车规级控制芯片连接到预设的待测芯片载物台上之后，还包括：验证车规级控制芯片的硬件功能是否正常。

4、作为本申请的进一步改进，检测车规级控制芯片的可达性，包括：基于区域等价类划分的概念,将车规级控制芯片在时间维度的无限状态空间划分为有穷个区域，得到有穷迁移系统；将有穷迁移系统投影至笛卡尔坐标系，并结合笛卡尔积坐标系实现可达性验证。

5、作为本申请的进一步改进，检测车规级控制芯片的鲁棒性，包括：将车规级控制芯片的执行过程转换为带时间戳的执行序列；为执行序列在所有执行构成的空间中定义一个度量,结合度量空间实现鲁棒性验证。

6、作为本申请的进一步改进，对车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模之后，还包括：对智能驾驶服务器、待测芯片载物台和模型验证器进行时钟同步。

7、作为本申请的进一步改进，对车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模，包括：基于预设的实时系统建模语言对车规级控制芯片和模型验证器建模，得到形式化模型。

8、作为本申请的进一步改进，实时系统建模语言包括时间自动机，形式化模型包括关闭、启动、运行、故障四个基本状态。

9、为解决上述技术问题，本申请采用的又一个技术方案是：提供一种车规级控制芯片测试装置，其包括：构建模块，用于利用预设的智能驾驶服务器根据车规级控制芯片的应用场景确定测试数据的范围，并构建车规级控制芯片的测试时所需的真实道路环境数据和智能驾驶场景；建模模块，用于在将车规级控制芯片连接到预设的待测芯片载物台后，对车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模，模型验证器用于产生与车规级控制芯片对应的标准对比信号；采集模块，用于在真实道路环境数据和智能驾驶场景下运行车规级控制芯片，并采集反馈信号；检测模块，用于检测车规级控制芯片的可达性和鲁棒性是否达到预设要求；比对模块，用于当车规级控制芯片的可达性和鲁棒性达到预设要求时，比对反馈信号与标准对比信号，以确认反馈信号是否满足车规级设计的标准，并生成测试验证报告。

10、为解决上述技术问题，本申请采用的再一个技术方案是：提供一种计算机设备，所述计算机设备包括处理器、与所述处理器耦接的存储器，所述存储器中存储有程序指令，所述程序指令被所述处理器执行时，使得所述处理器执行如上述任一项的车规级控制芯片测试方法的步骤。

11、为解决上述技术问题，本申请采用的再一个技术方案是：提供一种存储介质，存储有能够实现上述任一项的车规级控制芯片测试方法的程序指令。

12、本申请的有益效果是：本申请的车规级控制芯片测试方法通过根据车规级控制芯片的应用场景构建车规级控制芯片的测试时所需的真实道路环境数据和智能驾驶场景，为车规级控制芯片的测试提供接近真实道路环境的数据和车规级控制芯片运行环境，使得测试结果更接近实际环境下的情况，并且，通过形式化方法建立高质量的可信车规级控制芯片的验证系统，对车规级控制芯片的可达性和鲁棒性进行验证。

技术特征：

1.一种车规级控制芯片测试方法，其特征在于，其包括：

2.根据权利要求1所述的车规级控制芯片测试方法，其特征在于，所述将所述车规级控制芯片连接到预设的待测芯片载物台上之后，还包括：

3.根据权利要求1所述的车规级控制芯片测试方法，其特征在于，检测所述车规级控制芯片的可达性，包括：

4.根据权利要求1所述的车规级控制芯片测试方法，其特征在于，检测所述车规级控制芯片的鲁棒性，包括：

5.根据权利要求1所述的车规级控制芯片测试方法，其特征在于，所述对所述车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模之后，还包括：

6.根据权利要求1所述的车规级控制芯片测试方法，其特征在于，所述对所述车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模，包括：

7.根据权利要求6所述的车规级控制芯片测试方法，其特征在于，所述实时系统建模语言包括时间自动机，所述形式化模型包括关闭、启动、运行、故障四个基本状态。

8.一种车规级控制芯片测试装置，其特征在于，其包括：

9.一种计算机设备，其特征在于，所述计算机设备包括处理器、与所述处理器耦接的存储器，所述存储器中存储有程序指令，所述程序指令被所述处理器执行时，使得所述处理器执行如权利要求1-7中任一项权利要求所述的车规级控制芯片测试方法的步骤。

10.一种存储介质，其特征在于，存储有能够实现如权利要求1-7中任一项所述的车规级控制芯片测试方法的程序指令。

技术总结本发明公开了一种车规级控制芯片测试方法、装置、设备及存储介质，其通过根据车规级控制芯片的应用场景确定测试数据的范围，并构建测试时所需的真实道路环境数据和智能驾驶场景，再对车规级控制芯片和预设的模型验证器采用同一方式进行形式化建模，模型验证器用于产生与车规级控制芯片对应的标准对比信号，再在真实道路环境数据和智能驾驶场景下运行车规级控制芯片，并采集反馈信号，当车规级控制芯片的可达性和鲁棒性达到预设要求时，比对反馈信号与标准对比信号，以确认反馈信号是否满足车规级设计的标准。本发明能够在芯片运行时为芯片提供接近真实道路环境的数据和车规级控制芯片运行环境，对车规级控制芯片的可达性和鲁棒性进行验证。技术研发人员：杨柳青,李慧云,穆范全,李磊,林定方,杨志恒,潘仲鸣,党少博受保护的技术使用者：中国科学院深圳先进技术研究院技术研发日：技术公布日：2024/9/12