车辆部件交互逻辑验证文件生成方法、交互逻辑验证方法

本申请提供一种车辆部件交互逻辑验证文件生成方法、交互逻辑验证方法，涉及形式化验证技术领域。该方法包括：获取车辆部件多模态数据；对车辆部件多模态数据进行分析，获得车辆模型信息；根据车辆模型信息，分别生成车辆部件状态转移路径集合和线性时序逻辑规则集合；基于车辆部件状态转移路径集合和线性时序逻辑规则集合，生成可执行交互逻辑验证文件。本申请基于多模态数据获得车辆模型信息，并根据车辆模型信息自动生成车辆部件状态转移路径集合和线性时序逻辑规则集合，提高车辆部件之间的交互逻辑的验证准确性。