CNCC2021【多领域融合复杂嵌入式软件与系统】技术论坛将于2021年10月28日13:00-16:00在深圳国际会展中心CC202B举行。本次论坛主题聚焦关键技术用于复杂网络物理系统的嵌入式软件和系统。 邀请高校、科研院所、企业的专家共同探讨复杂嵌入式软件/系统架构、设计、开发等新方法、新技术。 以及特定领域复杂嵌入式软件/系统设计和验证技术的专题报告。 欢迎学术界和工业界的同仁参加本次论坛，我们期待与您进行深入交流。
CNCC2021将汇聚国内外顶尖专业力量和专家资源，为10000余名参会者呈现一场精彩盛大的专业盛宴。 不要缺席，我们等待您前来报名参会！
【多领域融合的复杂嵌入式软件与系统】技术论坛
【论坛背景介绍】
航空航天、智能制造、智能交通等领域新型复杂嵌入式系统具有多技术领域、多学科方向交叉融合程度高的特点。 随着此类系统的传感、网联、智能、控制等能力的日益丰富和完善，以及信息物理领域对时间、安全、功耗等非功能属性的严格要求随着环境的变化，其嵌入式系统的软硬件系统和机制变得更加复杂，这对高质量嵌入式系统的设计、开发和验证提出了新的要求和挑战。 本次论坛的主题聚焦于复杂信息物理系统的嵌入式软件与系统关键技术。 邀请高校、科研院所、企业的专家共同探讨复杂嵌入式软件/系统架构、设计、开发等新方法、新技术。 以及特定领域复杂嵌入式软件/系统设计和验证技术的专题报告。 欢迎学术界和工业界的同仁参加本次论坛，我们期待与您进行深入交流。
论坛主席
王泉
CCF嵌入式系统委员会主任、西安电子科技大学教授
王泉，博士，教授，现任西安电子科技大学副校长。 中国计算机学会特聘委员、嵌入式委员会主任。 教育部教学信息化与教学方法创新指导委员会副秘书长、软件工程专业教学指导委员会委员、教育部《教育信息化中长期发展规划（2021-3035）》以及《教育部信息化“十四五”规划》编制专家组成员。
主要研究方向包括嵌入式计算与系统、新型人机交互、人工智能+教育等。主持国家基金、重点研发计划及预研等项目，为国家重大专项提供关键技术支撑。和行业应用。 在IEEE TPAMI、TKDE、TNNLS、TPDS、TIP、IJCAI等国内外重要期刊/会议上发表学术论文40余篇，获得授权专利20余项。 研究成果获省部级教学科研奖十余项。
论坛联合主席
郭兵
CCF嵌入式系统专业委员会副主任、四川大学教授
郭兵，男，教授，博士生导师，四川大学计算机学院（软件学院）副院长，CCF嵌入式系统专业委员会副主任，国家重点研发计划、国家自然科学基金重点项目负责人，主要研究方向包括嵌入式系统、绿色计算、区块链、工业软件等。先后主持32项国家重大专项/重点研发计划、国家自然科学基金、“863”项目、企业横向项目，包括国家重点研发计划项目“面向大规模制造的多价值链协同云服务平台研发”、国家自然科学基金重点项目“嵌入式系统低能耗软件设计方法与技术研究”等，曾任美国密歇根州立大学、日本筑波大学、韩国庆原大学客座教授。 同时在《IEEE Transactions on CloudComputing》、《IEEE Transactions on Computers》、《Journal of Computer Science》及IEEE/ACM国际会议等杂志发表高质量学术论文56篇，并主持ICEES2008、GreenCom2011 ，并担任 EmbeddedCom2013 的联合主席。 、ESCT2013、ICESS2016、CBD2016和FFC2016等7个国际会议，获得四川省、湖北省和国防科工委奖励6项。
论坛日程
时间
主题
主讲人
单位及职务
13:00-13:30
嵌入式平台软件及其在工业控制中的核心作用
严毅
杭州电子科技大学教授、工业互联网研究院院长
13:30-14:00
机载云计算架构
李亚辉
西安航空计算技术研究所研究员、预研室主任
14:00-14:30
航天器操作系统的研究与实践
乔雷
航天五院502研究所研究员
14:30-15:00
自主系统的硬件/软件协同综合和协同优化
常万里
湖南大学计算机学院教授、实时系统国家实验室副主任
15:00-15:30
基于在线验证的实时系统运行时安全监控生成
布蕾
南京大学计算机科学与技术系教授、CCF系统软件委员会秘书长
15:30-16:00
多维度能力目标下的嵌入式系统设计与开发
杨鹏飞
西安电子科技大学计算机工程系副教授、副主任
16:30
智能无人系统等安全关键领域容错增强技术探讨
姜伟
电子科技大学副教授
演讲者介绍
严毅
杭州电子科技大学教授
演讲人简介：严毅，杭州电子科技大学二级教授，博士生导师，享受国家特殊津贴专家。 浙江省政府咨询委员会委员、浙江省科技厅电子网络专家组组长、PLCopen China主席、杭州电子科技大学工业互联网研究院院长。 杭州电子科技大学计算机国家实验教学示范中心负责人、国家虚拟仿真实验项目负责人、浙江省重点科技创新团队（嵌入式工业关键技术）负责人）。 中国机电一体化应用协会常务委员、中国计算机学会嵌入式专家委员会常务委员。 作为负责人的研究成果获浙江省技术发明奖一等奖、科学技术一等奖1项、科学技术二等奖2项； 作为主要成员获得国家级教学成果二等奖两项。 拥有发明专利技术50余项，科研成果产业化已产生经济效益10亿元。 发表论文40余篇，其中多篇被SCI、EI收录。
报告标题：嵌入式平台软件及其在工业控制中的核心作用
报告摘要：当今的可编程控制器是工业4.0的核心。 它在数控自动化生产线、机器人、数控控制中发挥着至关重要的作用，而嵌入式平台软件是我国可编程控制器的核心。 平台成了“卡壳”问题。 如何借鉴国际标准的经验，开发独立的可编程控制器组态平台是一种可行的方法。 这里我们将介绍杭州电安嵌入式团队在该领域20年的科研、产品开发和产业化历程。
李亚辉
西安电子科技大学 博士后
演讲人简介：李亚辉，博士，西安电子科技大学博士后，研究员，航天工业计算研究所预研室主任，航天工业计算研究所重点实验室副主任机载导弹航空科学与技术。 目前主要研究方向为计算机系统结构、人工智能、信息。 安全等，承担多项国家重点研发项目，获省部级一等奖2项、省部级二等奖2项。
报告标题：机载云计算架构
报告摘要：面向未来民航领域自由飞行的需求，结合机载系统智能化发展趋势，探索通过云计算实现异构机载平台资源的组织和管理，以及基于云计算理论的能力需求。 、核心问题和发展趋势等，提出飞机间协作的机载云计算架构，并进一步分析云系统内的信息共享和功能组织等能力需求。
乔雷
航天五院502研究所研究员
演讲人简介：乔雷，博士，第五航空航天研究院502研究所研究员，CCF高级会员。 国家万人计划青年拔尖人才、中国航天科技集团公司青年拔尖人才、2019年NASAC青年软件创新奖获得者、耶鲁大学访问学者。 中国计算机学会系统软件、形式化方法与工业控制计算机委员会委员。 一直致力于操作系统软件的设计、验证和信任保证技术研究。 研究成果在我国玉兔一号、二号月球车为代表的重大任务中得到了直接应用并发挥了关键作用。 发表论文50余篇，合作出版专着1部，申请国家发明专利20项，国际发明专利1项。 主持或参与国家自然科学基金、核高技术基金、863、预装研究等国家重大科研项目10余项。 作为核心成员软件开发的形式化方法，他开发了我国首个航天器操作系统SpaceOS，已应用于载人航天、探月工程、北斗导航等百余艘航天器。 曾获国防科技创新团队奖、北京市科技进步一等奖、军队科技进步三等奖等多项奖励。
报告题目：航天器操作系统的研究与实践
报告摘要：分析总结我国航天领域嵌入式操作系统的发展历程及应用。 重点介绍了中国航天科技集团公司五院502所研发的具有自主知识产权的航天器嵌入式操作系统SpaceOS的设计和验证方法，并展望了未来航天器操作系统的发展前景。
航天器是资源有限的安全关键系统。 对自主智能的要求日益提高。 当面对外部环境和内部状态的变化而不改变硬件资源时，需要在保证系统功能的情况下动态扩展和重构系统功能。 正确性和实时性。 针对航天器任务实时性强、时间可预测性要求高等特点，本报告以下一代航天器操作系统的实时任务调度、共享资源协作、时间确定性保证等需求为例，研究航天器任务实时调度，准确解决输入控制、形式化验证等关键问题，为航天器多种类型实时任务的执行提供实时保障机制，并已在实际中应用航天器系统。
常万里
湖南大学教授
演讲人简介：常万里，湖南大学教授、博士生导师，2020年入选国家海外高层次人才引进计划，华为高级专家顾问，SIGBED秘书长、ACM嵌入式系统专委会常务委员SIGDA，设计自动化特别委员会。 此前，他曾担任英国约克大学终身教授、实时系统国家实验室副主任、博世专家顾问。 毕业于德国慕尼黑工业大学，获最佳博士论文奖。 他在新加坡南洋理工大学获得学士学位。 近三年发表CCF A类论文19篇，8次被提名CCF B类及以上会议最佳论文。 担任DAC自动系统领域主席、RTSS论文奖励委员会成员、英国计算机学会杰出论文奖评审专家。
报告标题：自主系统的硬件/软件协同综合和协同优化
报告摘要：随着现代自主系统中集成的功能越来越复杂，传统的设计方法可能不足以提供具有严格的时间、安全性和成本效率要求的可信高性能系统。 在本次演讲中，我们讨论了传统设计方法在满足上述要求的情况下的局限性，其中硬件和软件设计通常是分开考虑的。 为了解决这些限制，本演讲提出了一种综合软件级和硬件级设计的新颖设计解决方案。
首先，我们根据最终的系统性能、egg 延迟来强调并分析软件级方法（例如优先级分配和任务分配）和硬件设计（例如缓存和内存管理）之间的互连。 其次，通过应用已确定的互连，我们提出了一个优化框架，以基于一组候选设计方法生成软件和硬件设计的高质量综合解决方案。 此外，我们还描述了来自嵌入式系统、系统安全和编程语言社区的工程师和研究人员可以联合研究的工作和主要挑战的潜在研究方向。
布蕾
CCF系统软件委员会秘书长、南京大学教授
演讲人简介：卜磊，南京大学计算机科学与技术系教授、博士生导师。 主要研究领域为软件工程和形式化方法，包括模型检验技术、实时混合系统、信息物理融合系统等。2010年获得南京大学计算机科学博士学位，曾进行访问学习和合作研究在CMU、MSRA、UTD、FBK等科研机构工作。 相关工作发表在TCAD、TC、TDSC、TCPS、TPDS、RTSS、CAV、HSCC等该领域重要期刊和会议上。入选NASAC青年软件创新奖、大学计算机科学优秀教师奖励计划、中国计算机学会青年人才培养计划、微软亚洲研究院明星计划等
报告标题：基于在线验证的实时系统运行时安全监控生成
报告摘要：实时混合系统广泛应用于列控、航天、航空、智能驾驶等安全相关领域，其行为的正确性至关重要。 然而，实时混合系统的内部行为是离散行为和连续行为交织在一起，极其复杂； 外部的动态和不确定环境进一步加剧了相关系统行为的复杂性，导致相关系统的安全难以保障。 针对这一问题，我们提出了一种基于形式化验证的方法，对系统运行时的短期行为进行快速建模和验证，从而发现并警告潜在的不安全行为。 在此基础上，运行时自动生成细粒度的控制参数。 当发现潜在危险时，接管系统控制以确保操作安全。
杨鹏飞
西安电子科技大学副教授
演讲人简介：杨鹏飞，西安电子科技大学副教授，计算机工程系副主任，CCF嵌入式系统专业委员会常务委员。 主要从事嵌入式系统结构和嵌入式智能计算方面的研究，承担过国家自然科学基金、智慧眼项目、国家重点研发计划子课题、陕西省重点研发计划、航天航空等十余项项目科协基金、企业合作项目。 。
报告标题：多维度能力目标下的嵌入式系统设计与开发
报告摘要：“无处不在”、“无所不能”的智能嵌入式系统正在重新定义个人生活、颠覆行业模式、加速社会发展。 未来嵌入式系统必须具备高性能、高安全性、自组织、智能化等多维度能力，这对嵌入式系统的设计和开发提出了更高的要求。 本报告从架构设计、系统资源管理、代码编译与部署、智能应用开发等方面梳理了嵌入式系统的现状和挑战。 讨论了应对系统开发新挑战的思路和方法，并介绍了团队在这方面所做的努力。 发现工作。
姜伟
电子科技大学副教授
演讲人简介：姜伟，电子科技大学副教授、博士生导师，四川省留学高层次人才。 就读于电子科技大学计算机科学与工程学院，获得本科、硕士、博士学位。 2009年毕业于电子科技大学计算机应用技术专业，获博士学位。 获得国务院国际教育委员会和丹麦政府文化交流奖学金，2011-2012年在丹麦DTU大学进行为期一年的嵌入式系统研究。2012年4月在ESLAB进行短期访问研究瑞典林雪平大学实验室。 兼任IEEE CEDA成都分会秘书、JCSC期刊副主编、JSA、JEST等期刊客座编辑、ICITES 2021会议主席等学术职务。 长期从事可信系统研究，主持多项安全关键实时系统、可信人工智能、深度学习容错等研究项目，其中包括国家自然科学基金项目中国和深圳腾讯公司。 发表IEEE TCAD、ACM TCPS等刊物，发表EMSOFT、CODES+ISSS等学术论文40余篇，荣获IEEE NAS最佳学生论文、中国电力协会三等奖等荣誉科学技术进步奖。
报告标题：智能无人系统等安全关键领域容错增强技术探讨
报告摘要：人工智能技术将广泛应用于智能无人系统、航空航天、智能工业等安全关键领域。 安全关键领域的智能系统面临着严峻的“内忧外患”。 除了要面对黑客攻击带来的错误威胁外，还要面对来自实际部署环境和自身特点的错误威胁。 如果不能正确处理错误的威胁，必然会导致智能系统失效或崩溃，造成严重的财产和生命损失，甚至造成巨大的灾难。 本报告将介绍和讨论适合智能无人系统的人工智能容错增强技术、深度学习容错技术、系统级容错设计技术。
CNCC2021将于10月28日至30日在深圳举行。 今年大会的主题是“计算赋能，加速数字化转型”。 CNCC 是计算领域学术界、工业界和教育界的年度盛会。 它从宏观层面讨论了技术发展趋势。 今年，预计参与人数将达到10,000人。 年度专题报告嘉宾包括院士、图灵奖获得者、国内外著名大学学者、知名企业领导以及各领域有影响力的行业专家。 豪华的嘉宾阵容彰显了CNCC的顶级行业标准和行业标准。 影响。
今年的特邀嘉宾包括ACM图灵奖获得者John Hopcroft教授和Barbara Liskov教授，南加州大学计算机科学系和空间研究所的Yolanda Gil教授软件开发的形式化方法，陈伟江、冯登国、郭光灿等院士、孙宁辉、王怀民等。 在行业内具有深厚影响力的专家。 今年技术论坛多达111场，在数量、质量、覆盖面等方面均创历史新高，将为与会者带来学术、技术、产业、教育、科普等方面的全面体验。 大会期间，首次举办“会员之夜”大型主题嘉年华活动，让参会者自由交流。
CNCC2021将汇聚国内外顶尖专业力量和专家资源，为超过10000名参会者呈现一场精彩盛大的专业盛宴。 不要缺席，我们等你，欢迎报名！
CNCC2021报名
CCF推荐
【精品文章】
