由中国计算机学会（CCF）主办，CCF嵌入式系统专委、湖南师范大学承办的CCF走进高校活动，将于2024年11月6日在湖南师范大学召开，敬请关注。

时间：2024年11月6日（星期三）08:30-12:00

地点：湖南师范大学（校本部）中和楼三楼342报告厅

活动日程

报告信息

李仁发

湖南大学教授，原CCF嵌入式系统专委副主任

报告题目：

物联网：专业发展及其研究前沿

报告摘要：

数字化转型已是各行各业的必由之路，物联网技术是助推各行各业数字化转型的核心技术之一，为何物联网工程专业会面临危机？需要从新工业革命与数字经济时代背景重新思考物联网工程专业。嵌入式计算既是物联网发展主要源头之一，也是物联网工程核心技术之一，两者甚至难以区分。报告首先从本科专业发展的角度，简要回顾了物联网工程专业的起源、现状与问题，从 “认证范式”本科教育的六个方面，提出一些观点和建议。其次，作为计算机类的物联网，本质是一类计算范式，报告从计算机科学的最基本问题入手，对嵌入式计算与物联网的研究，提出一些看法。最后指出，边缘计算与边缘AI，是嵌入式系统与物联网研究的两个主要方向。

报告嘉宾：

李仁发，湖南大学计算机学科特聘教授（湖南大学岳麓学者），IEEE/ACM高级会员，《计算机研究与发展》、《通信学报》期刊编委，教育部本科教学审核评估专家和工程教育专业认证专家。现主持国家自然科学基金重点项目。

张凯龙

西北工业大学教授，CCF嵌入式系统专委副主任

报告题目：

软件定义（群）智能系统：体系与技术

报告摘要：

空天地海领域装备的群化协同新发展，迫切需要新型的计算体系与技术。基于新型异构计算体系，将如何基于软件定义来设计弹性、开放的计算体系，以及相关的资源虚拟化、任务微服务、开放式连接、可信管理机制等进行讨论，以支撑实现群智能系统功能、性能的软件可定义。进而，结合无人机集群、嵌入式可信等三个科研案例进行展示和讨论。

报告嘉宾：

张凯龙，博士、博士后（法国），西北工业大学软件学院教授、博士生导师，西北工业大学-巴黎高科MINES机器人与群智能系统联合实验室主任，陕西省计算机教育学会常务理事，中国计算机学会杰出会员、嵌入式系统专委副主任，第二届中国嵌入式系统十大杰出青年、法中科学与应用基金会“卡恩·冈“奖获得者。近年来，主要研究实时/智能/可信嵌入式系、协作式智能交通系统、空天地海群智能协同系统等，主持国家自然科学基金项目、省部级重大科技计划项目等多项。在IEEE Transactions on ITS等领域顶刊、IEEE ITSC等领域旗舰会议发表学术论文60余篇，获发明专利、著作权等30余项，出版嵌入式类专业书籍7部，获陕西省科技进步一等奖、国防科技进步三等奖等。

郑琪

北京奥吉通公司，CCF嵌入式系统专委执委

报告题目：

嵌入式系统及其软件理论与实践

报告摘要：

明确提出嵌入式软件的软件工程、系统工程和嵌入式系统的系统工程的概念，提出了相应的理论体系，并在这个理论体系指导下进行了实践，遵循系统工程原理，建立嵌入式系统及其软件的全寿命周期理念综合一体化复杂系统平台。

报告嘉宾：

郑琪，曾担任北京航天航空大学特聘教授、山东交通学院客座教授、中国卫星导航定位协会嵌入技术专业委员会（民政部批准的二级协会）主任委员、中国卫星导航定位产品与软件测评中心主任等多个职务。基于超系统论的系统工程全寿命周期嵌入式虚拟化、智能固件工具平台的理论和技术成果应用于国防领域多个先进制造业。

谢国琪

湖南大学教授，CCF嵌入式系统专委秘书长

报告题目：

自研启航，嵌入式实时虚拟机ZVM的无垠之旅

报告摘要：

本次报告将介绍ZVM（Zephyr-based Virtual Machine），这是湖南大学嵌入式与网络计算湖南省重点实验室团队基于开源微内核实时操作系统 Zephyr RTOS（由Linux基金会托管） 开发的一款虚拟机管理器（Hypervisor），能在单一硬件平台上启动多个操作系统，以构建安全隔离的多内核混合部署系统。 ZVM一方面继承了Zephyr RTOS的微内核体系结构和开源生态，另一方面为业界提供了一个原创的面向嵌入式场景的开源虚拟化平台解决方案。在ZVM发展过程中，嵌入式虚拟化的许多关键需求被挖掘，我们以此形成了ZVM的关键功能。现在，ZVM依托openEuler社区运营，从最初的第一次提交到现在吸引众多社区小伙伴来共同进行完善，最终将联合社区共同构建openEuler Embedded & ZVM生态，并推进国产操作系统软件生态的发展。

报告嘉宾：

谢国琪，湖南大学教授、博士生导师，从事嵌入式计算基础理论、关键技术与应用系统研究，现任嵌入式与网络计算湖南省重点实验室主任、中国计算机学会（CCF）嵌入式系统专委秘书长、国家级青年人才计划获得者、湖南省杰出青年基金获得者；获华为欧拉开源贡献精英教师奖、入选全球前2%顶尖科学家“终身科学影响力”榜单，担任JSA、JCSC及MICPRO 3本嵌入式领域SCI期刊编委。近五年以第一或通信作者发表CCF A类及ESI高被引论文30多篇、出版专著2本、主持企业项目20多项，主持研制了原创型嵌入式实时虚拟机ZVM、CAN-TSN实时通信系统、全国产“五合一”异构计算框架，汽车软件可视化辅助开发系统、汽车软件架构自动化开发系统、车端V2X场景验证系统，均应用于合作企业的工业实际。