【技术实现步骤摘要】
本申请涉及形式化验证，具体而言，涉及一种车辆部件交互逻辑验证文件生成方法、交互逻辑验证方法。
技术介绍
1、随着汽车技术的发展，从传统的机械系统到现代的电子控制单元集成系统，汽车部件之间的协同工作变得极为关键。并且，软件和硬件的复杂性不断增加。这种复杂性使得更需要准确地理解多个部件之间的空间关系和操作顺序。
2、但传统的解决方案往往依赖于人工定义规则来验证部件之间的空间关系和操作顺序，人工定义规则的方式不仅效率低下，而且容易受到人为因素的限制。除此之外，通过人工的方式也难以穷举车辆部件之间所有可能的交互情况和复杂的逻辑关系。受人工定义规则和人工确定逻辑关系的限制，导致车辆部件之间的交互逻辑的验证准确性不高。
技术实现思路
1、本申请实施例的目的在于提供一种车辆部件交互逻辑验证文件生成方法、交互逻辑验证方法，用以基于多模态数据获得车辆模型信息，并根据车辆模型信息自动生成车辆部件状态转移路径集合和线性时序逻辑规则集合，提高车辆部件之间的交互逻辑的验证准确性。
2、第一方...
【技术保护点】
1.一种车辆部件交互逻辑验证文件生成方法，其特征在于，所述方法包括：
2.根据权利要求1所述的方法，其特征在于，其中，所述车辆模型信息包括第一部件类型和第一部件属性参数；
3.根据权利要求2所述的方法，其特征在于，其中，所述车辆模型信息还包括第一部件交互约束参数；
4.根据权利要求1所述的方法，其特征在于，其中，所述车辆模型信息包括第二部件类型、第二部件属性参数和第二部件交互约束参数；
5.根据权利要求1-4任一所述的方法，其特征在于，在对所述车辆部件多模态数据进行分析，获得车辆模型信息之后，所述方法还包括：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。