•  

 

      李红 博士,2000年7月获得浙江大学测控技术与仪器专业学士学位,2010年9月获浙江大学计算机专业博士学位。主要研究方向为嵌入式系统、实时系统等。提出了面向汽车电子的装配式软件开发方法SmartV,基于标准化组件的分布式集成模型和层次化软件模型。作为主要成员参与完成了包括国家工信部核高基重大专项、国家高技术研究发展计划863在内的多项国家级和省级重大课题的申报与实施,组织开发了面向机电实控领域的智能平台SmartSAR。发表相关论文10余篇,授权相关发明专利16项,登记软件著作版权10项。2012年2月获教育部科技进步二等奖,2012年12月获浙江省科技进步一等奖。

 

 

嵌入式系统、实时系统。 

 

 

[1]      李红, 赵庆玲, 林曼, 姚栋伟. “基于OSEK OS的发动机管理系统时间自动机模型分析”. 汽车工程. Vol.33, No.3, pp.250-255, 2011.

[2]      Hong Li, Qi Hu, Peifeng Zhang, Zhigang Gao. “A Method to Improve Interrupt Latency in Real-Time OS Kernels”,International Journal of Embedded System (IJES), Vol.4, No.1, pp.37-45, 2011.

[3]      邓俊, 李红(通信), 方正, 罗端, 胡琦, 唐凯. “AUTOSAR OS存储保护方案的改进与实现”, 仪器仪表学报. Vol.32, No.9, pp.2146-2152, 2011.

[4]      胡琦, 李红(通信), 赵民德, 吴锋, 姚栋伟, 方正. “基于 AUTOSAR 的电控汽油机ECU 软件设计与实现”,浙江大学学报工学版. Vol.45, No.6, pp.1119-1123, 2011.

[5]      Zhaohui Wu, Hong Li, Guoqing Yang, Zhigang Gao, Pan Lv, "An Improved Method of Task Context Switching in OSEK perating System", International Journal of Persive Computing and Communications, Vol.2, No.2, pp.179-191, 2010.

[6]      Ruyi Wu, Hong Li, Jinbo Wang, Yuhao Yang, "A Hierarchical Modeling Method for AUTOSAR Software Components", International Conference on Computer Engineering and Technology (ICCET2010), Chengdu, China, Vol.4,pp184-188, 2010.

[7]      Nan Li, Hong Li, Xiaofeng Zhong, Zheng Sun, Wei Bao, "AUTOSAR Based Automatic GUI Generation", In the 13th IEEE International Symposium on Object/component/service- oriented Real-time distributed computing, Carmona (Parador de Carmona), Spain, pp.156-162, 2010.

[8]      Li Zhou, Hong Li, Weimin He, Chengshuo Zhang, Zhu Wang, "Scheduling Non-periodic Tasks Using Sporadic Server in AUTOSAR Operating System," In IEEE International Symposium on Industrial Electronics (ISIE2010), Bari, Italy, 2010.

[9]      Hong Li, Pan Lu, Min Yao, Nan Li, “SmartSAR: A Component-based Hierarchy Software Platform for Automotive Electronics”, the 2009 International Conferences on Embedded Software and Systems (ICESS 2009), pp.164-170, 2009.

[10]   Peifeng Zhang, Hong Li, Zhigang Gao. “PIL: A method to improve interrupt latency in real-time kernels”, ScalCom-EmbeddedCom 2009, pp.75-80, 2009.

[11]   Zhaohui Wu, Hong Li, Zhigang Gao, Jie Sun, Jiang Li. “An Improved Method of Task Context Switching in OSEK Operating System”. 20th International Conference on Advanced Information Networking and Applications (AINA2006), Vol. 1, pp 217-222, 2006.

[12]   Zhigang Gao, Zhaohui Wu, Hong Li. “Implementation Synthesis of Embedded Software under Operating Systems Supporting the Hybrid Scheduling Model[C]”. Proceedings of the 2006 IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2006), Seoul, Korea, LNCS, 4096:426-436, 2006.

[13]   Guoqing Yang, Minde Zhao, Hong Li, Zhaohui Wu. “SmartOSEK Based Design and Verification for In-vehicle Network System: A Model-Based Approach”, International Conference on Control, Automation, Robotics and Vision (ICARCV2006), Vol. 1, pp.1628-1633, 2006.

已授权发明专利18项

[1]       专利名称“基于AUTOSAR的COM层通信时限监测方法”,授权专利号ZL201110159341.X,授权时间2013.10.30

[2]       专利名称“一种应用于RTE代码生成的OS资源分配冲突解决方法”,授权专利号ZL201110229808.3,授权时间2013.9.25

[3]       专利名称“基于AUTOSAR的电控单元通信数据格式的自动生成方法”,授权专利号ZL201110153355.0,授权时间2013.7.31

[4]       专利名称“用于AUTOSAR的RTE代码自动生成方法”,授权专利号ZL201110162602.3,授权时间2013.7.3

[5]       专利名称“一种基于遗传算法和带权匹配算法的测试案例自动生成方法”,授权专利号ZL201010186855.X,授权时间2013.6.19

[6]       专利名称“基于SmartOSEK OS的非周期性任务调度方法”,授权专利号ZL201010186849.4,授权时间2013.6.12

[7]       专利名称“基于contract的提高AUTOSAR OS调度灵活性和资源利用率的方法”,授权专利号ZL201110230201.7,授权时间2013.6.5

[8]       专利名称“一种虚拟化环境中的准入控制与负载均衡控制方法”,授权专利号ZL201110229811.5,授权时间2013.2.27

[9]       专利名称“车载电子总线静态段通讯扩容方法”,授权专利号ZL201010569884.4,授权时间2013.1.30

[10]       专利名称“一种改善嵌入式实时操作系统中断延迟的方法”,授权专利号ZL200910101891.9,授权时间2012.12.5

[11]       专利名称“基于CAN的嵌入式软件可靠性测试中的通信方法”,授权专利号ZL201010171389.8,授权时间2012.12.5

[12]       专利名称“一种嵌入式软件在线测试系统”,授权专利号ZL201010189100.5,授权时间2012.6.20

[13]       专利名称“基于简化继电器矩阵的I/O端口映射方法”,授权专利号ZL201010168783.6,授权时间2012.2.29

[14]       专利名称“一种曲轴与凸轮轴模拟信号产生方法及其装置”,授权专利号ZL201010186889.9,授权时间2012.2.1

[15]       专利名称“一种基于运行实体映射策略的ECU内部通信优化方法”,授权专利号ZL200910097835.2,授权时间2011.6.22

[16]       专利名称“一种基于模型信息的智能提取方法”,授权专利号ZL200810061925.1,授权时间2010.8.25

[17]       专利名称“一种基于汽车电控领域模型的自动状态机构造方法”,授权专利号ZL200810059418.4,授权时间2009.9.16

[18]       专利名称“支持OSEK标准的嵌入式实时操作系统的任务调度方法”,授权专利号ZL200510060735.4,授权时间2007.11.28

重点工作的主要项目列表:
[1]  863项目“支持汽车电子的嵌入式软件平台”,编号2003AA1Z2140,2003.7-2005.10
[2]  863项目“面向数字化设备的嵌入式软件平台”,编号2004AA1Z2180,2004.10-2005.10。
[4]  杭州市科研攻关重点项目“车控电子嵌入式支撑软件平台”,编号20062412B01,2006.6-2008.6。
[5]  863项目“面向嵌入式软件的生产线”,编号2007AA010304,2007.12-2010.12。
[6]  863项目“基于模型驱动的汽车电子安全软件开发技术”,编号2007AA01Z129,2007.10-2009.10。
[7]  省科技厅项目“基于AUTOSAR的汽车电子软件平台及发动机控制应用示范”,编号2008C01036-3,2008.7-2010.7。
[8]  核高基项目“实时嵌入式操作系统及开发环境”,编号 2009ZX01038-001,2009.1-2011.6。
[9]  核高基项目“一汽汽车发动机和动力总成电子控制器嵌入式软件平台研发及产业化”,编号2009ZX01038-002,2009.1-2011.6。

 

返回主站   | 联系与反馈   | 最新动态   | 关于我们

   浙江大学计算机科学与技术学院 CCNT实验室
   Copyright 2008 CCNT.All Rights Reserved.