“R·塞图”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果8个，建议您升级VIP下载更多相关专利

[发明专利]用于更新确认的车辆软件配置覆盖率测量的系统和方法-CN202211352619.X在审
发明人： P·M·佩拉南丹;R·塞图;A·阿迪森;M·凯拉萨姆;Z·J·周 -专利权人：通用汽车环球科技运作有限责任公司
申请日： 2022-10-31 - 公布日： 2023-10-03 - 主分类号： G06F8/658 文献下载
摘要：提供一种用于更新多个车辆的车辆软件配置的系统。系统包括具有由车辆携载的多个ECU的网络，其中每一ECU具有包括具有一个或多个版本的软件部件的ECU软件配置。系统进一步包括具有与ECU通信的处理器和计算机可读介质的网络装备。处理器被编程为识别软件部件的覆盖点。处理器被进一步编程为收集用于确认相关联软件部件的更新的群集并确定最佳群集集合，最佳群集集合小于或等于群集的总集合。处理器被进一步编程为基于每一群集的车辆覆盖百分比对选定最佳集合中的群集进行排名，并且传输最佳集合用于软件配置确认并且然后最后将经确认的更新传输到相关联车辆ECU。
用于更新确认车辆软件配置覆盖率测量系统方法

[发明专利]用于车辆运动控制健康监测和缓解的架构和方法-CN202211267846.2在审
发明人： S·K·马哈巴迪;A·阿迪森;赵庆荣;林玟樵;段时鸣;R·塞图;B·B·利库希;S-K·陈 -专利权人：通用汽车环球科技运作有限责任公司
申请日： 2022-10-17 - 公布日： 2023-08-15 - 主分类号： B60W50/04 文献下载
摘要：一种机动车辆运动控制健康监测系统包括安置在机动车辆上的传感器和致动器。传感器测量关于机动车辆的实时静态和动态遥测数据，并且致动器改变机动车辆的静态和动态行为。控制模块具有处理器、存储器和输入/输出(I/O)端口。处理器执行存储在存储器中的程序代码部分，程序代码部分包括：离线部分，所述离线部分从机动车辆收集遥测数据、对遥测数据实施故障分析并基于故障分析分配任务；以及在线部分，所述在线部分分析遥测数据以寻找特定传感器、致动器或利用传感器和/或致动器系统的功能内的故障。在线部分通过向机动车辆运动控制系统的一个或多个传感器、致动器和/或功能发送校正来缓解遥测数据的偏差。
用于车辆运动控制健康监测缓解架构方法

[发明专利]使用形式化方法的定时分析-CN201110128626.7有效
发明人： S·K·莫哈利克;R·A·克;M·G·迪克西特;R·塞图;D·B·乔克施 -专利权人：通用汽车环球科技运作有限责任公司
申请日： 2011-05-13 - 公布日： 2012-01-18 - 主分类号： G06F19/00 文献下载
摘要：使用形式化方法的定时分析。提供了一种用于提供可扩展到具有大量任务和消息的工业情况研究的精确定时分析的方法和工具，包括：建模和分析任务和消息响应时间的能力；ECU使用；总线使用；任务/消息链的端到端等待时间；以及任务/消息图表中的定时同步问题。以被称为日历自动机的形式化结构建模系统任务和消息。模型时以诸如Promela的建模语言写成的，并且专用于分析规范的代码来仪器化。模型和仪器化从系统描述和分析规范中自动生成。通过诸如SPIN的兼容模型检查器对系统模型进行穷举性状态空间探索。探索期间，仪器化的代码产生对不同定时分析的结果。提供优化技术来生成模型，模型要求较少的存储和时间用于分析，并且使得方法可扩展到大型工业情况研究。
使用形式化方法定时分析

[发明专利]可执行模型的在线形式验证-CN201010510305.9有效
发明人： S·K·莫哈里克;P·V·V·加内桑;R·塞图 -专利权人：通用汽车环球科技运作公司
申请日： 2010-10-14 - 公布日： 2011-12-28 - 主分类号： G06F11/00 文献下载
摘要：本发明涉及可执行模型的在线形式验证。一种可执行系统的自动形式验证的系统和方法包括声明监测器，所述声明监测器配置成相对于规格书中的声明来验证系统。所述声明监测器包括：剖析器，所述剖析器配置成使用布尔命题来产生表示规格书中的声明的命题公式；滤波器，所述滤波器配置成使用命题符号的真值赋值来产生系统进程；以及迹线验证器，所述迹线验证器配置成使用命题符号的真值赋值和命题公式利用系统进程来验证所述声明。
可执行模型在线形式验证

[发明专利]用于分析软件的方法和设备-CN201110076503.3有效
发明人： S·舒库马兰;R·塞图 -专利权人：通用汽车环球科技运作有限责任公司
申请日： 2011-03-29 - 公布日： 2011-10-05 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及用于分析软件的方法和设备。一种用于评估机器可执行的软件代码说明的计算机实施的方法，包括：使用计算机生成对应于软件代码说明的系统依赖图。系统依赖图包括元素，所述元素包括节点和边，其中计算机评估系统依赖图。系统依赖图的评估包括：选择在软件代码说明中被修改的变量，遍历到系统依赖图的所选择的元素，所选择的元素与所选择的变量相关联，仅评估系统依赖图的所选择的元素，和识别所选择的元素中其处修改了所选择的变量的状态的元素。
用于分析软件方法设备

[发明专利]用于分析包含校准值的软件的方法和设备-CN201110076549.5有效
发明人： S·舒库马兰;R·塞图 -专利权人：通用汽车环球科技运作有限责任公司
申请日： 2011-03-29 - 公布日： 2011-10-05 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及用于分析包含校准值的软件的方法和设备，具体是一种用于评测机器可执行软件代码规范的计算机实施方法，该方法包括利用计算机生成与软件代码规范相对应的系统依赖关系图。所述系统依赖关系图包括含有节点和边的元素。计算机评测系统依赖关系图，该评测包括选择在软件代码规范中被修正的变量，给与软件代码规范中的控制语句相对应的系统依赖关系图的控制运算节点提供优选校准状态，遍历到系统依赖关系图的选定元素，其中选定元素与选定变量和控制运算节点的优选校准状态相关，仅评测系统依赖关系图的选定元素，以及标识在选定变量的状态被修正的位置处的那些选定元素。
用于分析包含校准软件方法设备

[发明专利]用于分布式嵌入系统的自动测试用例生成的方法及系统-CN201010501669.0无效
发明人： M·G·迪克西特;A·A·加德卡里;R·艾斯;R·塞图;S·H·南杜古迪 -专利权人：通用汽车环球科技运作公司
申请日： 2010-09-30 - 公布日： 2011-04-27 - 主分类号： G05B23/02 文献下载
摘要：一种用于分布式嵌入系统的自动测试用例生成的方法及系统。该系统在所述车载分布式嵌入系统的系统集成层面生成用于验证测试规范的测试用例，该测试规范是关于定时约束、故障容限、分布式死锁和同步的。自动测试用例生成系统包括用于集成功能模型和平台规范的模型变换器。功能模型涉及至少一个控制器的抽象模型，平台规范涉及平台部件的具体细节。测试规范变换器集成平台规范、实时需求和结构化覆盖准则，以生成测试分布式系统的增强测试规范。需求变换器集成分布式系统的实时需求和功能需求。自动测试用例生成器生成作为模型变换器、测试规范变换器和需求变换器的输出的函数、用来验证分布式系统的测试规范的一组测试用例。
用于分布式嵌入系统自动测试生成方法

[发明专利]基于形式分析驱动的需求规格书的演化方法-CN201010254931.6无效
发明人： P·萨姆帕思;P·V·V·贾内桑;A·A·贾卡里;R·塞图 -专利权人：通用汽车环球科技运作公司
申请日： 2010-08-13 - 公布日： 2011-03-30 - 主分类号： G06F17/22 文献下载
摘要：本发明涉及基于形式分析驱动的需求规格书的演化方法。具体地，提供了一种用于开发规格书的方法，其包括接收限定了规格书的功能的多个需求，其中，使用形式模型表达多个需求。该方法还包括使用算法分析多个需求并且确定多个需求是否满足一组预定准则。该方法还包括产生形式分析的总结并且通过并入被改正的分析结果来改进需求。
基于形式分析驱动需求规格书演化方法

1
共 8 条