工业论坛

工业嵌入式基础软件论坛

2023年12月1日(星期五),08:30 – 12:30

上海国际会议中心,5A会议室



论坛简介

基础软件是指操作系统、数据库、办公软件和中间件等支撑应用软件运行的一类软件,国家一直很重视基础软件的发展。特别是2000年以来,在国家中长期科学和技术发展规划中,就把包括基础软件在内的“核高基”确定为重大科技专项,在中国制造2025以及国家的多个重大计划中,基础软件都作为重点发展对象。到目前为止,基础软件已取得了长足的进展,如鸿蒙操作系统、麒麟桌面操作系统已是家喻户晓。嵌入式基础软件在航天、航空、军工、工业控制等领域应用广泛,近几年来如雨后春笋般的迅猛发展,业界已经由国外主导,逐步转向由国产自主可控、可代替的良好局面发展。

本次嵌入式基础软件论坛聚焦产业生态和最新理论研究进展,深度解析我国嵌入式基础软件领域现状,研讨目前学术界的发展趋势、工业界的应用成果、主要问题和挑战等。论坛邀请了来自学术界和的工业界多位顶尖专家,旨在深化拓展学术研究成果与产业实践需求交叉,加强学术界与工业界深度融合,促进我国工业基础软件理论研究和产业发展,为我国基础软件做出贡献。

论坛日程

时间 主题 嘉宾
08:30-08:40 开幕式
08:40-09:05 智能系统内生安全 沈玉龙
09:05-09:30 DevSecOps的嵌入式软件工厂思考与实践 张旻
09:30-09:55 基于规则学习的全系统模拟技术 蒋金虎
09:55-10:15 茶歇
10:15-10:40 航天器操作系统的研究与实践 乔磊
10:40-11:05 智能工业机器人操作系统及应用探索 牛建伟
11:05-11:30 openEuler Embedded嵌入式软件平台最新进展及在工业领域中的探索 任慰
11:30-12:10 Panel:
(1)工业嵌入式基础软件目前的关键技术
(2)我国工业嵌入式基础软件发展前景
全体嘉宾

论坛主席





1.论坛主席:崔西宁(中国航空工业集团公司西安航空计算技术研究所)

简介: 工学博士,研究员,CCF杰出会员,中国航空工业集团有限公司首席技术专家,航空工业计算所项目副总师,集团公司标准提升工程通用领域专家委员会委员,嵌入式软件标准化专业组委员,CCF系统软件、软件工程、嵌入式系统专委会常委,CCF标准化工委委员,航空学会高级会员。先后主持和参加了多项预研、型号和核高基项目。在航电系统体系架构、容错重构、信息安全、嵌入式系统等多个领域有深入研究,先后在多项型号、预研项目中做出了突出贡献。发表论文50余篇,授权专利十余项,编写了集团标准十余项,工信部行业标准HB 5项,主编了《嵌入式系统设计师教程》。获航空学会一等奖1项,部级奖9项、集团级10项;荣立二等功2次,三等功4次。





2.论坛主席:牛建伟(北京航空航天大学)

简介: 北航长聘教授、二级教授,博士生导师,科技部重点研发计划首席专家,全国优秀科技教师。2002年获得北京航空航天大学计算机学院博士学位,入选教育部2009年“新世纪优秀人才支持计划”,2010.1-2011.2年在美国卡内基梅隆大学做访问学者。获得2013年教育部技术发明一等奖。2016年获得国家863科技创新之星荣誉称号。2017年获得宝钢优秀教师奖。2018年获得北京市教学成果一等奖。IEEE CSCloud 2016,IEEE ATC 2015,ComComAP 2014大会联合主席,CPSCOM 2013等会议联合执行主席,InfoCom、PerCom、ICC、WCNC、GlobeCom和LCN等十余个国际会议的TPC成员。TII、JNCA和MONET等期刊AE。近年来主持了国家自然基金、重点研发计划、国家科技支撑计划等30多项课题。在国内外期刊和国际会议上发表学术论200余篇(包括CCF A类论文30多篇)。ESI高被引论文8篇,H-index 57,SCI引用5100多次、google引用13000余次。获得MobiCom 2022、JNCA2021、清华大学学报英文版2020、PerCom 2020、Q1 区期刊IEEE System Journal 2018、JNCA 2015、国际会议IEEE ICC 2013、IEEE WCNC 2013、IEEE ICACT 2013、IEEE GreenCom 2010和CWS 2014、CWSN2013和CWSN 2012最佳论文,2013年获得北航最佳优秀会议论文,出版学术著作2部,已授权81项技术发明专利。





3.论坛主席:胡春明(北京航空航天大学)

简介: 博士、博士生导师,北京航空航天大学教授,软件学院院长,中国计算机学会理事,系统软件专委会常务委员,候任副主席,北京市大数据科学与脑机智能高精尖创新中心副主任。主要从事计算机软件与理论、云计算与大数据计算的分布式系统软件、网络化软件开发方法及安全攸关软件的智能开发方法研究工作。曾获国家科学技术发明二等奖1项、中国电子学会科技进步特等奖1项、一等奖1项,获第十四届中国青年科技奖。


论坛嘉宾





1.论坛嘉宾:沈玉龙(西安电子科技大学)

报告题目: 智能系统内生安全

摘要: 万物智联的核心是云边端协同,未来智能化协同网络系统由异构智能化终端、泛在智能化网络和多样智能化服务构成,传统的附加式攻防博弈的模式无法满足智能化云边端协同的安全需求。从“时间”、“威胁”和“属性”角度,分析了现有的内生安全机制,给出了面向确定性智能网络实体的内生安全模式,阐述智能网络系统的内生安全架构,从设备层面、服务层面、网络层面和系统层面分析了内生安全保障技术。

简介: 博士,教授,入选国家级人才计划,陕西省网络与系统安全重点实验室副主任,智慧城市产业生态圈安全技术组主席;陕西网信小组专家咨询委员会委员,国家商用密码总体工作组副组长,长期从事无线网络、数据安全、智能电子系统安全等方面的研究;曾获国家技术发明二等奖2项,省部级一等奖5项,2018 CCTV中国十大创业榜样。





2.论坛嘉宾:张旻(中国航空工业集团公司西安航空计算技术研究所)

报告题目: DevSecOps嵌入式软件工厂思考与实践

摘要: 在互联网领域DevSecOps已经过多年的成功实践,基本实现了软件工厂模式,正在引入AI,向更高阶段发展。在嵌入式领域,美国国防部从2019年开始逐步关注通用软件开发技术向嵌入式领域的导入,发布了一系列战略指南、最佳实践文件,明确指出需要通过引入通用商业技术来提升嵌入式软件研发和部署升级速度。与互联网不同,嵌入式软件开发有其自身独特的环境和资源要求,方法、工具和流程均存在一定差异。基于对美国国防部软件工厂模式和国内外现状的思考,导出嵌入式软件工厂的核心要素,能够指导通用DevSecOps技术在嵌入式软件开发领域的成功实践。

简介: 研究员,航空工业计算所总师助理。主要从事嵌入式软件开发方法和工具技术研究;西北工业大学本科、硕士毕业、博士(在读)。牵头研制了支持天脉系列操作系统的ACoreIDE集成开发环境,负责嵌入式软件研发安全运维一体化工具平台的论证、研制和能力建设,获7项省部级、集团级奖励,授权发明专利十余项,发表各类论文18篇。





3.论坛嘉宾:蒋金虎(复旦大学)

报告题目: 基于规则学习的全系统模拟技术

摘要: 随着全系统模拟的广泛应用于系统软件的开发和调试,其重要性不言而喻。当前主流全系统模拟开销大、性能低。近年来,出现了一种基于学习的动态二进制翻译技术用以提高模拟器的效率,但方法尚只支持用户级模拟,应用到全系统模拟中面临新的挑战。本研究针对基于学习的方法在系统级模拟中的性能瓶颈进行了分析和优化设计,可实现36%的性能提升。本研究的研究成果在ARM64架构平台上得到了验证和应用。

简介: 复旦大学大数据研究院高级工程师,曾任江南计算技术研究所操作系统室主任。研究方向为高性能计算、操作系统和并行存储等,作为核心人员,研发了多台高性能计算系统的系统软件。作为项目负责人承担国家多个重大专项子课题、科技支撑课题和863课题等,负责和参与的多个项目获省部级科技进步一等奖。





4.论坛嘉宾:乔磊(航天五院502所)

报告题目: 航天器操作系统的研究与实践

摘要: 分析和总结中国航天领域自主知识产权航天器嵌入式操作系统SpaceOS的研究开发与实践应用情况。重点介绍了操作系统调度管理、存储管理等设计和验证方法,并对未来航天器操作系统的发展前景进行了展望。航天器是资源受限的安全关键系统,要确保系统功能正确性和实时性。本报告针对嵌入式实时操作系统中复杂航天任务需求,研究航天器任务的可变任务调度方法、形式化验证方法和开发工具,保证系统的实时性、可靠性和易用性,并在实际航天器系统进行应用实践。

简介: 研究员,博士生导师,CCF杰出会员,国家级青年人才计划入选者,中国计算机学会NASAC青年软件创新奖获得者,耶鲁大学访问学者。一直致力于操作系统软件的设计、验证与可信保障技术研究。作为核心成员,研发我国首个航天器操作系统SpaceOS,已应用于载人航天、探月工程、北斗导航等300多个航天器。获国防科技创新团队奖、北京市科技进步一等奖、重庆市科技进步一等奖等。





5.论坛嘉宾:牛建伟(北京航空航天大学)

报告题目: 智能工业机器人操作系统及应用探索

摘要: 国外工业机器人操作系统相对成熟,在稳定性、实时性和控制精度方面处于领先地位,但存在各自为政、互不兼容的局面。国内工业机器人近几年发展迅猛,但仍旧面临诸多挑战。如何研发一套自主可控、实时性强的智能机器人操作系统对于我国机器人产业发展具有重要意义。为此,针对工业机器人应用场景及未来产业发展趋势,迫切需要研发融合开放性、跨平台、强实时、智能化的统一工业机器人操作系统,包括实时操作系统内核+通信总线+智能化算法库+一体化集成开发环境等关键组件。

简介: 北航长聘教授、二级教授,博士生导师,科技部重点研发计划首席专家,全国优秀科技教师。2002年获得北京航空航天大学计算机学院博士学位,入选教育部2009年“新世纪优秀人才支持计划”,2010.1-2011.2年在美国卡内基梅隆大学做访问学者。获得2013年教育部技术发明一等奖。2016年获得国家863科技创新之星荣誉称号。2017年获得宝钢优秀教师奖。2018年获得北京市教学成果一等奖。IEEE CSCloud 2016,IEEE ATC 2015,ComComAP 2014大会联合主席,CPSCOM 2013等会议联合执行主席,InfoCom、PerCom、ICC、WCNC、GlobeCom和LCN等十余个国际会议的TPC成员。TII、JNCA和MONET等期刊AE。近年来主持了国家自然基金、重点研发计划、国家科技支撑计划等30多项课题。在国内外期刊和国际会议上发表学术论200余篇(包括CCF A类论文30多篇)。ESI高被引论文8篇,H-index 57,SCI引用5100多次、google引用13000余次。获得MobiCom 2022、JNCA2021、清华大学学报英文版2020、PerCom 2020、Q1 区期刊IEEE System Journal 2018、JNCA 2015、国际会议IEEE ICC 2013、IEEE WCNC 2013、IEEE ICACT 2013、IEEE GreenCom 2010和CWS 2014、CWSN2013和CWSN 2012最佳论文,2013年获得北航最佳优秀会议论文,出版学术著作2部,已授权81项技术发明专利。





6.论坛嘉宾:任慰(华为技术有限公司)

报告题目: openEuler Embedded嵌入式软件平台最新进展及在工业领域中的探索

摘要: 本报告将分享开放综合嵌入式基础软件平台openEuler Embedded在过去一年的进展,包括关键特性,基础设施、南北向生态、商业放行版等方面所发生的变化,以及在工业机器人、数控机床、智能机器人等典型工业领域中的探索。

简介: 工学博士,openEuler Embedded技术委员会委员,SIG-Yocto/SIG-Embedded/SIG-Zephyr Maintainer, 新一代物联网操作系统平台Zephyr项目推广大使,目前在华为技术有限公司从事嵌入式操作系统相关研发工作,主要感兴趣的领域为实时操作系统、物联网操作系统,嵌入式系统软硬件协同设计。在加入华为之前,历任Synopsys软件高级研发工程师,软件研发经理,从事嵌入式系统软件研发工作。