用于在无车辆到车辆通信情况下跟随前车的方法

    公开(公告)号:CN118545071A

    公开(公告)日:2024-08-27

    申请号:CN202311089076.1

    申请日:2023-08-25

    Abstract: 一种用于在无车辆到车辆(V2V)通信的情况下控制主车跟随前车的系统,该系统包括设置在主车上并捕获主车状况信息和前车状况信息的传感器。设置在主车中的控制模块各自具有处理器、存储器和输入/输出(I/O)端口。I/O端口与一个或多个传感器通信。存储器存储控制逻辑,并且处理器执行控制逻辑,包括前车跟随(LVF)应用。第一控制逻辑经由与I/O端口通信的人机接口(HMI)从车辆乘员接收启动输入。第二控制逻辑根据可行性条件执行主车状况和前车状况的可行性分析。第三控制逻辑选择性地启动前车跟随。第四控制逻辑连续地监视前车跟随的可行性,并且第五控制逻辑在接收到解除命令时选择性地禁用LVF应用。

    用于分析软件的方法和设备

    公开(公告)号:CN102207901A

    公开(公告)日:2011-10-05

    申请号:CN201110076503.3

    申请日:2011-03-29

    CPC classification number: G06F11/3604 G06F8/433

    Abstract: 本发明涉及用于分析软件的方法和设备。一种用于评估机器可执行的软件代码说明的计算机实施的方法,包括:使用计算机生成对应于软件代码说明的系统依赖图。系统依赖图包括元素,所述元素包括节点和边,其中计算机评估系统依赖图。系统依赖图的评估包括:选择在软件代码说明中被修改的变量,遍历到系统依赖图的所选择的元素,所选择的元素与所选择的变量相关联,仅评估系统依赖图的所选择的元素,和识别所选择的元素中其处修改了所选择的变量的状态的元素。

    使用形式化方法的定时分析

    公开(公告)号:CN102323969B

    公开(公告)日:2016-06-29

    申请号:CN201110128626.7

    申请日:2011-05-13

    CPC classification number: G06F17/5031 G06F17/504

    Abstract: 使用形式化方法的定时分析。提供了一种用于提供可扩展到具有大量任务和消息的工业情况研究的精确定时分析的方法和工具,包括:建模和分析任务和消息响应时间的能力;ECU使用;总线使用;任务/消息链的端到端等待时间;以及任务/消息图表中的定时同步问题。以被称为日历自动机的形式化结构建模系统任务和消息。模型时以诸如Promela的建模语言写成的,并且专用于分析规范的代码来仪器化。模型和仪器化从系统描述和分析规范中自动生成。通过诸如SPIN的兼容模型检查器对系统模型进行穷举性状态空间探索。探索期间,仪器化的代码产生对不同定时分析的结果。提供优化技术来生成模型,模型要求较少的存储和时间用于分析,并且使得方法可扩展到大型工业情况研究。

    使用形式化方法的定时分析

    公开(公告)号:CN102323969A

    公开(公告)日:2012-01-18

    申请号:CN201110128626.7

    申请日:2011-05-13

    CPC classification number: G06F17/5031 G06F17/504

    Abstract: 使用形式化方法的定时分析。提供了一种用于提供可扩展到具有大量任务和消息的工业情况研究的精确定时分析的方法和工具,包括:建模和分析任务和消息响应时间的能力;ECU使用;总线使用;任务/消息链的端到端等待时间;以及任务/消息图表中的定时同步问题。以被称为日历自动机的形式化结构建模系统任务和消息。模型时以诸如Promela的建模语言写成的,并且专用于分析规范的代码来仪器化。模型和仪器化从系统描述和分析规范中自动生成。通过诸如SPIN的兼容模型检查器对系统模型进行穷举性状态空间探索。探索期间,仪器化的代码产生对不同定时分析的结果。提供优化技术来生成模型,模型要求较少的存储和时间用于分析,并且使得方法可扩展到大型工业情况研究。

    用于更新确认的车辆软件配置覆盖率测量的系统和方法

    公开(公告)号:CN116841597A

    公开(公告)日:2023-10-03

    申请号:CN202211352619.X

    申请日:2022-10-31

    Abstract: 提供一种用于更新多个车辆的车辆软件配置的系统。系统包括具有由车辆携载的多个ECU的网络,其中每一ECU具有包括具有一个或多个版本的软件部件的ECU软件配置。系统进一步包括具有与ECU通信的处理器和计算机可读介质的网络装备。处理器被编程为识别软件部件的覆盖点。处理器被进一步编程为收集用于确认相关联软件部件的更新的群集并确定最佳群集集合,最佳群集集合小于或等于群集的总集合。处理器被进一步编程为基于每一群集的车辆覆盖百分比对选定最佳集合中的群集进行排名,并且传输最佳集合用于软件配置确认并且然后最后将经确认的更新传输到相关联车辆ECU。

    用于分析软件的方法和设备

    公开(公告)号:CN102207901B

    公开(公告)日:2014-06-18

    申请号:CN201110076503.3

    申请日:2011-03-29

    CPC classification number: G06F11/3604 G06F8/433

    Abstract: 本发明涉及用于分析软件的方法和设备。一种用于评估机器可执行的软件代码说明的计算机实施的方法,包括:使用计算机生成对应于软件代码说明的系统依赖图。系统依赖图包括元素,所述元素包括节点和边,其中计算机评估系统依赖图。系统依赖图的评估包括:选择在软件代码说明中被修改的变量,遍历到系统依赖图的所选择的元素,所选择的元素与所选择的变量相关联,仅评估系统依赖图的所选择的元素,和识别所选择的元素中其处修改了所选择的变量的状态的元素。

    用于车辆运动控制健康监测和缓解的架构和方法

    公开(公告)号:CN116588126A

    公开(公告)日:2023-08-15

    申请号:CN202211267846.2

    申请日:2022-10-17

    Abstract: 一种机动车辆运动控制健康监测系统包括安置在机动车辆上的传感器和致动器。传感器测量关于机动车辆的实时静态和动态遥测数据,并且致动器改变机动车辆的静态和动态行为。控制模块具有处理器、存储器和输入/输出(I/O)端口。处理器执行存储在存储器中的程序代码部分,程序代码部分包括:离线部分,所述离线部分从机动车辆收集遥测数据、对遥测数据实施故障分析并基于故障分析分配任务;以及在线部分,所述在线部分分析遥测数据以寻找特定传感器、致动器或利用传感器和/或致动器系统的功能内的故障。在线部分通过向机动车辆运动控制系统的一个或多个传感器、致动器和/或功能发送校正来缓解遥测数据的偏差。

Patent Agency Ranking