2023 CCF中国软件大会（CCF ChinaSoft）“工业嵌入式基础软件”成功召开

2023年12月1日上午，2023年度CCF中国软件大会“工业嵌入式基础软件”论坛在上海国际会议中心5A会议室成功召开。

    本次论坛由航空工业计算所崔西宁、北京航空航天大学牛建伟和胡春明三位论坛主席联合组织。本次论坛包括6个技术报告和1个Panel，邀请了西安电子科技大学张志为、航空工业计算所张旻、复旦大学蒋金虎、航天五院502所乔磊、北京航空航天大学牛建伟和华为技术有限公司任慰6位嘉宾。论坛聚焦产业生态和最新理论研究进展，深度解析我国嵌入式基础软件领域现状，研讨目前学术界的发展趋势、工业界的应用成果、主要问题和挑战等。旨在深化拓展学术研究成果与产业实践需求交叉，加强学术界与工业界深度融合，促进我国工业基础软件理论研究和产业发展，为我国基础软件做出贡献。最后论坛Panel围绕工业嵌入式基础软件目前存在的主要问题和急需解决的关键技术以及我国工业嵌入式基础软件发展前景进行了讨论。

✦  +

    西安电子科技大学张志为做了题为《智能系统内生安全》的报告，报告对内生安全概念来源、内生安全定义进行了阐述，指出未来智能化协同网络系统由异构智能化终端、泛在智能化网络和多样智能化服务构成，传统的附加式攻防博弈的模式无法满足智能化云边端协同的安全需求。报告从“时间”、“威胁”和“属性”角度，分析了现有的内生安全机制，给出了面向确定性智能网络实体的内生安全模式，阐述智能网络系统的内生安全架构，从设备层面、服务层面、网络层面和系统层面分析了内生安全保障技术。

    航空工业计算所张旻做了题为《DevSecOps嵌入式软件工厂思考与实践》的报告，报告论述了软件工厂的概念，回顾国内外发展现状，结合嵌入式软件开发场景阐述了所面临的主要挑战和任务，提出了嵌入式软件工厂成功实践所需的门户系统、流水线、数据度量、嵌入式资源纳管和数字样机等核心要素。结合计算所操作系统研制，介绍了相关工具的引入、封装、研发和使用效果。

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

    航天五院502所乔磊做了题为《航天器操作系统的研究与实践》的报告，报告分析和总结了中国航天领域自主知识产权航天器嵌入式操作系统SpaceOS的研究开发与实践应用情况，重点介绍了操作系统调度管理、存储管理等设计和验证方法，并对未来航天器操作系统的发展前景进行了展望。报告针对嵌入式实时操作系统中复杂航天任务需求，研究航天器任务的可变任务调度方法、形式化验证方法和开发工具，保证系统的实时性、可靠性和易用性，并在实际航天器系统进行应用实践。

    北京航空航天大学牛建伟做了题为《智能工业机器人操作系统及应用探索》的报告。报告首先介绍了国内外工业机器人以及机器人操作系统研究发展现状，认为研发一套自主可控、实时性强的智能机器人操作系统对于我国机器人产业发展具有重要意义。报告针对工业机器人应用场景及未来产业发展趋势，深入探讨了融合开放性、跨平台、强实时、智能化的统一工业机器人操作系统，包括实时操作系统内核＋通信总线＋智能化算法库＋一体化集成开发环境等关键组件。

    华为技术有限公司任慰做了题为《openEuler Embedded嵌入式软件平台最新进展及在工业领域中的探索》的报告。报告分享了开放综合嵌入式基础软件平台openEuler Embedded在过去一年的进展，包括关键特性、基础设施、南北向生态、商业发行版等方面所发生的变化，以及在工业机器人、数控机床、智能机器人等典型工业领域中的应用探索。openEuler Embedded对前述各位专家所分享的领域都会涉及，包括以安全为代表的关键属性，以DevSecOps和仿真为代表的基础设施，以机器人和航天为代表的应用领域，并希望与业界同仁共同努力持续打造一个高质量的综合嵌入式系统平台。

    在所有报告结束后，进入了最后的Panel环节，崔西宁主持Panel论坛，所有嘉宾和另两位主持人牛建伟及胡春明也参与了Panel论坛，Panel论坛针对2个问题展开讨论：（1）工业嵌入式基础软件目前存在的主要问题和急需解决的关键技术；（2）我国工业嵌入式基础软件发展前景。嘉宾们就自己的研究方向和关注的问题，展开了热烈的讨论，给出了自己独特的见解，并对我国工业嵌入式基础软件的远景进行了展望，期待在不久的将来我国科技发展走在世界前列。