针对空间应用对控制计算机系统需求，系统介绍了空间控制计算机技术发展现状，主要包括空间容错计算机体系结构、空间抗辐射片上系统芯片、空间高可靠实时操作系统、空间可信软件技术。在此基础上，提出了空间控制计算机系统自主容错、微小型化、智能化、操作系统多核并行、可信软件保障、虚拟设计与仿真的发展方向。

杨孟飞，博士，中国空间技术研究院研究员，博士生导师，中国科学院院士，国际宇航科学院院士。主要从事空间飞行器系统总体、控制系统、控制计算机和可信软件的研究和开发工作。现任探月工程三期探测器系统总设计师。

随着万物互联时代的到来和网络技术的进步，边缘终端设备已成为人们生活不可或缺的一部分，与此同时，人们对服务质量有了更高的要求。在此情况下，边缘计算应运而生。报告首先介绍了针对边缘计算分布式环境，为保证终端设备异构服务质量请求所做的部分调度优化工作。其次，结合当前热议的人工智能（AI），探讨了由边到云，协同推送AI as a Service（AIaaS）的发展愿景。

李肯立，国家超级计算长沙中心主任，教育部长江学者特聘教授、国家杰出青年科学基金获得者、中组部万人计划科技创新领军人才。教育部高效能计算学科创新引智基地负责人、数据分析湖南省工程技术研究中心主任。担任国家超级计算创新联盟副理事长、新一代人工智能产业技术创新联盟专家委员会委员、IEEE高级会员、CCF杰出会员、CCF高性能计算专业委员会常务委员、湖南省计算机学会秘书长等学术兼职，IEEE-TC编委，IEEE-TII、JCSS、NEURO、C&F、IJPP、CCPE等特刊编委。

阐述了工业互联网的由来；给出了工业互联网的体系架构参考模型和层次结构；介绍了工业互联网涉及的关键技术；讨论了工业互联网发展面临的巨大挑战和对策。

王兴伟，男，1968年1月出生，博士，教授，博士生导师。国家杰出青年科学基金获得者，国务院政府特殊津贴获得者，教育部新世纪优秀人才，辽宁省优秀教师，沈阳五一劳动奖章获得者；中国计算机学会体系结构专委会副主任委员，中国计算机学会互联网专委会副主任委员；中国通信学会理事，会士，会士遴选委员会委员；中国教育和科研计算机网CERNET专家委员会委员、东北地区网络中心主任；辽宁省互联网协会副理事长；CTON编委，《计算机学报》编委，《软件学报》编委，《计算机研究与发展》编委，《计算机科学与探索》编委，《计算机科学》编委，《小型微型计算机系统》编委。爱思唯尔中国高被引学者。主要研究方向为互联网、云计算和网络空间安全等。获国家科技进步二等奖2项、教育部科技进步一等奖2项、中国通信学会科学技术一等奖1项、辽宁省技术发明二等奖1项；在IEEE Trans等著名学术期刊和IEEE ICDCS等著名学术会议上发表论文100余篇，SCI收录100余篇；出版学术著作4部；取得国家发明专利授权27项；获国家级和省部级人才培养奖励20项。 现任东北大学研究生院常务副院长。曾任东北大学学术委员会秘书长，东北大学国家示范性软件学院院长，东北大学发展规划与学科建设处处长、985工程办公室主任、211工程办公室主任、高等教育研究所所长，东北大学计算中心主任、网络中心主任等。

报告回顾物联网操作系统的发展历史，总结了物联网操作系统的五大技术特征。报告对市场的三种物联网操作系统，Amazon FreeRTOS、Huawei Lite OS和 RT-Thread 进行分析和比较，对于物联网操作系统在边缘计算和物联网安全领域的发展做了阐述，报告最后结合现在热议的万物互联、走向智能社会的操作系统技术和生态，探讨了新一代物联网操作系统发展愿景。

何小庆 北京麦克泰软件技术有限公司创始人和董事长，北航《单片机与嵌入式系统应用》杂志副主编和编委会副主任。何小庆长期从事嵌入式与物联网技术、市场和教育方面工作，是中国软件行业协会理事，中国计算机学会嵌入式专委委员，嵌入式系统联谊会秘书长。出版有《嵌入式操作系统风云录：历史演进与物联网未来》，《嵌入式实时操作系统μC/OS-III应用开发》和《嵌入式软件精解》等多本专著，已在国内外科技期刊和会议上发表论文80余篇，还在高校和企业兼职授课，个人网页www.hexiaoqing.net

我国计算机关键软/硬件研究工作经历了两个五年计划的发展，取得了辉煌的成绩，解决了国产产品的有无问题。但是，随着国家自主可控战略发展的迫切需要，国产计算机关键软/硬件的发展已处于关键的十字路口，何去何从将是我们面临的主要问题。2002年，叶宏研究员带领操作系统团队，在各级领导的坚定支持下，开始了长达18年的天脉（ACoreOS）国产嵌入式实时操作系统研制工作，在国内率先研制出满足综合化模块化航空电子系统（IMA）需要国产嵌入式操作系统，并在我国新型飞机中得到规模化应用。本报告将以本人十余年在自主可控领域的探索经历为视角，在回顾国产计算机软硬件发展历程的基础上，总结了经验和教训，探讨了未来我国国产基础软件的发展策略与方向，在技术方向、生态环境和产业化等方面提出了自己的战略观点。

叶宏研究员长期在中国航空工业集团公司西安航空计算技术研究所从事嵌入式系统研制工作，副总工程师，航空工业集团公司特级技术专家。曾主持多项国家重点预研、国家“核高基”专项（军口）和装备型号任务30余项。早期主持的军用JOVIAL编译系统打破了国外封锁，为我国早期歼击机电子设备软件开发奠定了基础，主持参与了国家九五、十五、十一五和十二五预先研究课题，突破了综合化航空电子系统软件架构、资源共享和数据融合等关键技术，近年来主持研制的天脉国产系列嵌入式操作系统，填补了国内空白，并对航空装备基础软件的自主可控发展做出了贡献。主要研究方向包括操作系统及开发环境、嵌入式系统、软件工程、形式化验证和软件安全性可靠性等。曾获国防科技进步一等奖2次、二等奖3次、三等3奖，获得20余项国家发明专利，发表论文多篇、荣立集团一、二等功8次。

随着IoT时代的到来，传统的访问控制模型面临巨大挑战。传统访问控制模型的应用环境具有中心化和主客体变更不频繁的特点，如操作系统、内联网、云计算等。在IoT环境中，终端、边沿节点、网络节点、服务器都具备计算能力，且能被分配计算任务，传统访问控制模型受制于其中心化的策略管理与访问控制模式难以适应IoT环境。在支持移动互联的IoT环境中，设备终端与网络拓扑变更频繁，主客体数量庞大，权限难于直接预配置。基于属性的访问控制模型（ABAC）策略不直接与主客体关联，主客体的加入不会导致策略变更；同时，其策略可以分布式存储与执行，与IoT计算模式具有很好的契合度。报告分析了访问控制模型在IoT环境中面临的新问题，结合日益重视的隐私保护需求，提出了支持匿名授权的ABAC框架，提出了主体、客体、访问请求匿名性评估模型，为ABAC的应用以及安全策略的自动定义和挖掘奠定了良好的理论基础。

刘刚，博士，副教授。主要研究领域：嵌入式系统与安全、集成电路的行为级建模技术与辐照效应仿真、计算机外部设备工程。多年来，主持或参与装备预研、重点研发计划、国家自然基金十余项。在系统安全及访问控制模型与方法、基于SOPC的外部设备成像控制，以及集成电路的行为级辐照效应建模与仿真方面取得了较好成果。基于SOPC设计的成像控制IP，已在多个打印机、复印机项目中得到应用；集成电路总剂量效应行为级建模方法及电路级仿真系统等成果已应用于航天一院等单位的系统抗辐射加固设计。刘刚，博士，副教授。主要研究领域：嵌入式系统与安全、集成电路的行为级建模技术与辐照效应仿真、计算机外部设备工程。多年来，主持或参与装备预研、重点研发计划、国家自然基金十余项。在系统安全及访问控制模型与方法、基于SOPC的外部设备成像控制，以及集成电路的行为级辐照效应建模与仿真方面取得了较好成果。基于SOPC设计的成像控制IP，已在多个打印机、复印机项目中得到应用；集成电路总剂量效应行为级建模方法及电路级仿真系统等成果已应用于航天一院等单位的系统抗辐射加固设计。

华为作为全球领先的ICT解决方案供应商、产品与解决方案应用于170多个国家和地区，服务于全球1/3以上的人口，在今年发布的世界500强排名中，华为位列第61名。华为公司的愿景是把数字世界带入每个人、每个家庭、每个组织，构建万物互联的智能世界。2018年至今，先后发布64核服务器处理器芯片鲲鹏920和AI处理器芯片昇腾310、910。

为了满足当今飞速发展的深度神经网络对芯片算力的需求，华为于2018年推出的昇腾系列AI处理器芯片，可以对整型数或浮点数提供强大高效的乘加计算力。昇腾AI处理器芯片大致可以划为芯片系统主控处理器（CTRL CPU），AI计算引擎（包括AI Core和AI CPU），多层级的片上系统缓存（Cache）或缓冲器（Buffer），图像视觉预处理模块（Digital Vision Pre-Processing，DVPP）等。由于昇腾AI处理器具有强大的算力并且在硬件体系结构上对深度神经网络进行了特殊的优化，使之能以极高的效率完成目前主流深度神经网络的计算，在图像、视频、语音、文字处理领域拥有广阔的应用前景。

杜鹏，现任华为AI解决方案技术专家，博士毕业于浙江大学，曾先后在韩国科学院、新加坡南洋理工大学、杭州电子科技大学从事教学科研工作。研究成果发表在SIGGRAPH、PG、i3D、CGI、CASA、CVM等图形图像领域国际会议上。

空间恶劣环境使得控制计算机极易受到干扰，造成瞬时或永久性故障，影响航天任务的顺利开展。为保证在任务期间能够连续稳定工作，一般通过冗余技术，提高其可靠性。目前，国内外航天器使用的热备份控制计算机主要包括三模和四模冗余计算机等。本报告针对载人、探月和返回卫星等强实时、高可靠和高安全需求，阐述了三模冗余容错系统结构、方法，以及数据表决策略，对三模冗余方法输出比对阈值选择的复杂试验迭代和非完备验证的问题及如何实现控制计算机系统的无中断容错重构等进行了介绍。最后，对未来载人、探月和火星等任务在此方面可能面临的难题进行了展望。

刘波，1977年生，研究员，博士，博导。2005年毕业于中科院计算所计算机系统结构专业，目前主要从事空间可信计算机系统的研发工作。