导师代码： 11755
导师姓名： 陈丽蓉
性别： 女
特称：

职称： 高级工程师
学位： 工学硕士学位
属性： 专职
电子邮件： lrchen@uestc.edu.cn

---

学术经历： 2013年，在德国萨尔大学进行为期1年的学术交流访问

---

个人简介： 陈丽蓉，女，1972年12月出生，汉族，电子科技大学计算机科学与工程学院教师。长期从事嵌入式基础软件（包括嵌入式实时操作系统、嵌入式开发工具、嵌入式软件平台等）的研发工作。近年来作为主研人员参与过汽车电子控制器嵌入式软件平台研发及产业化、嵌入式操作系统与开发平台研究、智能手机嵌入式实时软件平台、嵌入式基础软件平台研究、XXXXX操作系统技术等“核高基”重大专项、863软件重大专项、国防军事预研等多项国家级嵌入式软件项目，获得国防科技三等奖1项，发表学术论文多篇，申请获得计算机软件著作权6项，国内发明专利授权3项。获得国家级精品课程“嵌入式系统及应用”、四川省精品课程“嵌入式实时操作系统及应用”以及四川省资源共享课“嵌入式系统及应用”，获得省级教学成果二等奖1项，出版教材及译著5部。

---

科研项目： 【1】汽车电子控制器嵌入式软件平台研发及产业化，“核高基”科技重大专项子课题，2009.01~2011.06；【2】面向3G通信的富媒体互动业务平台的研究与应用，四川省科技厅，2009~2010；【3】汽车电子控制器的实时操作系统的模型开发，四川省科技厅，2013~2015；【4】XXXXX操作系统技术，总装备部，2006~2010；【5】XXXXX汽车电子基础软件开发，2013；【6】VxWorks脆弱性分析及验证技术，2013；【7】协议转换网关，2013；【8】基于多核DSP处理器的嵌入式实时操作系统接口与中间件方法研究，2013；【8】长安**型车身控制器基础软件定制化平台集成测试开发，2014~2016；【9】VxWorks网络仿真环境与控制技术，2014；【10】复杂多配置项软件蓝图设计与虚拟测试方法研究，2014；

---

研究成果： 【1】汽车电子嵌入式操作系统的隔离保护机制，电子科技大学学报（自然版），2014.05；【2】嵌入式软件的覆盖测试，单片机与嵌入式系统应用，2002.11；【3】AUTOSAR OS定时保护机制的改进实现，计算机科学，2011.10；【4】基于主动对象的嵌入式软件设计，计算机应用研究，2008.12；【5】An Implementation of the Resource Management Strategy for OSEK/VDX Operating System. IWMACE2011：The International Workshop on Mechanic Automation and Control Engineering, 2011.8;【6】AUTOSAR 符合性测试适配器的实现方法，计算机工程，2014.01；【7】嵌入式操作系统的形式化验证研究，计算机科学，2015.08；【8】嵌入式软件实验教学系统建设，计算机教育（综合版），2007.8；【9】嵌入式系统教学现状分析及核心课程体系研究报告. 高等学校计算机课程群研究报告汇编，2012.1

---

专业研究方向： 专业名称 研究方向 招生类别
081200计算机科学与技术 05计算机网络与系统安全 硕士
081200计算机科学与技术 07嵌入式系统 硕士

---