工业论坛

嵌入式基础软件论坛

2022年11月27日(8:30-12:30)



论坛简介

基础软件是操作系统、数据库、办公软件和各类中间件的统称。嵌入式基础软件则是应用嵌入式系统中的基础软件。在《国家中长期科学和技术发展规划纲要(2006-2020年)》所确定的国家十六个科技重大专项排名之首就是核高基重大专项,即“核心电子器件、高端通用芯片和基础软件产品”,受到了国家的高度重视,特别是嵌入式基础软件,在航天、航空、军工、工业控制等多个领域应用广泛,近几年来如雨后春笋般的迅猛发展,业界已经由国外嵌入式操作系统主导,转向由国产自主可控操作系统代替的良好局面。不论是从关键技术的突破上,还是从产业化的集成应用方面,国产嵌入式基础软件都有长足的进步。

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

📢 【腾讯会议号】  930412322
📢 【直播链接】【点击观看视频直播】
📢 【B站直播】【点击观看B站直播】

论坛日程

时间 报告题目 报告嘉宾
8:30-8:40 开幕式:论坛主席致辞 牛建伟、崔西宁、胡春明
8:40-9:10 嵌入式实时操作系统的昨天、今天和明天 何小庆
9:10-9:40 车控软件栈测评 姜宇
9:40-10:10 航空嵌入式软件的适航审定考虑 包健波
10:10-10:40 聚元PolyOs:面向RISC-V的AIoT嵌入式操作系统 于佳耕
10:40-11:10 以Linux为中心的综合嵌入式软件平台 任慰
11:10-11:40 基于模型的安全关键嵌入式系统工具软件技术 李亚晖

论坛嘉宾




1.论坛嘉宾:何小庆(麦克泰软件)

报告题目:嵌入式实时操作系统的昨天、今天和明天

摘要: 嵌入式实时操作系统(RTOS)是各类电子产品的心脏,应用覆盖消费、工业、通信和航空航天等产业。报告首先介绍了RTOS的概念,阐述了商业与开源RTOS发展历程,分享了进入智能物联网时代的RTOS的技术特点与生态现状。报告重点讨论未来RTOS 在虚拟化、微内核和异构多核三大方向的技术趋势。报告最后展望了RTOS在智能工业和汽车电子领域应用的新机遇,国产RTOS在这些领域的技术挑战与发展思考。

简介: 嵌入式联谊会秘书长、北航《单片机与嵌入式系统应用》副主编、麦克泰软件公司创始人。中国软件行业协会理事、中国计算机学会嵌入式系统专委会常委,德国embedded world Conference 2023 程序委员会委员。出版有《嵌入式操作系统风云录》,《嵌入式实时操作系统》和《深入理解RISC-V程序开发》等7本中英文著译作,在国内外科技期刊和学术会议上发表论文80余篇,并在高校和企业兼职授课。长期从事嵌入式与物联网技术、产业和教育方面工作。关注方向:嵌入式与物联网操作系统,RISC-V 处理器技术与生态建设。





2.论坛嘉宾:姜宇(清华大学)

报告题目:车控软件栈测评

摘要: 随着车联网及自动驾驶等技术的高速发展,车辆控制软件的规模也日益庞大,测试分析的难度及对安全的要求也越来越大。从上层应用和协议到底层的内核等,微小的漏洞,都可能被触发利用引发严重的后果。所以,针对车控软件的安全保障至关重要。本报告首先介绍模型驱动的车控应用软件的开发及测试方法,提升基于模型的代码测试及综合效率,再介绍针对DDS库、RTPS协议、RTOS内核等典型车控软件的模糊测方法,提出基于智能动态调度的应用库模糊测试、跨状态覆盖搜索的协议模糊测试和任务感知学习的内核模糊测试,提升车控软件栈的整体安全测试效果。

简介: 清华大学软件学院副教授。曾获2015年CCF优秀博士论文奖、2020年阿里巴巴达摩院青橙奖,2021年微众学者等奖励。在ACM SOSP,IEEE S&P, USENIX ATC等会议和期刊上发表论文80余篇,获EMSOFT,FSE等会议的最佳论文或提名奖6次,主持基金委重大研究计划培育项目、科技部重点研发计划项目、华为大颗粒研究计划项目等横纵向课题20余项。在MySQL、Safari和Linux等广泛使用的系统软件中挖掘200+漏洞并被收入中美国家信息安全漏洞库。相关自动化漏洞挖掘技术被并入谷歌ClusterFuzz、微软OneFuzz等平台。研发的模糊测试引擎WingFuzz在Google 的FuzzBench官方评测中排名第一。研究方向为软件系统的安全分析,重点关注操作系统、数据库等软件的测试与防护。





3.论坛嘉宾:包健波(航天信息华迪计算机)

报告题目:航空嵌入式软件的适航审定考虑

摘要: 现代航空机载系统从第三代跨越至第四代,机载嵌入式软件采用了综合模块化航电IMA系统、高速机载网络、基于模型的系统工程MBSE和人工智能AI等技术。本报告从航空嵌入式系统软件发展,讨论了航空嵌入式系统软件的适航考虑,以及航空嵌入式软硬件RTCA DO-178/DO-254标准的审定要素和评审要求,并探讨了航空嵌入式软件的实践经验。

简介: 曾任央企航空公司主管工程师、民机适航审定主任监察员、高端装备制造业投资顾问、装备标准数据和数字工程应用软件公司创始人,现任航天信息华迪计算机集团有限公司事业部总工。主要研究范围包括航空机载嵌入式系统软件领域的标准化、合规性、符合性方法以及设计保证体系建设等。





4.论坛嘉宾:于佳耕(中国科学院软件研究所)

报告题目:聚元PolyOS:面向RISC-V的AIoT嵌入式操作系统

摘要: 聚元PolyOS以yocto metadata层为粒度进行定制和组合,并通过yml声明硬件描述、应用场景以及打包规则,实现“一站式”快速构建场景化智能应用镜像;在一套构建系统中进行Linux和FreeRTOS的AI应用运行时环境编译、部署,实现RISC-V架构下多内核系统初步支持;支持Sifive Unmatched、香山等6款板卡,支持寒武纪思元220边缘AI板卡,可加速百余种神经网络模型和算子;集成TFlite、NCNN、MNN等多款轻量级AI推理框架,集成蓬莱TEE安全执行环境,可应对RISC-V板卡标准不统一、自定义指令造成硬件碎片化、智能操作系统快速构建等挑战。

简介: 中国科学院软件研究所高级工程师,硕士生导师,主持国自然青年基金和军委科技委重点课题,并作为核心人员参与多个国家级科研项目,包括核高基中安全可靠桌面计算机操作系统、开源操作系统内核分析和安全性评估,以及中科院先导A支持RISC-V基础软件等课题,发表高水平论文以及申请专利、软件著作权30余项。主要研究方向为操作系统,智能系统软件。





5.论坛嘉宾:任慰(华为)

报告题目:以Linux为中心的综合嵌入式软件平台

摘要: openEuler Embedded是基于openEuler社区面向嵌入式场景的版本,旨在成为一个高质量的以Linux为中心的综合嵌入式系统软件平台。openEuler Embedded在Linux内核版本、软件包版本等代码层面会与openEuler其他场景的保持一致并共同演进。本报告将介绍openEuler Embedded的总体架构、关键特性、演进计划,同时就混合关键性系统这一未来嵌入式系统发展方向进行探讨。

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





6.论坛嘉宾:李亚晖(航空工业计算所)

报告题目:基于模型的安全关键嵌入式系统工具软件技术

摘要: 安全关键嵌入式系统复杂程度越来越高,传统以文档为主的开发模式不能满足未来研发需求。本报告提供一套基于模型的安全关键嵌入式系统工具链,通过优化算法支持单模块自动化调度、实现分布式系统的可调度分析和软硬件联合仿真。安全关键嵌入式系统工具链提高了系统开发效率,降低了研发成本和产品故障率。

简介: 航空工业计算所机载弹载计算机航空科技重点实验室副主任,研究员,西安电子科技大学博士后。曾获得奖励有省部级一等奖2项,省部级二等奖2项。目前主要研究方向为计算机系统结构、嵌入式软件、信息安全。



论坛主席





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

简介: 北京航空航天大学长聘教授,博士生导师,科技部重点研发计划首席专家,全国优秀科技教师。2002年获得北京航空航天大学计算机学院博士学位,入选教育部2009年“新世纪优秀人才支持计划”,2010.1-2011.2年在美国卡内基梅隆大学做访问学者。获得2013年教育部技术发明一等奖。2016年获得国家863科技创新之星荣誉称号。2017年获得宝钢优秀教师奖。2018年获得北京市教学成果一等奖。是JNCA等多个期刊的AE。近年来主持了国家自然基金、重点研发计划、国家科技支撑计划等多个项目。在国内外期刊和国际会议上发表学术论文300余篇(包括CCF A类论文30多篇)。ESI高被引论文6篇,H-index 54,SCI它引共4500多次(google引用11000余次),最高单篇SCI它引300多次。获得JNCA、IEEE ICC、WCNC等多个期刊和会议最佳论文,出版学术著作2部,已授权60多项技术发明专利。






2.论坛主席:崔西宁(中国航空工业集团)

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






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

简介: 工学博士,北京航空航天大学教授,软件学院院长。CCF系统软件专委会常委,中国电子学会云计算/大数据专家委员会副秘书长。主要研究方向为分布式系统、计算系统虚拟化、大规模分布式数据处理、分布式图计算系统、移动计算与云端融合等。自2000年以来作为负责人或技术骨干参与多个863计划、973计划、国家重点研发计划、国家自然科学基金及北京市科委重点项目的研究工作,获国家技术发明二等奖1项,中国电子学会科技进步特等奖1项、技术发明一等奖1项。在国内外学术期刊和学术会议发表学术论文60余篇。