公开(公告)号：CN101867570A

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

申请号：CN201010171389.8

申请日：2010-05-13

Applicant: 浙江大学

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

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

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

公开(公告)号：CN101295246A

公开(公告)日：2008-10-29

申请号：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语言擅长于描述通用建模过程，该模型转换策略的出现，解决了在汽车电子领域，通用建模过程领域细化的问题。