公开(公告)号：CN101216769A

公开(公告)日：2008-07-09

申请号：CN200810059111.4

申请日：2008-01-14

Applicant: 浙江大学

Inventor： 杨国青 ,  吴朝晖 ,  黄凯 ,  赵坚 ,  张莉苹 ,  胡博 ,  赵民德

IPC: G06F9/44

Abstract: 本发明公开了一种层次化系统描述语言SmartC到C代码的自动转换方法。根据特定的解析方法，解析SmartC代码，生成一种层次化的中间数据结构；然后再根据特定的生成方法，从中间数据结构生成C代码。本发明设置层次化的中间数据结构，把解析阶段和生成阶段按模块分开，提高模块复用率；提供的解析方法和生成方法适用于其他的层次化语言到C代码的转换。利用该自动转换机制，使SmartC语言真正成为一种编程语言，大大简化了汽车电子领域软件的开发。

公开(公告)号：CN101882078A

公开(公告)日：2010-11-10

申请号：CN201010186142.3

申请日：2010-05-28

Applicant: 浙江大学

Inventor： 杨国青 ,  胡博 ,  王冬冬 ,  伍如意 ,  杨玉皓 ,  汪金波 ,  赵民德

IPC: G06F9/44

Abstract: 基于内存数据架构的模块间实时同步方法，包括以下步骤：读取AUTOSAR标准中的软件组件模型，生成有向无环图；建立散列表；定义修改组件模型的规则，修改规则与修改类型一一对应；获取模型修改信息，将模型修改信息存入操作队列中，识别修改类型、将其与修改规则对应，根据修改规则修改有向无环图和散列表。本发明具有能使组件设计工具和系统配置工具保持一致，开发效率高的优点。

公开(公告)号：CN101231598B

公开(公告)日：2010-06-23

申请号：CN200810059628.3

申请日：2008-01-30

Applicant: 浙江大学

Inventor： 赵民德 ,  吴朝晖 ,  胡博 ,  黄凯 ,  赵坚 ,  吕攀

IPC: G06F9/45

Abstract: 本发明属于软件逆向工程技术领域，是一种基于汇编程序构造语义流程图的方法。该方法包括：将所有汇编指令中使用跳转指令的C166语句与跳转目标语句定义为关键流程语句，将其它语句定义为非关键流程语句；提取整个程序的流程图框架时，在关键流程语句处有流程图流向的转出或转入，在非关键流程语句处只有流程的顺序转移；核心语句判定指能够影响C166平台上PSW寄存器，并具有实际计算能力的指令；相邻操作数判定指以核心语句为中心，同时顺序和逆序搜索具有与核心语句相同操作数的非核心语句，直至搜索到有新的核心语句或无相邻的操作数为止，将遍历到的汇编指令聚合成不同的汇编指令块，并生成流程图语义块，然后进行连线，绘制流程图。

公开(公告)号：CN101231598A

公开(公告)日：2008-07-30

申请号：CN200810059628.3

申请日：2008-01-30

Applicant: 浙江大学

Inventor： 赵民德 ,  吴朝晖 ,  胡博 ,  黄凯 ,  赵坚 ,  吕攀

IPC: G06F9/45

Abstract: 本发明属于软件逆向工程技术领域，主要是实现了一种基于特定硬件平台(C166平台)的，由汇编程序构造语义流程图的方法。本发明要解决现有反编译工具存在的缺陷，提供一种基于汇编程序构造语义流程图的方法，其特征在于：该方法包括：将所有汇编指令分为关键流程指令与非关键流程指令两种类型；通过核心语句判定和相邻操作数判定，将汇编指令聚合成不同的汇编指令块；由汇编指令块生成流程图语义块；将流程图语义块进行连线，绘制流程图。本发明简化了复杂流程图在作图时的难度；汇编指令的执行顺序也一目了然，大大提高了阅读汇编代码的效率。这种效率的提升在分析大量汇编代码时尤其明显。

公开(公告)号：CN101867570B

公开(公告)日：2012-12-05

申请号：CN201010171389.8

申请日：2010-05-13

Applicant: 浙江大学

Inventor： 李红 ,  杨国青 ,  张翼 ,  罗端 ,  邓俊 ,  胡博

IPC: H04L29/06 ,  H04L12/40 ,  G06F11/36

Abstract: 一种基于CAN的嵌入式软件可靠性测试中的通信方法，包括相互通信的宿主机和目标机，所述通信方法采用基于CAD总线协议，采用CAN扩展帧的ID域，PDU域根据ID域的不同进行动态调整宿主机和目标机的三种不同类型的通讯方式。本发明提供一种实时性良好、可靠性好和灵活性高的基于CAN的嵌入式软件可靠性测试中的通信方法。

公开(公告)号：CN101295246B

公开(公告)日：2012-03-14

申请号：CN200810062087.X

申请日：2008-05-28

Applicant: 浙江大学

Inventor： 吴朝晖 ,  张莉苹 ,  胡博 ,  李红 ,  丁杰

IPC: G06F9/44

Abstract: 本发明涉及嵌入式集成开发环境技术，主要是实现一种从UML模型转换至SmartC模型的转换方法。本发明一种从UML模型转换至SmartC模型的转换方法，包括如下步骤：1)分析UML模型中的对象图和状态图，提取UML模型状态图中状态与转移条件可执行代码中的OSEK标准API；2)分析OSEK标准API中涉及不同实体之间交互的函数，并以此为标准，将UML状态图转换成为支持OSEK标准的SmartC模型。本发明分析了UML模型的总体特点，从所有的模型图中提取出对象图与状态图两种模型用于模型转换，而不需要分析UML中的所有模型。由于SmartC擅长描述汽车电子领域，UML语言擅长于描述通用建模过程，该模型转换策略的出现，解决了在汽车电子领域，通用建模过程领域细化的问题。

公开(公告)号：CN102073549B

公开(公告)日：2013-06-19

申请号：CN201110009872.0

申请日：2011-01-18

Applicant: 浙江大学

Inventor： 杨国青 ,  胡博 ,  彭威 ,  刘敏 ,  赵民德 ,  田帅 ,  刘财志

IPC: G06F9/54

Abstract: 本发明涉及一种基于资源共享的组件间通信方法，通过维护一个全局的Alarm及其对应的OS任务和通信OS事件的共享资源堆栈，实现AUTOSAR组件间通信的超时监控功能，并在不同通信事件中共享Alarm，同时把同一个OS任务中的由通信活动触发的所有的通信完成事件和超时事件映射到同一个通信OS事件，实现资源使用优化。

公开(公告)号：CN102073549A

公开(公告)日：2011-05-25

申请号：CN201110009872.0

申请日：2011-01-18

Applicant: 浙江大学

Inventor： 杨国青 ,  胡博 ,  彭威 ,  刘敏 ,  赵民德 ,  田帅 ,  刘财志

IPC: G06F9/54

Abstract: 本发明涉及一种基于资源共享的组件间通信方法，通过维护一个全局的Alarm及其对应的OS任务和通信OS事件的共享资源堆栈，实现AUTOSAR组件间通信的超时监控功能，并在不同通信事件中共享Alarm，同时把同一个OS任务中的由通信活动触发的所有的通信完成事件和超时事件映射到同一个通信OS事件，实现资源使用优化。

公开(公告)号：CN101872375A

公开(公告)日：2010-10-27

申请号：CN201010182629.4

申请日：2010-05-28

Applicant: 浙江大学

Inventor： 李红 ,  胡博 ,  杨玉皓 ,  汪金波 ,  王超 ,  伍如意 ,  王冬冬

IPC: G06F17/50

CPC classification number: Y02T10/82

Abstract: 基于索引的汽车电子软件组件模型仓库的实现方法，包括以下步骤：建立并初始化组件模型仓库；检查组件模型仓库是否已初始化，若是则由用户输入待查询的目标组件的各项数据信息，获取当前目标组件数据；若否，则提示查询无法进行，结束查询；根据目标组件的功能寻找其所属类别，分别计算目标组件与所属类别的现有组件的偏离值；将现有组件按照其与目标组件的偏离值排序，给出推荐列表；偏离值越大，组件的匹配程度越低。本发明具有可方便地对AUTOSAR软件组件进行查找的优点。

公开(公告)号：CN101882078B

公开(公告)日：2013-01-16

申请号：CN201010186142.3

申请日：2010-05-28

Applicant: 浙江大学

Inventor： 杨国青 ,  胡博 ,  王冬冬 ,  伍如意 ,  杨玉皓 ,  汪金波 ,  赵民德

IPC: G06F9/44

Abstract: 基于内存数据架构的模块间实时同步方法，包括以下步骤：读取AUTOSAR标准中的软件组件模型，生成有向无环图；建立散列表；定义修改组件模型的规则，修改规则与修改类型一一对应；获取模型修改信息，将模型修改信息存入操作队列中，识别修改类型、将其与修改规则对应，根据修改规则修改有向无环图和散列表。本发明具有能使组件设计工具和系统配置工具保持一致，开发效率高的优点。