面向工业的操作系统论坛
NASAC
随着信息技术和工业领域的深度融合,工业互联网平台是建设现代化工业体系的重要支撑,是建设制造强国和网络强国的关键。目前,我国工业互联网平台建设从供给侧和需求侧两端发力,以平台为核心的工业互联网生态正加速构建。然而,现有的操作系统在支撑工业控制中的核心逻辑时仍面临挑战,面向工业的操作系统需要对传感、传输、处理和反馈控制等过程提供更高的实时性保障、可靠性保障和安全性保障。同时,由于实际工业场景的复杂化,面向工业的操作系统也需要提供一定的个性化服务。本次论坛邀请了来自软件工程学术界、教育界和产业界的专家共同探讨在当前时代背景下面向工业的操作系统研发和产业化的关键问题,并探讨未来面向工业的操作系统产学研合作,以推动国内面向工业的操作系统的研究与应用。论坛由CCF系统软件专委联合CCF软件工程专委共同举办。
论坛组织委员会:
胡春明(北京航空航天大学)
崔西宁(中国航空工业第631研究所)
孙毓忠(中国科学院计算技术研究所)
日程安排:
时 间:2020年11月20日 (星期五) 08:50-12:30
地 点:重庆富力假日酒店 会议室2
论坛议程:
时 间 |
主 题 |
讲 者 |
08:50-09:00 |
开幕致辞 |
金芝,北京大学 |
09:00-09:30 |
天脉操作系统的软件工程实践 |
韩炜,航空工业计算所 |
09:30-10:00 |
工业机器人操作系统及云平台 |
牛建伟,北京航空航天大学 |
10:00-10:30 |
嵌入式基础软件技术发展与工程实践 |
施刚,中电32所 |
10:30-10:50 |
茶 歇 |
|
10:50-11:20 |
基于RUST语言的安全确定性操作系统内核 |
陈渝,清华大学 |
11:20-11:50 |
全新一代AIoT操作系统 AliOS Things 4.0 |
毛熠璐,阿里云 |
11:50-12:20 |
面向工业的数据库操作系统设计与应用挑战 |
徐子晨,南昌大学 |
12:20-12:30 |
论坛总结 |
孙毓忠,崔西宁,胡春明 |
特邀报告及报告人简介:
1. 韩炜:天脉操作系统的软件工程实践
摘要:自主天脉操作系统的研制背景及历程,操作系统的基本定义、概念及关键技术,天脉操作系统研制遵循的软件工程、天脉操作系统研制软件工程实践,国产自主机载嵌入式操作系统未来发展及展望。
简介:韩炜研究员,中国航空工业计算技术研究所副所长。航空工业集团嵌入式软件首席技术专家,中国计算机学会计算机工程和工艺专委主任,西安电子科技大学兼职博导。长期以来主持研制了我国多型飞机高可靠机载计算机,并大批量装备使用。主持我国机载自主知识版权天脉操作系统的研制、攻关,并在各型航空装备上广泛使用。组织团队研制了面向航空综合化航空电子系统所需的多款核心SoC芯片。组织编写航空装备有关国产电子元器件和基础软硬件选用、替代设计、应用验证等相关标准30余篇。先后获得国家级、省部级、集团级科研技术类奖项40余项,获得省部级、集团级立功二十余项,享受国务院政府特殊津贴。著有《可信嵌入式软件开发与实践》以及论文多篇。
2. 牛建伟:工业机器人操作系统及云平台
摘要:首先介绍了国外机器人操作系统的发展现状和趋势,然后重点讨论了目前国产机器人操作系统的研发和行业应用现状。介绍了大数据、云计算和人工智能等新一代信息技术与机器人技术融合发展,重点讨论工业机器人云平台,并围绕机器人操作系统与云平台有效协同问题,讨论构建工业机器人云平台需要处理的几大关键技术:实时可靠接入与传输、云边端协同计算架构、工业机器人工艺优化、远程智能故障检测和预测性维护。最后介绍了机器人云平台面临的技术挑战和发展趋势。
简介:牛建伟 博士,北京航空航天大学教授,国家重点研发计划项目负责人,国家级计算机专业实验教学示范中心主任,美国卡内基梅隆大学访问学者,曾入选教育部 “新世纪优秀人才支持计划”,获教育部技术发明一等奖和北京市教学成果一等奖,获宝钢优秀教师荣誉称号,国内人工智能领域论文高被引学者。在重要国内外期刊和会议上发表学术论文200余篇,ESI高被引6篇,H-index 43,SCI他引共1700多次。获得2017年IEEE System Journal、2015年JNCA年度Best Paper、IEEE ICC 2013、 IEEE WCNC 2013等期刊/会议Best paper共7篇,获得2013年北航十佳会议论文,出版教材2部。
3. 施刚:嵌入式基础软件技术发展与工程实践
摘要:电子装备的数字化、软件化、网络化、智能化发展,推动着嵌入式基础软件向开放化、平台化演进,嵌入式系统也呈现出硬件标准化、功能软件化、应用智能化、系统可重构的技术特征,报告重点阐述嵌入式基础软件的体系架构演化与关键技术,并结合锐华嵌入式实时操作系统的实践,提出国产嵌入式基础软件发展思路与产业化推进模式。
简介:施刚,高级工程师,1995年毕业于上海大学无线电系,现任中国电子科技集团公司第三十二研究所下属公司上海华元创信软件有限公司副总经理。近年来共计获得国防科技进步奖3项、集团科技进步奖1项、上海市科技进步奖1项。施刚同志专业从事基础软件研究与开发,目前其负责锐华操作系统产品面相领域的定制,锐华产品达到国外的产品技术水平,获得国际安全认证,能够实现了国外产品的完全替代,并用于国防、轨道交通、核电等安全关键装备,极大的提高了嵌入式控制领域的技术能力水平和产业的核心竞争力。
4. 陈渝:基于RUST语言的安全确定性操作系统内核
摘要:介绍当前编程语言与硬件系统结构的历史与发展对操作系统内核及其应用的影响;分析操作系统内核在语言层面当前面临的挑战和解决方法;阐明基于RUST系统编程语言的操作系统原型zcore在安全性和确定性上的一些设计思路。
简介:陈渝,国防科学技术大学本硕博毕业,清华大学计算机系长聘副教授,博导,MIT访问学者,CCF系统软件专委常务委员。主要研究方向操作系统,编译原理,程序分析,系统可靠性与性能优化等。先后负责和参与了二十多余项国内外课题,发表高水平学术论文50余篇,担任国内外有影响力学术会议的主席和程序委员会委员等。承担清华大学计算机系的操作系统、编译原理、高级操作系统等课程的教学工作。
5. 毛熠璐:全新一代AIoT操作系统 AliOS Things 4.0
摘要:AliOS Things 是完全自主知识产权、高可伸缩的AIoT统一操作系统,致力于推进物理世界数字化、智能化的发展。具备极致性能、极简开发、云端一体、丰富组件、安全防护等关键能力,并通过接入阿里云平台聚合了阿里经济体各类服务,可广泛应用在智能家居、智慧城市、新工业、新出行等领域。AliOS Things采用友好的Apache2.0协议,在2017年通过GitHub开源,并于2020年捐献给开放原子开源基金会。
简介:毛熠璐,阿里云智能高级技术专家(Staff engineer of Alibaba Cloud Intelligence Business Group),2009年毕业于中国科学技术大学,获得计算机科学与技术博士学位,毕业论文是《基于性能和功耗权衡模型的分时系统动态调频技术研究》。毕业后加入Marvell,从事手机芯片BSP开发,主要提供芯片的完整功耗解决方案,期间从事了2款3G手机芯片,2款4G手机芯片的BSP开发工作。2014年加入阿里巴巴,在数字娱乐事业群参与研发了多款天猫魔盒的研发工作。2017年加入阿里巴巴人工智能实验室,参与了第一款天猫精灵产品的从0到1以及后续多款精灵产品的研发工作,最终负责了第一款带屏精灵产品的整个研发工作。2020年加入阿里云IoT智能设备研发平台部,目前负责AliOS Things微内核的研发。
6. 徐子晨:面向工业的数据库操作系统设计与应用挑战
摘要:面向垂直工业场景的计算需求随着万物智联的发展呈指数级增长,具备操作系统特性的数据库系统软件下沉与面向NewSQL数据查询的工业操作系统专用化是未来软件发展的崭新趋势,讲者将从典型工业应用场景出发,阐述面向典型应用的数据库操作系统设计开展的一些探索性工作,并进一步讨论从算子设计到工业过程现场优化间一系列的机遇与挑战。
简介:徐子晨,俄亥俄州立大学博士,现为南昌大学信息工程学院计算机系教授、人工智能系主任、高层次引进人才、学科方向带头人、博导。在南昌大学任职期间教授本科生和研究生课程二十余门。主要从事包括异构架构优化,分布式数据密集计算及高能效系统软件架构研究等方面的教研工作。是中国计算机学会CCF体系结构专委会常委、中国计算机学会CCF南昌分部秘书长、江西计算机学会大数据专委副主任。发表SCI索引40余篇,其中以第一作者发表CCF A/B类中数据库、系统软件、体系结构等方向旗舰会议期刊文章15篇。主持国家自然科学基金、国家重点研发计划子课题等4项,江西省自然科学基金及重点项目5项、收到微软Azure、亚马逊、腾讯等公司教育基金资助。
论坛主席:
1. 胡春明教授 北京航空航天大学计算机学院,软件学院
简介:胡春明,工学博士,北京航空航天大学教授,软件学院院长。CCF系统软件专委会常委,中国电子学会云计算/大数据专家委员会副秘书长。主要研究方向为分布式系统、计算系统虚拟化、大规模分布式数据处理、分布式图计算系统、移动计算与云端融合等。自2000年以来作为负责人或技术骨干参与多个863计划、973计划、国家重点研发计划、国家自然科学基金及北京市科委重点项目的研究工作,获国家技术发明二等奖1项,中国电子学会科技进步特等奖1项、技术发明一等奖1项。在国内外学术期刊和学术会议发表学术论文60余篇。
2. 崔西宁研究员 中国航空工业第631研究所
简介:崔西宁,工学博士,研究员,在航空工业计算所从事机载计算机软件研发工作,中国航空工业集团有限公司特级技术专家。CCF系统软件专委会常委、软件工程专委会委员、嵌入式系统专委会委员,航空学会高级会员。先后主持和参加了多项预研、型号和核高基项目。在航电系统体系架构、容错重构、信息安全、嵌入式系统等多个领域有深入研究,先后在多项型号、预研项目中做出了突出贡献。发表论文50余篇,授权专利十余项,编写了集团标准5项,工信部行业标准HB 5项,2019年主编了《嵌入式系统设计师教程》第二版。获航空学会一等奖1项,部级奖8项、集团级8项;荣立二等功2次,三等功4次。
3. 孙毓忠研究员 中国科学院计算技术研究所
简介:孙毓忠,计算机体系结构国家重点实验室,中国科学院计算技术研究所,研究员、博士生导师,中国科学院“百人计划”获得者,共发表论文和专利100篇以上,论文它引400次。长期从事数据中心高效能和高安全性系统软件与运行时系统软件的设计与分析方法的研究,特别是在数据中心虚拟化技术和高效能调度技术的研究方面,课题组获得了上海市科技进步一等奖和国家科技进步二等奖。在云操作系统设计理论和方法方面形成了研究特色,体现在课题组承担的基金委重点课题“基于虚拟机架构的可信计算环境与可信软件设计”和“云数据中心基于应用共存特性的混合调度研究”等基金委基础研究课题,参与了李国杰院士牵头的基金委创新群体课题“超并行高效能计算机体系结构与设计方法研究”等其它基础研究课题方面;课题组也在高效能云操作系统关键使能技术方面通过承担的863课题“基于虚拟技术的新型网络服务器的研究”和“分布式I/O资源虚拟化技术研究”等在工程和关键技术方面验证了前述的基础理论研究。