近日，由教育部高教司指导、示范性软件学院联盟主办、浙江大学软件学院承办的2025年特色化示范性软件学院院长联席会议在浙江省宁波市召开。经过前期申报和评审，示范性软件学院联盟评选出2025年十大关键软件技术创新成果，集中展现了全国各高校特色化示范性软件学院在人工智能、航空工业、具身智能等领域关键软件技术的创新成果。软件学院胡春明教授、牛建伟教授、沃天宇教授、杨任宇副教授作为主要完成人，联合浙江大学、北航杭州创新研究院开展的“全栈式工业机器人操作系统关键技术及应用 ”项目成功入选。

该成果针对工业机器人操作系统响应实时性差、高速运行精度低、多机调度规划难等问题，在国家及浙江省重点研发计划的支持下，该项目围绕机器人操作系统实时性、适应性、稳定性及智能性关键技术展开技术攻关、平台研制和应用推广工作，研发了自主可控的全栈式工业机器人操作系统。主要技术创新内容包括强实时高可靠工业机器人操作系统内核、多样化作业场景的高速高精/高柔顺工业机械臂规划控制和复杂环境下的高鲁棒高效工业移动机器人规划控制。项目成果在光伏、新能源汽车、半导体及物流等领域实现了规模化应用，提升了先进制造产线自动化水平，经济和社会效益显著。

全栈式工业机器人操作系统关键技术及应用成果展示

活动现场

2024年度关键软件技术创新成果证书

2024年首次发布特色化示范性软件学院的代表性软件技术成果，10个产品成果入选，涵盖关键基础软件、工业软件等领域的最新技术成果，均在突破国家重大工程建设中的关键难点、堵点上发挥了重要作用，也取得了较高的市场经济效益。软件学院胡春明教授、殷永峰教授、葛宁教授、罗川副教授作为主要完成人，联合计算机学院罗杰副教授、航空学院鲁金直副教授开展的“航空机载软件智能协同开发环境 ”成果成功入选，展现了我院航空工业软件核心技术和科技成果应用方面的突出成绩。

活动现场

该成果面向航空机载领域，针对机载软件需求传递弱、构建效率低、质量保障难的问题，研究提出了KARMA系统建模语言和方法、领域语义驱动的智能协同设计方法、可验证代码生成技术、基于约束求解的高覆盖测试技术和机载高安全代码智能化静态分析技术，实现了机载高安全软件开发与验证等功能，部分技术达到国际先进水平。支撑中航机载系统共性、中国商飞、航天12所和502所等单位的安全攸关软件设计开发。

航空机载软件智能协同开发环境成果展示

2025年度关键软件技术创新成果证书

2021年，学院入选首批国家特色化示范性软件学院，聚焦国家战略需求和软件产业发展需要，坚持创新驱动，强化使命担当，确立以关键基础软件、大型工业软件、安全关键软件、智能软件工程为代表性方向，承担多项国家重大项目和任务，逐渐形成了多个代表性关键软件成果，力争在未来持续攻克软件核心技术难题，打造自主可控的软件创新高地，建设成为引领我国软件产业发展的重要力量，为国家数字经济和新质生产力发展提供坚实支撑。