公开(公告)号：CN119493114A

公开(公告)日：2025-02-21

申请号：CN202411128223.6

申请日：2024-08-16

Applicant: 织望丰田股份有限公司

Inventor： 让-弗朗索瓦·巴斯蒂恩 ,  彼得·伯杰

IPC: G01S13/86 ,  G01S13/931

Abstract: 本公开提供用于地面目标特性的确定的方法、装置及计算机程序产品。基于车辆记录的地面目标特性的确定通过以下处理来进行：检测车辆的车辆反应，其中，车辆反应通过车辆的至少一个触发传感器的读取阈值来触发；响应于车辆反应的检测来记录车辆的至少一个触发传感器和至少一个关联传感器的输出；以及基于与至少一个触发传感器相关的记录的输出、与至少一个关联传感器相关的记录的输出以及车辆的至少一个特性来确定地面的目标特性。

公开(公告)号：CN119493593A

公开(公告)日：2025-02-21

申请号：CN202411106774.2

申请日：2024-08-13

Applicant: 织望丰田股份有限公司

Inventor： 让-弗朗索瓦·巴斯蒂恩

IPC: G06F8/71 ,  G06F8/20

Abstract: 本公开提供对软件的定时独立性的提供方法、装置及计算机可读介质。本公开将定时独立性提供给软件。非确定性、随机化以及类似项目等变动被追加至软件。与软件建立有关联的非特定的模态的分布被辨别。非特定的模态包括关键路径内的模态、位于软件的设计定时约束的外侧的模态、位于定时范围的端部的模态以及类似的模态。软件的至少一部分通过以下操作而被修改以去除非特定的模态：实现修改，以防止所实现的硬件的过度设计以及软件向所实现的硬件的过拟合；优化软件的任务的执行；重新配置不在关键路径内的非依赖任务的执行的顺序；以及类似的操作等。

公开(公告)号：CN119938485A

公开(公告)日：2025-05-06

申请号：CN202411548448.7

申请日：2024-11-01

Applicant: 织望丰田股份有限公司

Inventor： 让-弗朗索瓦·巴斯蒂恩 ,  凯莱布·麦加里

IPC: G06F11/3604

Abstract: 本发明提供进行软件的验证的系统以及方法。根据实施方式，系统可以包括：存储储存器，存储计算机可执行指令；以及至少一个处理器，与存储储存器可通信地连接，至少一个处理器可以被配置为执行指令来进行以下处理：从用户接收至少一个软件要素；确定接收到的至少一个软件要素是否通过了质量检查；以及响应于接收到的至少一个软件要素通过了质量检查的确定，将接收到的软件要素追加至列表，并且进行列表的第一验证，在列表中被指定的多个软件要素的每一个包括：列表内的多个软件要素的各个软件要素所通过的质量检查的类型的一个以上的指示。