一种基于有向图结构的单个电控单元的系统信息提取方法

    公开(公告)号:CN102411499B

    公开(公告)日:2014-01-08

    申请号:CN201110229778.6

    申请日:2011-08-11

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于有向图结构的单个电控单元的系统信息提取方法,步骤如下:1)以有向图结构为基础的AUTOSAR建模方式,将信息提取过程转变为图遍历过程。2)在此数据结构的基础上,支持将抽取规则归约为包含、引用和相关三种情况,并使用声明式的键-值对来分类定义。3)遍历整个系统的有向图结构,将标记出的对象序列化为XML文件,作为最终的ECU抽取结果。本发明的优点:本发明提出了一种高效的模型结构,能够有效解决AUTOSAR标准中系统信息提取规则复杂繁多,传统方法效率低下的问题,快速准确的完成提取过程。本方法通过系统信息提取规则的归约带来了工具的性能提升和开发难度的大幅降低,并可以完整保留对象结构,从而有效支持迭代开发。

    一种基于优先级位图的AUTOSARNvM读写任务的管理方法

    公开(公告)号:CN103049324A

    公开(公告)日:2013-04-17

    申请号:CN201310006885.1

    申请日:2013-01-08

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于优先级位图的AUTOSAR NvM读写任务的管理方法,通过构建256组普通任务队列、一组立即任务队列、一队列映射表和一优先级位图就绪表;根据队列映射表和优先级位图就绪表将读写任务插入任务队列或从任务队列中抓取读写任务;在抓取读写任务时本发明利用优先级位图算法以就绪表为偏移,从优先级位图查找表中查找出待处理读写任务的最高优先级,通过这种固定地有限次数的查表算法能够以O(1)的时间复杂度找到当前优先级最高的就绪任务,且扩展后的257个读写请求队列的开销较小,维护比较简单。

    一种虚拟化环境中的准入控制与负载均衡方法

    公开(公告)号:CN102270159B

    公开(公告)日:2013-02-27

    申请号:CN201110229811.5

    申请日:2011-08-11

    Applicant: 浙江大学

    Abstract: 本发明涉及一种虚拟化环境中的准入控制与负载均衡方法,包括以下步骤:1:修改Xen虚拟机中的简单最早截止期优先调度算法,实现非工作保养模式下的分区最早截止期优先的调度算法NWC-PEDF;2:对每个物理处理器引入准入控制机制,控制每个物理处理器上分配的Xen虚拟处理器的负载;3:采用首次适应的策略来控制Xen虚拟化环境中的VCPU到多核硬件平台上PCPU的分配映射,以保证每个PCPU上负载的均衡;4:提供对调整VCPU调度参数的支持机制,允许管理员根据运行过程中虚拟机负载的变化情况调整VCPU的调度参数。本发明的优点:满足多核硬件平台下虚拟化环境对嵌入式实时系统硬实时任务的时间需求的支持,对Xen虚拟机中的调度算法进行改进,实现了准入控制和负载均衡机制。

    车载电子总线静态段通讯扩容方法

    公开(公告)号:CN102035706A

    公开(公告)日:2011-04-27

    申请号:CN201010569884.4

    申请日:2010-11-29

    Applicant: 浙江大学

    Abstract: 本发明公开了一种车载电子总线静态段通讯扩容方法,包括以下步骤:步骤一:确定ECU的任务和消息的属性和发送接收关系;步骤二:将仅发送信号的任务分配到传感器上,将仅接收信号的任务分配到执行器上,其余的任务既要接收信号也要发送信号,将它们分配到各个ECU上;步骤三:完成每个静态槽的归属,信号到静态槽的映射,任务配置和消息配置的依赖关系;步骤四:将传感器、ECU和执行器的任务、消息数据按照步骤三建立配置系统,求出所需的最小静态槽个数。与现有技术相比,使用本发明所述的方法减小了一个分布式应用系统在通讯时所占用的FlexRay总线上静态槽的个数,有利于未来的系统升级和扩展。

    一种基于模型库的模型元素一致性保障方法

    公开(公告)号:CN101894024A

    公开(公告)日:2010-11-24

    申请号:CN201010227356.0

    申请日:2010-07-15

    Applicant: 浙江大学

    Abstract: 本发明涉及一种模型库中模型元素的处理方法,属于集成开发环境技术领域,特指一种基于模型库的模型元素一致性保障方法,其通过标记位来区分模型元素是从模型库中取用的还是用户自己新定义的,通过索引数组来记录模型库中的元素在哪些位置被使用,用户创建或者存储模型元素时,根据用户的动作对标记位和索引数组作出相应的设置;当用户保存模型文件时,根据标记位和索引数组更新模型库中保存的模型元素。通过这种方法,用户可以方便地修改从模型库中取用的模型元素,保障了系统模型与模型库之间的数据一致性,具有广泛的应用前景。

    一种基于遗传算法和带权匹配算法的测试案例自动生成方法

    公开(公告)号:CN101853202A

    公开(公告)日:2010-10-06

    申请号:CN201010186855.X

    申请日:2010-05-28

    Applicant: 浙江大学

    Abstract: 本发明涉及工程测试中的测试案例自动生成方法,属于系统测试技术领域,是一种能够显著提高测试案例自动生成质量的方法,其特点是在现有测试案例自动生成方法中融入遗传算法和带权匹配算法,使得应用该方法能够自动获得高质量的测试案例集:测试案例集中包括多个测试案例,每个测试案例的长度相同,同时该长度由测试人员指定;每个测试案例相互独立,且每个测试案例都各自覆盖了一定数量的功能覆盖点;能够在较快时间里得到一个测试案例集,该测试案例集中的测试案例都运行之后,能保证需要覆盖的功能点都能被测试到。

    一种使用流程图生成测试案例的方法

    公开(公告)号:CN102662644B

    公开(公告)日:2015-03-18

    申请号:CN201210049175.2

    申请日:2012-02-29

    Applicant: 浙江大学

    Abstract: 本发明公开了一种使用流程图生成测试案例的方法,包括如下步骤:对流程图进行合法性检查后历遍流程图中的所有图元,获得连接线两端的图元ID;建立具有所有连接线的起点和终点、开始节点和结束节点的有向图邻接矩阵,然后从StartID开始按照拓扑顺序对除连接线图元外的每个图元生成测试单元并且按序加入到测试案例中,利用邻接矩阵检查后续的结点ID,直至检测到结束节点EndID为止;将测试单元映射到测试步骤;生成测试步骤后在测试案例中从起始节点开始,每获取一个测试单元,通过映射执行对应的测试步骤,从而运行相应的操作,直到遇到结束节点为止,具有在测试案例的执行过程中以流程图的形式表现程序的逻辑过程和数据流方向,便于理解和设计等优点。

    一种C/S模式的DDS通信系统及方法

    公开(公告)号:CN104243606A

    公开(公告)日:2014-12-24

    申请号:CN201410513521.7

    申请日:2014-09-29

    Applicant: 浙江大学

    Abstract: 本发明公开了一种C/S模式的DDS通信系统及方法,在标准DDS通信系统上实现的C/S模式的DDS通信系统,新增的服务器实现了数据发布者和数据订阅者之间的分离,数据发布者不再直接将数据发往数据订阅者,数据订阅者的身份和地址对于数据发布者而言是透明保密的,DDS通信系统的安全性大为提高,实现了数据发布者和数据订阅者之间的分离,数据订阅者不再公开身份和地址;服务器可以对数据进行检测,有效的降低了P2P模式下DDS通信系统中垃圾数据带来的安全隐患。

    基于AUTOSAR协议栈的PDU缓存方法

    公开(公告)号:CN102170478B

    公开(公告)日:2014-02-19

    申请号:CN201110126388.6

    申请日:2011-05-16

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于AUTOSAR协议栈的PDU缓存方法,其实施步骤如下:1)建立协议栈的通信层、路由层、CAN接口层和CAN驱动层均可访问的公用缓存;2)通信层收到上层信号后将其打包成带有通信层ID信息的PDU并缓存至公用缓存中、CAN驱动层收到CAN数据帧后将其转换为带有CAN驱动层ID信息的PDU并缓存至公用缓存中,协议栈的相邻层之间在发送PDU时,由发送方向接收方发送消息,接收方收到消息后从公用缓存中读取PDU并将其修改为具有接收方ID信息的PDU。本发明具有内存利用率高、内存使用效率高、数据收发效率高的优点。

    一种使用流程图生成测试案例的方法

    公开(公告)号:CN102662644A

    公开(公告)日:2012-09-12

    申请号:CN201210049175.2

    申请日:2012-02-29

    Applicant: 浙江大学

    Abstract: 本发明公开了一种使用流程图生成测试案例的方法,包括如下步骤:对流程图进行合法性检查后历遍流程图中的所有图元,获得连接线两端的图元ID;建立具有所有连接线的起点和终点、开始节点和结束节点的有向图邻接矩阵,然后从StartID开始按照拓扑顺序对除连接线图元外的每个图元生成测试单元并且按序加入到测试案例中,利用邻接矩阵检查后续的结点ID,直至检测到结束节点EndID为止;将测试单元映射到测试步骤;生成测试步骤后在测试案例中从起始节点开始,每获取一个测试单元,通过映射执行对应的测试步骤,从而运行相应的操作,直到遇到结束节点为止,具有在测试案例的执行过程中以流程图的形式表现程序的逻辑过程和数据流方向,便于理解和设计等优点。

Patent Agency Ranking