一种系统验证方法、装置、电子设备及存储介质制造方法及图纸

本申请公开了一种系统验证方法、装置、电子设备及存储介质，方法包括：获取车辆系统的当前配置信息和待验证参数；当前配置信息用于表征车辆系统当前时刻的硬件配置状态和软件配置状态；确定当前配置信息对应的服务信息；服务信息用于提供预设的功能；基于服务信息和待验证参数，建立自动机模型；将自动机模型输入形式化验证模型，输出验证数据。本申请根据实时的配置信息和待验证参数，建立对应的自动机模型，并输入形式化模型实现形式化验证，保证了车辆在任何配置下都能对系统性能进行形式化验证，提高了系统的适应性和可靠性；同时，将车辆系统的各个功能封装在服务中，方便后续调用，加快了系统的验证速度，提高了系统的验证效率。

【技术实现步骤摘要】

本申请涉及自动驾驶，尤其涉及一种系统验证方法、装置、电子设备及存储介质。

技术介绍

1、现代驾驶员辅助系统(driver assistance system，das)在许多情况下为驾驶员提供支持，如车道保持辅助和自动紧急制动。

2、随着驾驶辅助系统的功能和支持的驾驶情况增加，系统的复杂性显著提高。不同类型的车辆和驾驶应用需要不同的辅助系统配置，例如，拖车系统在运行时可能断开或连接一个或多个拖车以组成各种不同的系统，这种多变性和异构性使得单一软件架构难以适应所有的需求和变化。同时，在测试的过程中，车辆配置的变化、车辆电子控制单元(electronic control unit，ecu)或者传感器系统的故障会导致需要动态重新配置系统。因此，现有的验证方法无法适应实时变化的车辆驾驶系统，实现快速重新配置，进而导致对驾驶辅助系统各种性能的测试和验证变得复杂和耗时。

技术实现思路

1、为了解决现有的系统验证方法无法适应实时变化的车辆驾驶系统，导致系统验证复杂和耗时的技术问题，本专利技术提供了一种系统验证方法本文档来自技高网...

【技术保护点】

1.一种系统验证方法，其特征在于，包括：

2.根据权利要求1所述的一种系统验证方法，其特征在于，所述确定所述当前配置信息对应的服务信息，包括：

3.根据权利要求2所述的一种系统验证方法，其特征在于，所述基于所述新增配置信息，确定新增服务信息，包括：

4.根据权利要求3所述的一种系统验证方法，其特征在于，所述新增活动流程包括多个活动步骤信息、所述多个活动步骤信息之间的顺序流程信息和所述多个活动步骤信息之间的数据传递信息；

5.根据权利要求2所述的一种系统验证方法，其特征在于，所述基于所述服务信息和所述待验证参数，建立自动机模型，包括：

...

【技术特征摘要】

1.一种系统验证方法，其特征在于，包括：

2.根据权利要求1所述的一种系统验证方法，其特征在于，所述确定所述当前配置信息对应的服务信息，包括：

3.根据权利要求2所述的一种系统验证方法，其特征在于，所述基于所述新增配置信息，确定新增服务信息，包括：

4.根据权利要求3所述的一种系统验证方法，其特征在于，所述新增活动流程包括多个活动步骤信息、所述多个活动步骤信息之间的顺序流程信息和所述多个活动步骤信息之间的数据传递信息；

5.根据权利要求2所述的一种系统验证方法，其特征在于，所述基于所述服务信息和所述待验证参数，建立自动机模型，包括：

6.根据权利要求5所述的一种系统验证方法，其特征在于，所述基于所述服务信息和所述待验证参数，形成服务合同，包括：

7.根据权利要求1所述的一种系统验...

【专利技术属性】
技术研发人员：闫玉娇，秦民，
申请(专利权)人：中汽创智科技有限公司，
类型：发明
国别省市：