ChinaSoft 论坛巡礼 | 嵌入式基础软件论坛

2022年CCF中国软件大会（CCF ChinaSoft 2022）将于2022年11月25-27日在线上举行。预期将有林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、廖湘科、王怀民、郑纬民、蒋昌俊、王自力等10余位院士莅临。

本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场，期待您的参与！

大会线上参会报名通道已经开启！

点击文末“阅读原文”报名注册线上参会！

https://conf.ccf.org.cn/chinasoft2022

✦  +

+

论坛巡礼

本文特别介绍将于11月27日举办的【嵌入式基础软件】论坛。

论坛名称：嵌入式基础软件

时间：2022年11月27日8:30-12:30

论坛简介：

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

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

日程安排

Schedule

论坛主席

牛建伟

北京航空航天大学计算机学院教授，博士生导师

   科技部重点研发计划首席专家，全国优秀科技教师。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多项技术发明专利。

崔西宁

中国航空工业集团公司西安航空计算技术研究所研究员，首席技术专家

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

胡春明

北京航空航天大学计算机学院、软件学院教授，博士生导师

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

论坛嘉宾

何小庆

嵌入式联谊会秘书长、北航《单片机与嵌入式系统应用》副主编、麦克泰软件公司创始人。中国软件行业协会理事、中国计算机学会嵌入式系统专委会常委，德国embedded world Conference 2023 程序委员会委员。

     出版有《嵌入式操作系统风云录》，《嵌入式实时操作系统》和《深入理解RISC-V程序开发》等7本中英文著译作，在国内外科技期刊和学术会议上发表论文80余篇，并在高校和企业兼职授课。长期从事嵌入式与物联网技术、产业和教育方面工作。关注方向：嵌入式与物联网操作系统，RISC-V 处理器技术与生态建设。

报告题目

嵌入式实时操作系统的昨天、今天和明天

摘要

    嵌入式实时操作系统（RTOS）是各类电子产品的心脏，应用覆盖消费、工业、通信和航空航天等产业。报告首先介绍了RTOS的概念，阐述了商业与开源RTOS发展历程，分享了进入智能物联网时代的RTOS的技术特点与生态现状。报告重点讨论未来RTOS 在虚拟化、微内核和异构多核三大方向的技术趋势。报告最后展望了RTOS在智能工业和汽车电子领域应用的新机遇，国产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官方评测中排名第一。研究方向为软件系统的安全分析，重点关注操作系统、数据库等软件的测试与防护。

报告题目

车控软件栈测评

摘要

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

包健波

航天信息华迪计算机集团有限公司事业部总工

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

报告题目

航空嵌入式软件的适航审定考虑

摘要

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

于佳耕

中国科学院软件研究所高级工程师，硕士生导师

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

报告题目

聚元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板卡标准不统一、自定义指令造成硬件碎片化、智能操作系统快速构建等挑战。

任慰

openEuler Embedded技术委员会委员，SIG-Yocto/SIG-Embedded/SIG-Zephyr Maintainer，新一代物联网操作系统平台Zephyr项目推广大使。

     历任Synopsys软件高级研发工程师，软件研发经理。目前在华为技术有限公司从事嵌入式操作系统相关研发工作。主要感兴趣的领域为实时操作系统、物联网操作系统，嵌入式系统软硬件协同设计。

报告题目

以Linux为中心的综合嵌入式软件平台

摘要

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

李亚晖

航空工业计算所机载弹载计算机航空科技重点实验室副主任，研究员，西安电子科技大学博士后。

     曾获得奖励有省部级一等奖2项，省部级二等奖2项。目前主要研究方向为计算机系统结构、嵌入式软件、信息安全。

报告题目

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

摘要

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